Publications
281 Einträge
2001
-
Enforcing Perfect Failure Detection , 2001, S. 350-359, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Fault Management In ECLIPSE , 2001, S. 28-33, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Rejuvenation and Failure Detection in Partitionable Systems , 2001, S. 154-161, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
2000
-
Enforcing Synchronous System Properties on Top of Timed Systems , 2000, S. 185-192, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
The Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness , 2000, S. 533-542, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
1999
-
A Comparison of Timed Asynchronous Systems and Asynchronous Systems with Failure Detectors , 1999, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Building Fault-Tolerant Hardware Clocks from COTS Components , 1999, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
1998
-
Derivation of Fail-Aware Membership Service Specifications , 1998, Lecture Notes in Computer Science Parallel and Distributed Processing. Band 1388/1998. S. 644-663, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Fail-Aware Publish/Subscribe in Erlang , 1998, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
The Message Classification Model , 1998, S. 153-162, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper