15636 search results - page 3074 / 3128 » Modelling by supersaturated designs |
162
click to vote
MOBICOM
1996
ACM
15 years 5 months ago
1996
ACM
This paper discusses extensions to the Rover toolkit for constructing reliable mobile-aware applications. The extensions improve upon the existing failure model, which only addres...
133
click to vote
STOC
1996
ACM
15 years 5 months ago
1996
ACM
A fundamental problem in designing secure multi-party protocols is how to deal with adaptive adversaries i.e., adversaries that may choose the corrupted parties during the course ...
128
click to vote
SPDP
1993
IEEE
15 years 5 months ago
1993
IEEE
We consider the problem of transforming a given sequential implementation of a data structure into a wait-free concurrent implementation. Given the code for different operations ...
116
click to vote
ASPLOS
1992
ACM
15 years 5 months ago
1992
ACM
We describe and evaluate a strategy for declustering the parity encoding in a redundant disk array. This declustered parity organization balances cost against data reliability and...
160
Voted
PODC
1994
ACM
15 years 5 months ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...