Sciweavers

COORDINATION
2010
Springer
13 years 1 months ago
Efficient Session Type Guided Distributed Interaction
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...
K. C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Zi...
COORDINATION
2010
Springer
13 years 3 months ago
Behavioural Contracts with Request-Response Operations
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...
Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
COORDINATION
2010
Springer
13 years 7 months ago
Compositional Construction of Real-Time Dataflow Networks
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...
Stephanie Kemper
COORDINATION
2010
Springer
13 years 7 months ago
Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks
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...
Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu
COORDINATION
2010
Springer
13 years 8 months ago
JErlang: Erlang with Joins
Hubert Plociniczak, Susan Eisenbach