Titlebook: Self-Stabilizing Systems; 5th International Wo Ajoy K. Datta,Ted Herman Conference proceedings 2001 Springer-Verlag Berlin Heidelberg 2001

flaunt

一夫一妻制

Stabilization of Routing in Directed Networks,f a path are employed in routing messages as follows. One direction is used by the nodes in the path to forward messages to their destination at the end of the path, and the other direction is used by the destination to inform the nodes in the path that this path does lead to the destination. Clearl

子女

,Dijkstra’s Self-Stabilizing Algorithm in Unsupportive Environments,change state as a function of its own state and the state of a neighbor. Subsequent research has reconsidered this algorithm without the assumption of a central daemon, and under different forms of communication, such as the model of link registers. In all of these investigations, one common feature

符合你规定

Communication Adaptive Self-Stabilizing Group Membership Service,es rapidly to a legal behavior and is .. Namely, the communication volume is high when the system recovers from the occurrence of faults and is low once a legal state is reached. The communication adaptability is achieved by a new technique that combines transient fault detectors.

BOOR

(Im)Possibilities of Predicate Detection in Crash-Affected Systems,thereby is of the form α ∧ ß, whereα and ß refer to a normal process variable and to the operational state of that process, respectively. Indeed, the accuracy of predicate detection largely depends on the quality of failure detection. In this paper, we investigate the predicate detection semantics t

Eviction

The Theory of Weak Stabilization,f stabilization, weak stabilization is superior to stabilization in several respects. In particular, adding delays to a system preserves the system property of weak stabilization, but does not necessarily preserve its stabilization property. Because most implementations are bound to add arbitrary de

harrow

On the Security and Vulnerability of PING,show that this protocol is secure against weak adversaries (and insecure against strong ones). We then argue that despite the security of PING against weak adversaries, the natural vulnerability of this protocol (or of any other protocol for that matter) can be exploited by a weak adversary to launc

骑师

Silent-Ischemia

EPT

A Composite Stabilizing Data Structure,he data structure to a legitimate state. A data structure is available if, for any arbitrary state, the effect of any operation on the structure is consistent with the operation’s response. This paper presents an available stabilizing data structure made from two constituents, a heap and a search tr