Sciweavers

6808 search results - page 476 / 1362
» Distributed Concurrency Control
Sort
View
ATVA
2006
Springer
160views Hardware» more  ATVA 2006»
15 years 10 months ago
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
Giorgio Delzanno, Javier Esparza, Jirí Srba
CSCWD
2006
Springer
15 years 10 months ago
Using Isolation Spheres for Cooperative Processes Correctness
Managing cooperation in Business Processes still represents a challenge because of several problems. Concurrent access to common data, coherence of the results, organisation and c...
Adnene Guabtni, François Charoy, Claude God...
EDBTW
2006
Springer
15 years 10 months ago
Conflict Resolution in Updates Through XML Views
Abstract. In this paper, we focus on B2B scenarios where XML views are extracted from relational databases and sent over the Web to another application that edits them and sends th...
André Prisco Vargas, Vanessa P. Braganholo,...
GI
2000
Springer
15 years 10 months ago
Taming the Tiger: How to Cope with Real Database Products in Transactional Federations for Internet Applications
Data consistency in transactional federations is a key requirement of advanced E-service applications on the Internet, such as electronic auctions or real-estate purchase. Federat...
Ralf Schenkel, Gerhard Weikum
ICDE
2000
IEEE
82views Database» more  ICDE 2000»
15 years 10 months ago
Generalized Isolation Level Definitions
Commercial databases support different isolation levels to allow programmers to trade off consistency for a potential gain in performance. The isolation levels are defined in the ...
Atul Adya, Barbara Liskov, Patrick E. O'Neil