870 search results - page 29 / 174 » The failure detector abstraction |
ICALP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a finite ω-complete axiomatization for the process algebra BCCSP modulo failure semantics, in case of a finite alphabet. This solves an open question by Gro...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—In [1], the author presented a 1+N protection strategy against single link failures using a network coding approach on p-Cycles. In this paper, we extend this approach t...
INFOCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—The current global Internet routing frequently suffers from cascading routing changes and slow routing convergence. Such instability can significantly affect the perfor...
TON
2008
13 years 9 months ago
2008
Abstract--As the Internet evolves into a ubiquitous communication infrastructure and supports increasingly important services, its dependability in the presence of various failures...
CLEF
2011
Springer
12 years 8 months ago
2011
Springer
Abstract This paper overviews eleven plagiarism detectors that have been de