2255 search results - page 96 / 451 » High Assurance Software Systems |
PROFES
2001
Springer
14 years 2 months ago
2001
Springer
“We boldly go where no man has gone before”. We want to announce new products and services and use matching supporting information systems. All this more rapidly than before an...
IANDC
2008
13 years 10 months ago
2008
Today's software systems communicate over the Internet using standard protocols that have been heavily scrutinized, providing some assurance of resistance to malicious attack...
ACSAC
2005
IEEE
14 years 3 months ago
2005
IEEE
We present the sHype hypervisor security architecture and examine in detail its mandatory access control facilities. While existing hypervisor security approaches aiming at high a...
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
Collections of already developed programs are important resources for efficient development of reliable software systems. In this paper, we propose a novel method of ranking softw...
SIGMETRICS
2004
ACM
14 years 3 months ago
2004
ACM
This paper develops and evaluates new share-based scheduling algorithms for differentiated service quality in network services, such as network storage servers. This form of resou...