COORDINATION
2007
Springer
14 years 5 months ago
2007
Springer
Workflow management systems control activities that are performed in a distributed manner by a number of human or automated participants. There is a wide variety of workflow syste...
COORDINATION
2007
Springer
14 years 5 months ago
2007
Springer
COORDINATION
2007
Springer
14 years 5 months ago
2007
Springer
We suggest a Calculus for Mobile Ad Hoc Networks, CMAN. A node in a network is a processes equipped with a location, it may communicate with other nodes using synchronous local bro...
COORDINATION
2007
Springer
14 years 5 months ago
2007
Springer
We investigate, in a process algebraic setting, a new notion of compliance that we call strong service compliance: composed services are strong compliant if their composition is bo...
COORDINATION
2007
Springer
14 years 5 months ago
2007
Springer
In the application layer of networks, many application servers are middleboxes in the paths of messages from source to destination. Applications require, as a basic coordination me...
COORDINATION
2007
Springer
14 years 5 months ago
2007
Springer
Coordination languages for ad hoc networks with a fluid topology do not offer adequate support to detect and deal with device disconnection. Such a disconnection is particularly ...
COORDINATION
2007
Springer
14 years 5 months ago
2007
Springer
We present a generalized committed choice construct for concurrent programs that interact with a shared store. The generalized committed choice (GCC) allows multiple computations ...
PDP
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper presents a programming language for parallel computing based on code annotations. It has similar goals and philosophy as OpenMP but it is more tightly coupled to the ob...
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
ICPPW
2007
IEEE
14 years 5 months ago
2007
IEEE
Obtaining location information by localization schemes for sensor nodes makes applications of wireless sensor networks (WSNs) more meaningful. Most of localization schemes only us...