2844 search results - page 28 / 569 » A Comparison of Partitioning Operating Systems for Integrate... |
127
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper presents a new two-levels page-based memory bus protection scheme. A trusted Operating System drives a hardware cryptographic unit and manages security contexts for e...
134
click to vote
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
J-DOS provides and integrated JAVA environment for the execution of a program across an interconnected network of heterogeneous computers. The system provides a file system, shar...
139
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
153
click to vote
ICPADS
2005
IEEE
15 years 10 months ago
2005
IEEE
This work presents a new comparison-based diagnosis model and a new algorithm, called Hi-Dif, based on this model. The algorithm is used for checking the integrity of systems with...