291 search results - page 28 / 59 » Liveness-Preserving Atomicity Abstraction |
LORI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The aim of this work is propose a logical approach to intention dynamics based on the notion of assignment [7, 3]. The function of an assignment is to associate the truth...
100
click to vote
PCI
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Extensive research has been carried out in search for an efcient atomic commit protocol and many optimizations have been suggested to improve the basic two-phase commit p...
137
click to vote
LPAR
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Ex...
WDAG
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. We study the problem of achieving reliable communication with quiescent algorithms (i.e., algorithms that eventually stop sending messages) in asynchronous systems with p...
117
click to vote
ICDCS
2000
IEEE
15 years 3 months ago
2000
IEEE
Providing shared-memory abstraction in messagepassing systems often simplifies the development of distributed algorithms and allows for the reuse of sharedmemory algorithms in the...