Sciweavers

2223 search results - page 285 / 445
» Events in Property Patterns
Sort
View
172
Voted
SRDS
2005
IEEE
16 years 16 days ago
Distributed Construction of a Fault-Tolerant Network from a Tree
We present an algorithm by which nodes arranged in a tree, with each node initially knowing only its parent and children, can construct a fault-tolerant communication structure (a...
Michael K. Reiter, Asad Samar, Chenxi Wang
SIGCOMM
2005
ACM
16 years 15 days ago
HLP: a next generation inter-domain routing protocol
It is well-known that BGP, the current inter-domain routing protocol, has many deficiencies. This paper describes a hybrid link-state and path-vector protocol called HLP as an al...
Lakshminarayanan Subramanian, Matthew Caesar, Chen...
180
Voted
IPSN
2005
Springer
16 years 14 days ago
Avrora: scalable sensor network simulation with precise timing
— Simulation can be an important step in the development of software for wireless sensor networks and has been the subject of intense research in the past decade. While most prev...
Ben Titzer, Daniel K. Lee, Jens Palsberg
SSS
2005
Springer
119views Control Systems» more  SSS 2005»
16 years 13 days ago
Self-stabilization of Byzantine Protocols
Awareness of the need for robustness in distributed systems increases as distributed systems become integral parts of day-to-day systems. Self-stabilizing while tolerating ongoing ...
Ariel Daliot, Danny Dolev
WDAG
2005
Springer
90views Algorithms» more  WDAG 2005»
16 years 13 days ago
Proving Atomicity: An Assertional Approach
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
Gregory Chockler, Nancy A. Lynch, Sayan Mitra, Jos...