1390 search results - page 87 / 278 » Coordination Patterns for Parallel Computing |
144
click to vote
COORDINATION
2007
Springer
15 years 11 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...
149
click to vote
COORDINATION
2007
Springer
15 years 11 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...
168
click to vote
ICDCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Communication-induced checkpointing protocols that ensure rollback-dependency trackability (RDT) guarantee important properties to the recovery system without explicit coordinatio...
125
click to vote
COORDINATION
2004
Springer
15 years 10 months ago
2004
Springer
Adapting heterogeneous software components that present mismatching interaction behaviour is one of the crucial problems in Component-Based Software Engineering. The process of com...
147
click to vote
COORDINATION
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...