1229 search results - page 26 / 246 » Live updating operating systems using virtualization |
CONTEXT
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
ACE
2004
13 years 11 months ago
2004
The problems of providing a real, physical specialist laboratory to teach computer networking such as, the lack of funding and physical space and the risks and threats to the netw...
CGVR
2006
13 years 11 months ago
2006
- The correct and quick evacuation of occupants is very important for the save of lives in a public building when it is attacked by a fire. However, it is difficult to train the oc...
EICS
2009
ACM
14 years 4 months ago
2009
ACM
Single-user, desktop-based computer applications are pervasive in our daily lives and work. The prospect of using these applications with innovative interaction systems, like mult...
ECAI
2006
Springer
14 years 1 months ago
2006
Springer
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...