5550 search results - page 26 / 1110 » Different Approaches to Proof Systems |
110
click to vote
SAC
2006
ACM
14 years 10 months ago
2006
ACM
A total order protocol is a fundamental building block in the construction of distributed fault-tolerant applications. Unfortunately, the implementation of such a primitive can be...
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
Generally, swarm models and algorithms consider synchronous agents, i.e., they act simultaneously. This hypothesis does not fit multi-agent simulators nor robotic systems. In this...
SIGIR
2003
ACM
15 years 3 months ago
2003
ACM
In a federated digital library system, it is too expensive to query every accessible library. Resource selection is the task to decide to which libraries a query should be routed. ...
WSC
2008
15 years 11 days ago
2008
Healthcare organizations exhibit both detailed and dynamic complexity. Effective and sustainable decisionmaking in healthcare requires tools that can comprehend this complexity. D...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
It is often the case that agents within a system have distinct types of knowledge. Furthermore, whilst common goals may be agreed upon, the particular representations of the indiv...