1180 search results - page 146 / 236 » Interaction Protocols in Agentis |
105
Voted
SBIA
2004
Springer
15 years 6 months ago
2004
Springer
We elaborate on the verification of properties of electronic institutions, a formalism to define and analyse protocols among agents with a view to achieving global and individual...
102
Voted
VL
2003
IEEE
15 years 6 months ago
2003
IEEE
Web services are increasingly attracting attention for their ability to provide standard interfaces to heterogeneous distributed services. Through these standard interfaces, it is...
AI
2001
Springer
15 years 5 months ago
2001
Springer
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...
SRDS
2000
IEEE
15 years 5 months ago
2000
IEEE
Avoiding the partitioning of a cluster into cliques that are not able to communicate with each other is an important issue in the time-triggered communication protocol TTP/C. This...
98
Voted
IDMS
1998
Springer
15 years 5 months ago
1998
Springer
This paper discusses the application of TINA concepts, architectures and related design paradigms in the MESH project. MESH adopted TINA as a means to facilitate the design and imp...