Sciweavers

1382 search results - page 72 / 277
» Strider: Configuration Modelling and Analysis of Complex Sys...
Sort
View
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
14 years 11 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...
CTW
2004
88views more  CTW 2004»
15 years 1 months ago
A work domain analysis framework for modelling intensive care unit patients
Abstract Work domain analysis (WDA) has been applied to a range of complex work domains, but few WDAs have been undertaken in medical contexts. One ng effort suggested that clinica...
Anne Miller
CCGRID
2010
IEEE
15 years 2 months ago
The Failure Trace Archive: Enabling Comparative Analysis of Failures in Diverse Distributed Systems
With the increasing functionality and complexity of distributed systems, resource failures are inevitable. While numerous models and algorithms for dealing with failures exist, th...
Derrick Kondo, Bahman Javadi, Alexandru Iosup, Dic...
ENTCS
2010
110views more  ENTCS 2010»
15 years 1 months ago
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems
The cost of deploying a ubiquitous system to enhance a physical environment is likely to be considerable. The success of its deployment is highly dependent on its context: the phy...
Michael D. Harrison, Mieke Massink
SMC
2007
IEEE
119views Control Systems» more  SMC 2007»
15 years 7 months ago
Modeling operator performance for error analysis
— Existing human performance taxonomies which mostly can answer the question “what factors could affect the result” rather than “why it happened”, are usually used to ana...
Alexander M. Yemelyanov