2918 search results - page 198 / 584 » Distributed Troubleshooting Agents |
DCOSS
2010
Springer
13 years 10 months ago
2010
Springer
Synchronization is widely considered as an important service in distributed systems which may simplify protocol design. Phase clock is a general synchronization tool that provides ...
INFFUS
2010
13 years 9 months ago
2010
- Many exciting, emerging applications require that a group of agents share a coherent view of the world given spatial distribution, incomplete and uncertain sensors, and communica...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
ATAL
2005
Springer
14 years 4 months ago
2005
Springer
In this paper we propose the use of 3D Virtual Worlds for the visualization of Electronic Institutions. We show how 3D representation helps to open Electronic Institutions to huma...
ATAL
2005
Springer
14 years 4 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...