307 search results - page 20 / 62 » Formalizing Communication Protocols for Multiagent Systems |
160
click to vote
ESAW
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
147
click to vote
ARGMAS
2004
Springer
15 years 9 months ago
2004
Springer
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...
133
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
We identify different levels of conformance to a protocol (weak, exhaustive, and robust conformance) and show how conformance may be either checked a priori or enforced at runtim...
171
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
What distinguishes e-commerce from ordinary commerce? What distinguishes it from distributed computation? In this paper we propose a performative theory of e-commerce, drawing on ...
194
click to vote
TYPES
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...