83 search results - page 3 / 17 » On the Correctness of a Transaction Model for Mobile Computi... |
CONCUR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Dynamic separation is a new programming discipline for systems with transactional memory. We study it formally in the setting of a small calculus with transactions. We pr...
SIGMOD
2002
ACM
13 years 7 months ago
2002
ACM
Mobile computing technology is developing rapidly due to the advantages of information access through mobile devices and the need to retrieve information at remote locations. Howe...
PACT
2001
Springer
13 years 12 months ago
2001
Springer
VLDB
1992
ACM
13 years 11 months ago
1992
ACM
We propose a transaction model that provides a framework for transactions to cooperate without sacrificing serializability as a notion of correctness. Cooperation does not depend ...
NDSS
2009
IEEE
14 years 2 months ago
2009
IEEE
We introduce a new paradigm for outsourcing the durability property of a multi-client transactional database to an untrusted service provider. Specifically, we enable untrusted s...