1087 search results - page 15 / 218 » On Stabilization in Herman's Algorithm |
92
Voted
CORES
2005
Springer
15 years 8 months ago
2005
Springer
119
Voted
INFOCOM
2003
IEEE
15 years 8 months ago
2003
IEEE
— Service composition enables flexible creation of new services by assembling independent service components. We are focused on the scenario where such composition takes place a...
90
Voted
HIPC
2003
Springer
15 years 8 months ago
2003
Springer
125
Voted
GI
2001
Springer
15 years 7 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
108
Voted
PODC
1997
ACM
15 years 7 months ago
1997
ACM