Searching for "Dependable distributed systems." – sorted by Relevance.
145 documents found, showing 1 through 10.
Next 10 →
-
Abstractions for Constructing Dependable Distributed Systems
- …Abstractions for Constructing Dependable Distributed Systems Shivakant Mishra 1 and Richard D…
- Cited by 15 (3 self) – Add To MetaCart
-
Determining Service Dependencies in Distributed Systems
- …, June, 2001 Determining Service Dependencies in Distributed Systems Abstract— We describe…
- Add To MetaCart
-
Formal Development and Validation of Java Dependable Distributed Systems
- …Formal Development and Validation of Java Dependable Distributed Systems Giovanna Di Marzo…
- Add To MetaCart
-
Event Composition in Time-dependent Distributed Systems
- …Event Composition in Time-dependent Distributed Systems C. Liebig, M. Cilia † , A. Buchmann…
- Cited by 34 (11 self) – Add To MetaCart
-
Model-Based Design of Dependability in Distributed Systems
- …Model-based design of dependability in distributed systems Anish Arora, Rajesh Jagannathan, Yi…
- Cited by 1 (1 self) – Add To MetaCart
-
Evaluating a Dependable Distributed System with Multiple Critical Tasks
- …Evaluating a Dependable Distributed System with Multiple Critical Tasks Yinong Chen and Zhongshi…
- Add To MetaCart
-
NFTAPE: A Framework for Assessing Dependability in Distributed Systems with Lightweight Fault
- …NFTAPE: A Framework for Assessing Dependability in Distributed Systems with Lightweight Fault…
- Cited by 25 (0 self) – Add To MetaCart
-
Classes Of Byzantine Fault-Tolerant Algorithms For Dependable Distributed Systems
- …CLASSES OF BYZANTINE FAULT-TOLERANT ALGORITHMS FOR DEPENDABLE DISTRIBUTED SYSTEMS Andr�� Postma…
- Cited by 2 (0 self) – Add To MetaCart
-
Classes Of Byzantine Fault-Tolerant Algorithms For Dependable Distributed Systems
- …CLASSES OF BYZANTINE FAULT-TOLERANT ALGORITHMS FOR DEPENDABLE DISTRIBUTED SYSTEMS André Postma…
- Add To MetaCart
-
Using telecommunications formal description techniques to improve the dependability of distributed
- …Using telecommunications formal description techniques to improve the dependability of distributed…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
