419 search results - page 37 / 84 » Interacting State Machines for Mobility |
147
click to vote
CASSIS
2005
Springer
15 years 10 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...
130
click to vote
CHI
2011
ACM
14 years 8 months 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...
139
click to vote
VSTTE
2005
Springer
15 years 10 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...
115
click to vote
FSR
2005
Springer
15 years 10 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...
144
click to vote
OSDI
2002
ACM
16 years 4 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...