4126 search results - page 523 / 826 » Set based logic programming |
136
Voted
FMICS
2008
Springer
15 years 5 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
127
Voted
IJCAI
2007
15 years 5 months ago
2007
Although there are some research efforts toward resource allocation in multi-agent systems (MAS), most of these work assume that each agent has complete information about other ag...
136
Voted
AAAI
1994
15 years 5 months ago
1994
1 User interface design and development for knowledgebased systems and most other types of applications is a resource-consuming activity. Thus, many attempts have been made to auto...
115
Voted
USENIX
1993
15 years 5 months ago
1993
Discovering different types of file resources (such as documentation, programs, and images) in the vast amount of data contained within network file systems is useful for both u...
134
Voted
JNSM
2008
15 years 2 months ago
2008
To ensure high availability of telephone services, there is considerable interest in network management activities to develop competent fault management mechanisms. In this paper w...