Publications
281 Einträge
2005
-
Providing Transparent Transactions on C/C++ Memory Locations with TARIFA (Fast Abstract) , 2005, S. 13-14, 2 S.Publikation: Beitrag zu Konferenzen > Paper
-
Using SSL for Secure Domain Name System (DNS) Transactions , 2005, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
2004
-
Automatic Detection and Masking of Non-Atomic Exception Handling , 2004, in: IEEE Transactions on Software Engineering. 30, 8, S. 547-560, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
On the possibility of consensus in asynchronous systems with finite average response times (Brief Announcement) , 2004, S. 402-402, 1 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
2003
-
Challenges in Making Pervasive Systems Dependable , 2003, Future Directions in Distributed Computing, Research and Position Papers. S. 186-190, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Elastic Vector Time , 2003, S. 317-322, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Practical Aspects of IP Take-Over Mechanisms , 2003, S. 250-250, 1 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Randomized Asynchronous Consensus with Imperfect Communications , 2003, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Self*: A Component Based Data-Flow Oriented Framework for Pervasive Dependability , 2003, S. 66-73, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
TCP Server Fault Tolerance Using Connection Migration to a Backup Server , 2003, S. 373-382, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper