419 search results - page 37 / 84 » Interacting State Machines for Mobility |
CASSIS
2005
Springer
14 years 2 months ago
2005
Springer
This paper introduces notions of resource policy for mobile code to be run on smart devices, to integrate with the proof-carrying code architecture of the Mobile Resource Guarantee...
CHI
2011
ACM
13 years 8 days ago
2011
ACM
This article is a modified version of the paper published at CHI 2011 [11]. For more details about the study, please refer to the original paper. We report our study on mobile rem...
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...
FSR
2005
Springer
14 years 2 months ago
2005
Springer
In the near future, off-road mobile robots will feature high levels of autonomy which will render them useful for a variety of tasks on Earth and other planets. Many terrestrial a...
OSDI
2002
ACM
14 years 9 months ago
2002
ACM
This paper shows how to quickly move the state of a running computer across a network, including the state in its disks, memory, CPU registers, and I/O devices. We call this state...