Sciweavers

1063 search results - page 38 / 213
» Order and Negation as Failure
Sort
View
87
Voted
APN
1999
Springer
15 years 5 months ago
Detection of Illegal Behaviors Based on Unfoldings
We show how the branching process approach can be used for the detection of illegal behaviors. Our study is based on the specification of properties in terms of testers that cover...
Jean-Michel Couvreur, Denis Poitrenaud
111
Voted
HOTDEP
2008
94views Hardware» more  HOTDEP 2008»
15 years 3 months ago
Spread-Spectrum Computation
We observe that existing methods for failure-tolerance are inefficient in their use of time, storage and computational resources. We aim to harness the power of idle desktop compu...
Derek Gordon Murray, Steven Hand
OPODIS
2007
15 years 2 months ago
Making Distributed Applications Robust
We present a novel translation of systems that are tolerant of crash failures to systems that are tolerant of Byzantine failures in an asynchronous environment, making weaker assum...
Chi Ho, Danny Dolev, Robbert van Renesse
74
Voted
ICDCS
2008
IEEE
15 years 7 months ago
A Nonblocking Approach for Reaching an Agreement on Request Total Orders
In distributed systems that use active replication to achieve robustness, it is important to efficiently enforce consistency among replicas. The nonblocking mode helps to speed u...
Yun Wang, Jie Wu
111
Voted
ICDM
2006
IEEE
158views Data Mining» more  ICDM 2006»
15 years 6 months ago
Detection of Interdomain Routing Anomalies Based on Higher-Order Path Analysis
Internet routing dynamics have been extensively studied in the past few years. However, dynamics such as interdomain Border Gateway Protocol (BGP) behavior are still poorly unders...
Murat Can Ganiz, Sudhan Kanitkar, Mooi Choo Chuah,...