339 search results - page 36 / 68 » Abstracting Interactions Based on Message Sets |
CCR
2004
13 years 7 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
ARGMAS
2006
Springer
13 years 11 months ago
2006
Springer
In situations where self-interested agents interact repeatedly, it is important that they are endowed with negotiation techniques that enable them to reach agreements that are pro...
ENTCS
2007
13 years 7 months ago
2007
PAGODA (Policy And GOal Based Distributed Autonomy) is a modular architecture for specifying and prototyping autonomous systems. A PAGODA node (agent) interacts with its environme...
CHI
2003
ACM
14 years 7 months ago
2003
ACM
We describe a new methodology for designing technologies for and with families called technology probes. Technology probes are simple, flexible, adaptable technologies introduced ...
IFM
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...