137 search results - page 13 / 28 » Justifying Integrity Using a Virtual Machine Verifier |
EUROPAR
2008
Springer
13 years 9 months ago
2008
Springer
As the use of virtual machines (VMs) for scientific applications becomes more common, we encounter the need to integrate VM provisioning models into the existing resource managemen...
ECTEL
2007
Springer
14 years 1 months ago
2007
Springer
The Virtual Company educational scenario engages students in a professional setting for working and learning. Students are enabled to develop competencies that are derived from pro...
CADE
2004
Springer
14 years 7 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
IFIP
2010
Springer
13 years 2 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
ACSAC
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Integrity measurement is a key issue in building trust in distributed systems. A good solution to integrity measurement has to provide both strong isolation between the ...