Sciweavers

1422 search results - page 59 / 285
» How to measure a large open-source distributed system
Sort
View
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 9 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
HICSS
2006
IEEE
118views Biometrics» more  HICSS 2006»
16 years 7 days ago
An Estimator of Propagation of Cascading Failure
— We suggest a statistical estimator to measure the extent to which failures propagate in cascading failures such as large blackouts. The estimator is tested on a saturating bran...
Ian Dobson, Kevin R. Wierzbicki, Benjamin A. Carre...
VALUETOOLS
2006
ACM
125views Hardware» more  VALUETOOLS 2006»
16 years 4 days ago
An approximative method for calculating performance measures of Markov processes
We present a new approximation method called value extrapolation for Markov processes with large or infinite state spaces. The method can be applied for calculating any performan...
Juha Leino, Jorma T. Virtamo
SIGSOFT
2007
ACM
16 years 7 months ago
Fault and adversary tolerance as an emergent property of distributed systems' software architectures
Fault and adversary tolerance have become not only desirable but required properties of software systems because mission-critical systems are commonly distributed on large network...
Yuriy Brun, Nenad Medvidovic
POLICY
2009
Springer
16 years 22 days ago
In Vivo Evolution of Policies that Govern a Distributed System
This paper addresses an important open problem confronting any decentralized and stateful access control (AC) mechanism for networked systems, particularly when the system at hand...
Constantin Serban, Naftaly H. Minsky