83 search results - page 4 / 17 » On the Correctness of a Transaction Model for Mobile Computi... |
MOBIDE
2005
ACM
14 years 1 months ago
2005
ACM
The increasing popularity of mobile devices and the support of web portals towards performing transactions from these mobile devices has enabled business on the move. However, int...
ACSD
2003
IEEE
14 years 23 days ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
HPCC
2005
Springer
14 years 1 months ago
2005
Springer
A lot of sophisticated techniques and platforms have been proposed to build distributed object systems. Remote method invocation and explicit message passing on top of traditional...
ICDCS
1995
IEEE
13 years 11 months ago
1995
IEEE
To deal with the frequent, foreseeable and variable disconnections that occur in a mobile environment, we introduce a exible, two-level consistency model. Semantically related or ...
PERCOM
2008
ACM
14 years 7 months ago
2008
ACM
The field of pervasive computing has seen a lot of exciting innovations in the past few years. However, there are currently no mechanisms for describing the properties and capabil...