-
1
-
2
Bounded Auditable Restoration of Distributed Systems
Veröffentlicht in IEEE transactions on computers
VolltextArtikel -
3
Pulmonary Arterial Hypertension: Pathophysiology and Treatment
Veröffentlicht in Diseases
VolltextArtikel -
4
Analysis of Bounds on Hybrid Vector Clocks
Veröffentlicht in IEEE transactions on parallel and distributed systems
VolltextArtikel -
5
-
6
-
7
Synthesizing bounded-time 2-phase fault recovery
Veröffentlicht in Formal aspects of computing
VolltextArtikel -
8
-
9
-
10
-
11
Complexity results in revising UNITY programs
Veröffentlicht in ACM transactions on autonomous and adaptive systems
VolltextArtikel -
12
-
13
Assurance of dynamic adaptation in distributed systems
Veröffentlicht in Journal of parallel and distributed computing
VolltextArtikel -
14
-
15
-
16
Component based design of multitolerant systems
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
17
-
18
-
19
-
20
Logarithmic keying
Veröffentlicht in ACM transactions on autonomous and adaptive systems
VolltextArtikel