9 search results - page 1 / 2 » Virtual Machine Based Debugging for occam-pi |
WOTUG
2008
13 years 6 months ago
2008
ISSTA
2010
ACM
13 years 9 months ago
2010
ACM
Virtual machines offer the ability to partition the resources of a physical system and to create isolated execution environments. The development of virtual machines is a very ch...
OSDI
1996
ACM
13 years 6 months ago
1996
ACM
This paper describes a novel approach to providingmodular and extensible operating system functionality and encapsulated environments based on a synthesis of microkernel and virtu...
OSDI
2004
ACM
14 years 5 months ago
2004
ACM
This work addresses the problem of diagnosing configuration errors that cause a system to function incorrectly. For example, a change to the local firewall policy could cause a ne...
HICSS
2008
IEEE
13 years 11 months ago
2008
IEEE
In this paper we describe mechanisms for execution monitoring of semantic web services, based on OWL-S. The use of semantic descriptions and ontologies is a valuable extension to ...