2814 search results - page 61 / 563 » Can We Make Operating Systems Reliable and Secure |
139
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
145
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
Networks continue to change to support new applications, improve reliability and performance and reduce the operational cost. The changes are made to the network in the form of up...
122
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
The US Power Industry is in the process of overhauling the Power Grid to make it more secure, reliable, and available. The IT systems that comprise a major part of this change nee...
142
click to vote
HPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
iFlow is a replication-based system that can achieve both fast and reliable processing of high volume data streams on the Internet scale. iFlow uses a low degree of replication in...
122
click to vote
PRDC
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we present an analytical model for estimating architecture-based software reliability, according to the reliability of each component, the operational profile, and t...