307 search results - page 6 / 62 » Formalizing Communication Protocols for Multiagent Systems |
CSFW
1999
IEEE
15 years 2 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
101
click to vote
AGENTCL
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. An agent communication protocol specifies the rules of interaction governing a dialogue between agents in a multiagent system. In non-cooperative interactions (such as n...
AGENTCL
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. This paper proposes a new model of communication in multiagent systems according to which the semantics of communication depends on their pragmatics. Since these pragmati...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
CIA
2004
Springer
15 years 3 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...