9110 search results - page 1424 / 1822 » Formally-Based Design Evaluation |
162
click to vote
NSDI
2007
15 years 9 months ago
2007
Byzantine fault tolerant systems behave correctly when no more than f out of 3f + 1 replicas fail. When there are more than f failures, traditional BFT protocols make no guarantee...
173
click to vote
NSDI
2008
15 years 9 months ago
2008
We present the design and evaluation of two forms of power management schemes that reduce the energy consumption of networks. The first is based on putting network components to s...
184
click to vote
NSDI
2008
15 years 9 months ago
2008
The broadcast nature of wireless networks is the source of both their utility and much of their complexity. To turn what would otherwise be unwanted interference into an advantage...
156
click to vote
NSDI
2008
15 years 9 months ago
2008
This paper presents the design, implementation, and experimental evaluation of CMAP (Conflict Maps), a system that increases the number of successful concurrent transmissions in a...
171
click to vote
USS
2008
15 years 9 months ago
2008
Making vital disk data recoverable even in the event of OS compromises has become a necessity, in view of the increased prevalence of OS vulnerability exploits over the recent yea...