618 search results - page 81 / 124 » Coordinating Semantic Peers |
COORDINATION
2007
Springer
15 years 6 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 ...
FMCO
2008
Springer
15 years 1 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
ENTCS
2006
14 years 12 months ago
2006
Reo is a coordination model based on circuit-like connectors which coordinate components through the interplay of data flow, synchronisation and mutual exclusion, state, and conte...
113
click to vote
ENTCS
2010
14 years 9 months ago
2010
We describe a true-concurrent approach for managing dependencies between distributed and concurrent coordinator components of a long-running transaction. In previous work we have ...
100
click to vote
COSIT
2001
Springer
15 years 4 months ago
2001
Springer
Geographical context is required of many information retrieval tasks in which the target of the search may be documents, images or records which are referenced to geographical spac...