1299 search results - page 147 / 260 » On the Correctness of Operating System Kernels |
166
Voted
ICALP
2003
Springer
15 years 10 months ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...
123
click to vote
PODC
1998
ACM
15 years 9 months ago
1998
ACM
ÐIn this paper, we explore techniques to detect Byzantine server failures in asynchronous replicated data services. Our goal is to detect arbitrary failures of data servers in a s...
148
click to vote
FLAIRS
2004
15 years 6 months ago
2004
When designing any type of fuzzy rule based system, considerable effort is placed in identifying the correct number of fuzzy sets and the fine tuning of the corresponding membersh...
172
click to vote
PERCOM
2007
ACM
16 years 4 months ago
2007
ACM
Middleware support for pervasive context-aware systems relieves context-aware applications from dealing with the complexity of context-specific operations such as context acquisit...
143
click to vote
DSN
2007
IEEE
15 years 11 months ago
2007
IEEE
A flexible model for estimating reliability of RAID storage systems is presented. This model corrects errors associated with the common assumption that system times to failure fol...