1186 search results - page 75 / 238 » Goal-Oriented Interaction Protocols |
DALT
2004
Springer
14 years 3 months 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 ...
IPSN
2010
Springer
14 years 4 months ago
2010
Springer
Complex interactions and the distributed nature of wireless sensor networks make automated testing and debugging before deployment a necessity. A main challenge is to detect bugs ...
SIGCOMM
2010
ACM
13 years 10 months ago
2010
ACM
In this work, we consider the goal of enabling effective voice communication in a TDMA, multi-hop mesh network, using low cost and low power platforms. We consider two primary usa...
IJAOSE
2007
13 years 10 months ago
2007
This paper describes West2East, a Computer-Aided Agent-Oriented Software Engineering toolkit aimed at supporting the implementation of multiagent systems. West2East exploits langua...
ESORICS
2005
Springer
14 years 3 months ago
2005
Springer
Currently, many industrial initiatives focus on web-based applications. In this context an important requirement is that the user should only rely on a standard web browser. Hence...