1283 search results - page 15 / 257 » Atomicity Implementation in Mobile Computing |
SPIN
2005
Springer
14 years 2 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
PODC
2010
ACM
14 years 18 days ago
2010
ACM
A shared disk implementation on distributed storage requires consistent behavior of disk operations. Deterministic consensus on such behavior is impossible when even a single stor...
CAD
2004
Springer
13 years 8 months ago
2004
Springer
This paper presents a new method for smoothing haptic interaction with molecular force calculations that uses Lennard-Jones forcefield. The gradient of the forcefield is used unal...
GG
2008
Springer
13 years 9 months ago
2008
Springer
We present a graphical implementation for finite processes of the mobile ambients calculus. Our encoding uses unstructured (i.e., non hierarchical) graphs and it is sound and comp...
MOBICOM
2004
ACM
14 years 2 months ago
2004
ACM
In this paper, we present a prototypically implemented system for supporting group interaction in mobile distributed computing