38 search results - page 4 / 8 » Verifying Protocol Conformance for Logic-Based Communicating... |
ARGMAS
2004
Springer
14 years 14 days ago
2004
Springer
Abstract. Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics ...
ARGMAS
2008
Springer
13 years 9 months ago
2008
Springer
Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to commu...
AAMAS
2005
Springer
13 years 7 months ago
2005
Springer
Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics of the indi...
ISCC
2008
IEEE
14 years 1 months ago
2008
IEEE
Mobile IPv6 (MIPv6) protocol is a new protocol designed to support the node mobility ofIPv6 protocol, which is a basic protocol of the next generation Internet. Protocol testing c...
DALT
2004
Springer
14 years 14 days ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...