1615 search results - page 215 / 323 » Distributed Forward Checking |
CJ
2010
15 years 2 months ago
2010
A contract specifies an interorganizational process together with a distribution of responsibilities for the activities among the parties involved. In this paper, we formally show ...
128
click to vote
ENTCS
2010
15 years 2 months ago
2010
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
120
Voted
ENTCS
2008
15 years 2 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
125
Voted
DAM
2007
15 years 2 months ago
2007
It is shown that the set of hybrid one-dimensional reversible cellular automata (CA) with the periodic boundary condition is a regular set. This has several important consequences...
126
click to vote
JSA
2006
15 years 2 months ago
2006
Data-shipping systems that allow inter-transaction caching raise the need of a transactional cache consistency maintenance (CCM) protocol because each client is able to cache a po...