4343 search results - page 202 / 869 » Replication Techniques for Availability |
189
click to vote
FORTE
2010
15 years 8 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
182
click to vote
IJCAI
2003
15 years 8 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
163
click to vote
USITS
2001
15 years 8 months ago
2001
This paper presents a set of techniques for providing fine-grained failover of long-running connections across a distributed collection of replica servers, and is especially usefu...
159
click to vote
WSC
2000
15 years 7 months ago
2000
Simulation models are often not used to their full potential in the decision-making process. The default simulation strategy of simple serial replication of fixed length runs mean...
167
click to vote
WCE
2007
15 years 7 months ago
2007
—The move to begin to place liabilities for copyright violations on internet intermediaries such as ISPs and Cyber Cafes as a result of contents allowed through their networks is...