2678 search results - page 274 / 536 » Operational Semantics of Transactions |
155
click to vote
ECSQARU
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. A great deal of research has been devoted to nontrivial reasoning in inconsistent knowledge bases. Coherence-based approaches proceed by a consolidation operation which s...
152
click to vote
CSCW
2000
ACM
15 years 10 months ago
2000
ACM
In real−time collaborative systems, replicated objects, shared by users, are subject to concurrency constraints. In order to satisfy these, various algorithms, qualified as opâˆ...
138
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
This paper introduces a new abstraction to accelerate the readbarriers and write-barriers used by language runtime systems. We exploit the fact that, dynamically, many barrier exe...
166
click to vote
HICSS
2006
IEEE
16 years 7 days ago
2006
IEEE
: e-business organizations are heavily dependent on distributed 24X7 robust information computing systems, for their daily operations. To secure distributed online transactions, th...
183
click to vote
ISLPED
2003
ACM
15 years 11 months ago
2003
ACM
Security is critical to a wide range of wireless data applications and services. While several security mechanisms and protocols have been developed in the context of the wired In...