286 search results - page 11 / 58 » A calculus of atomic actions |
ADBIS
2004
Springer
14 years 10 days ago
2004
Springer
Abstract. We present for the first-order theory of atomic Boolean algebras of sets with linear cardinality constraints a quantifier elimination algorithm. In the case of atomic Boo...
COORDINATION
2006
Springer
14 years 9 days ago
2006
Springer
In this paper we investigate the relationship between two problems, related to distributed systems, that are of particular interest in the context of Service Oriented Computing: at...
SPATIALCOGNITION
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present first ideas on how results about qualitative spatial reasoning can be exploited in reasoning about action and change. Current work concentrates on a line segm...
ICDCS
1993
IEEE
14 years 21 days ago
1993
IEEE
The paper presents a general model for persistent replicated object management and identifies what meta information about objects needs to be maintained by a naming and binding se...
WMRD
1990
14 years 18 days ago
1990
This paper describes the design of an object replication scheme for the Arjuna distributed system. ThedesignsupportsK-resiliency,where,intheabsenceofnetworkpartitions,Koutofa tota...