Sciweavers

3938 search results - page 22 / 788
» Interactive Protocols on the Reals
Sort
View
ICEIS
2002
IEEE
14 years 3 months ago
D-ANTICIP: A Protocol Suitable for Distributed Real-Time Transactions
Bruno Sadeg, Samia Saad-Bouzefrane, Laurent Amanto...
ADBIS
1997
Springer
149views Database» more  ADBIS 1997»
14 years 3 months ago
Concurrency Control Protocol for Nested Transactions in Real-Time Databases
In this paper we consider real-time concurrency control for the nested transaction model. We analyze problems that have pure optimistic and pessimistic approaches. As the solution...
Ekaterina Pavlova, Igor Nekrestyanov
TAPSOFT
1997
Springer
14 years 3 months ago
A Compositional Proof of a Real-Time Mutual Exclusion Protocol
Kåre J. Kristoffersen, François Larou...