83 search results - page 2 / 17 » On the Correctness of a Transaction Model for Mobile Computi... |
ICDCS
1994
IEEE
13 years 9 months ago
1994
IEEE
In a multidatabase environment with mobile computers involved, the nature of computing is such that the user may not wait for the submitted global transaction to complete before d...
FORTE
2008
13 years 6 months ago
2008
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
AINA
2010
IEEE
13 years 10 months ago
2010
IEEE
— with the ubiquity of handheld devices people can now access information and conduct online transactions virtually anywhere and anytime. In such flexible but less reliable envir...
COMPSAC
2002
IEEE
13 years 10 months ago
2002
IEEE
A transactional workflow is composed of traditional flat transactions, and its execution has relaxed transactional atomicity. Due to different termination characteristics of trans...
ADBIS
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. In this paper we describe a transaction management system designed to face the inherent characteristics of mobile environments. Mobile clients cache subsets of the databa...