209 search results - page 35 / 42 » Ensuring operating system kernel integrity with OSck |
EMSOFT
2003
Springer
14 years 29 days ago
2003
Springer
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...
DAIS
2006
13 years 9 months ago
2006
Abstract. This paper discusses a way of incorporating speculation techniques into Distributed Shared Memory (DSM) systems with checkpointing mechanism without creating unnecessary ...
USS
2008
13 years 10 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...
MOBISYS
2007
ACM
14 years 7 months ago
2007
ACM
The NEMO project is exploring the use of mobile sensor nodes to augment physical work artefacts in order to ensure compliance with health and safety regulations. In this paper we ...
SIGOPS
2008
13 years 7 months ago
2008
The Linux Kernel currently supports at least 8 distinct virtualization systems: Xen, KVM, VMware's VMI, IBM's System p, IBM's System z, User Mode Linux, lguest and ...