165 search results - page 31 / 33 » Types for atomicity |
LPNMR
2001
Springer
15 years 1 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
ICCL
1998
IEEE
15 years 1 months ago
1998
IEEE
We present a design and implementation of transactions and general-purpose persistence for Java. These additions allow Java programmers to manipulate any Java object using transac...
SIGIR
1996
ACM
15 years 1 months ago
1996
ACM
The aggregated structure of documents plays a key role in full-text, multimedia, and network Information Retrieval (IR). Considering aggregation provides new querying facilities a...
CSL
2006
Springer
15 years 1 months ago
2006
Springer
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
110
click to vote
WOTUG
2007
14 years 10 months ago
2007
Concurrency control mechanisms such as turn-taking, locking, serialization, transactional locking mechanism, and operational transformation try to provide data consistency when con...