49 search results - page 3 / 10 » Internet Suspend Resume |
ICLP
2009
Springer
14 years 5 months ago
2009
Springer
Suspension-based tabling systems have to save and restore computation states belonging to OR branches. Stack freezing combined with (forward) trailing is among the better-known imp...
WWW
2007
ACM
14 years 5 months ago
2007
ACM
In a world where all devices will be interconnected, the boundaries between the different devices will start to disappear. Devices will be able to access each other's applica...
COMPSAC
2006
IEEE
13 years 11 months ago
2006
IEEE
We present DeskPod, a portable system that provides a highly reliable desktop computing environment for mobile users by leveraging rapid improvements in capacity, cost, and size o...
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
This paper presents a new model for mobile processes in occam-π. A process, embedded anywhere in a dynamically evolving network, may suspend itself mid-execution, be safely discon...
INTERACT
2007
13 years 6 months ago
2007
We present S3 , a system that implicitly captures the process and products of Web investigations (exploratory searches involving multiple queries). This automatically-created, pers...