309 search results - page 12 / 62 » Logic-Based Agent Communication Protocols |
AGENTCL
2003
Springer
14 years 24 days ago
2003
Springer
We propose group communication for agent coordination within “active rooms” and other pervasive computing scenarios featuring strict real-time requirements, inherently unrelia...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
Formal specifications of protocol-oriented agent interactions have focused mainly on the semantics of the constituent agent communication language (ACL). We argue that a proper th...
IEEEARES
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper we show how to simulate attacks on authentication protocols in a realistic environment. The attack on the Needham-Schroeder public key protocol found by Gavin Lowe i...
MONET
2002
13 years 7 months ago
2002
Wireless networking and group communication in combination allows groups of dispersed mobile users to collaborate. This paper presents AGENT, a medium access control (MAC) protocol...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
Commitment protocols formalize interactions among autonomous, heterogeneous agents, leaving the agents’ local policies unspecified. This paper studies the problem of agents ena...