206 search results - page 12 / 42 » Specification and Complexity of Strategic-Based Reasoning Us... |
DSN
2008
IEEE
14 years 11 months ago
2008
IEEE
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
124
click to vote
AAAI
2011
13 years 9 months ago
2011
Inspired by “GoogleTM Sets” and Bayesian sets, we consider the problem of retrieving complex objects and relations among them, i.e., ground atoms from a logical concept, given...
84
Voted
TASE
2008
IEEE
14 years 9 months ago
2008
IEEE
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
ATAL
2003
Springer
15 years 2 months ago
2003
Springer
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...
SIGSOFT
2009
ACM
15 years 10 months ago
2009
ACM
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...