38 search results - page 2 / 8 » Verifying Protocol Conformance for Logic-Based Communicating... |
EPEW
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Global choreographies define the rules that peers should respect in their interaction, with the aim of guaranteeing interoperability. act choreography can be seen as a p...
ATAL
2003
Springer
13 years 10 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...
IJCAI
2003
13 years 6 months ago
2003
An agent communication protocol specifies the “rules of encounter” governing a dialogue between agents in a multiagent system. In non-cooperative interactions (such as negoti...
DALT
2005
Springer
13 years 10 months ago
2005
Springer
CCECE
2006
IEEE
13 years 11 months ago
2006
IEEE
