1229 search results - page 42 / 246 » Live updating operating systems using virtualization |
121
click to vote
ENTCS
2008
15 years 1 months ago
2008
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
ICDCS
2007
IEEE
15 years 7 months ago
2007
IEEE
— We introduce a virtual-node based mobile object tracking algorithm for mobile sensor networks, VINESTALK. The algorithm uses the Virtual Stationary Automata programming layer, ...
102
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
112
click to vote
ISMAR
2003
IEEE
15 years 6 months ago
2003
IEEE
The Augmented Reality Videoconferencing System is a novel remote collaboration tool combining a desktop-based AR system and a videoconferencing module. The novelty of our system i...
127
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
In this paper, we propose a general-purpose framework that harnesses the power of lightweight virtualization to track applications interactions in a scalable an efficient manner. ...