870 search results - page 40 / 174 » The failure detector abstraction |
125
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a new protocol for atomic broadcast in an asynchronous network with a maximal number of Byzantine failures. It guarantees both safety and liveness without maki...
160
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
An essential step toward the development of an intelligent substation is to provide self-diagnosing capability at the equipment level. Transformers, circuit breakers and other sub...
142
click to vote
PET
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Three main methods of content blocking are used on the Internet: blocking routes to particular IP addresses, blocking specific URLs in a proxy cache or firewall, and pr...
175
click to vote
AMEC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In a combinatorial auction, there are multiple items for sale, and bidders are allowed to place a bid on a bundle of these items rather than just on the individual items....
169
click to vote
SAFECOMP
2004
Springer
15 years 11 months ago
2004
Springer
Safety cases embody arguments that demonstrate how safety properties of a system are upheld. Such cases implicitly document the barriers that must exist between hazards and vulnera...