307 search results - page 28 / 62 » Formalizing Communication Protocols for Multiagent Systems |
86
Voted
SIMVIS
2004
14 years 11 months ago
2004
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
This paper reports on the development of a utility-based mechanism for managing sensing and communication in cooperative multi-sensor networks. The specific application considered...
85
Voted
FATES
2004
Springer
15 years 3 months ago
2004
Springer
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
66
Voted
ATAL
2003
Springer
15 years 3 months ago
2003
Springer
This paper unifies two recent strands of research in multiagent system design. One, commitments are widely recognized as capturing important aspects of interactions among agents,...
121
click to vote
EUMAS
2006
14 years 11 months ago
2006
We present a general Multi-Agent System framework for distributed data mining based on a Peer-toPeer model. The framework adopts message-based asynchronous communication and a dyn...