1180 search results - page 113 / 236 » Interaction Protocols in Agentis |
102
Voted
GI
2001
Springer
15 years 5 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
104
Voted
FASE
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper presents a true-concurrent approach to formalising integration of Small-to-Medium Enterprises (SMEs) with Web services. Our approach formalises common notions ...
79
Voted
AAAI
1997
15 years 2 months ago
1997
As agents populate Cyberspace in their many guises and roles, they coordinate and interact in different ways, spanning self-interested, as well as collaborative interactions. Agen...
92
Voted
CHI
2009
ACM
16 years 1 months ago
2009
ACM
It is well-accepted that learnability is an important aspect of usability, yet there is little agreement as to how learnability should be defined, measured, and evaluated. In this...
109
click to vote
PERCOM
2009
ACM
15 years 7 months ago
2009
ACM
—Ensuring spontaneous ad hoc interoperation in decentralized ubiquitous computing environments is challenging, because of heterogeneous resources and divergent policies. Centrali...