COORDINATION
13 years 9 months ago
2010 Springer
Abstract. Wireless sensor networks (WSNs) exhibit high levels of network dynamics and consist of devices with limited energy. This results in the need to coordinate applications no...
COORDINATION
13 years 10 months ago
2010 Springer COORDINATION
13 years 8 months ago
2010 Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...
COORDINATION
13 years 3 months ago
2010 Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...
COORDINATION
13 years 5 months ago
2010 Springer
In the context of service-oriented computing, behavioural contracts are descriptions of the message-passing behaviour of services. They can be used to check properties of service c...
|