762 search results - page 102 / 153 » Behavioural Models for Group Communications |
APCCM
2009
13 years 10 months ago
2009
Interaction topologies in service-oriented systems are usually classified into two styles: choreographies and orchestrations. In a choreography, services interact in a peer-to-pee...
ENTCS
2006
13 years 9 months ago
2006
In ad-hoc networks, autonomous wireless nodes can communicate by forwarding messages for each other. For routing protocols in this setting, it is known that a malicious node can p...
ENTCS
2007
13 years 9 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
ENTCS
2007
13 years 9 months ago
2007
We present a powerful and flexible method for automatically checking the secrecy of values inside components. In our framework an attacker may monitor the external communication ...
ECRA
2002
13 years 9 months ago
2002
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...