185 search results - page 30 / 37 » Analysis of virtual machine system policies |
107
click to vote
EMSOFT
2011
Springer
13 years 9 months ago
2011
Springer
As system integration becomes an increasingly important challenge for complex real-time systems, there has been a significant demand for supporting real-time systems in virtualiz...
CCS
2007
ACM
15 years 3 months ago
2007
ACM
This paper presents a new approach to dynamically monitoring operating system kernel integrity, based on a property called state-based control-flow integrity (SBCFI). Violations ...
100
click to vote
KBSE
2000
IEEE
15 years 1 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
SAS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
EWSA
2004
Springer
15 years 2 months ago
2004
Springer
This paper gives an overview of the ArchWare European Project1 . The broad scope of ArchWare is to respond to the ever-present demand for software systems that are capable of accom...