1299 search results - page 164 / 260 » On the Correctness of Operating System Kernels |
196
click to vote
ICDCS
2003
IEEE
16 years 2 days ago
2003
IEEE
Writing correct distributed programs is hard. In spite of extensive testing and debugging, software faults persist even in commercial grade software. Many distributed systems, esp...
155
click to vote
SRDS
2003
IEEE
16 years 1 days ago
2003
IEEE
Group communication protocols constitute a basic building block for highly dependable distributed applications. Designing and correctly implementing a group communication system (...
163
click to vote
RTS
2006
15 years 6 months ago
2006
Abstract. The Time-Triggered Architecture, as architecture for safety-critical realtime applications, incorporates fault-tolerance mechanisms to ensure correct system operation des...
150
click to vote
ACNS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Users of online-collaboration tools and network storage services place considerable trust in their providers. This paper presents a novel approach for protecting data int...
165
click to vote
ACSAC
2005
IEEE
16 years 12 days ago
2005
IEEE
Logging and auditing is an important system facility for monitoring correct system operation and for detecting potential security problems. We present an architecture for implemen...