19 search results - page 3 / 4 » Protocol Conformance for Logic-based Agents |
ATAL
2005
Springer
13 years 10 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...
AOSE
2001
Springer
13 years 9 months ago
2001
Springer
In this paper, I will demonstrate how the Unified Modeling Language (UML) can be used to describe agent interaction protocols. The approach that is presented in this paper does no...
ICMAS
2000
13 years 6 months ago
2000
In a distributed multiagent negotiation involving multiple issues, it is often desirable to finalize dealsonly whenall related issues are resolved. Wepresent a quiescence detectio...
ARGMAS
2004
Springer
13 years 10 months 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 ...
ISCC
2008
IEEE
13 years 11 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...