928 search results - page 4 / 186 » Safety management of complex technology |
SAFECOMP
2009
Springer
14 years 2 months ago
2009
Springer
The behaviour of control functions in safety critical software systems is typically bounded to prevent the occurrence of known system level hazards. These bounds are typically deri...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
NASA space exploration should largely address a problem class in reliability and risk management stemming primarily from human error, system risk and multi-objective trade-off ana...
SAFECOMP
2000
Springer
13 years 11 months ago
2000
Springer
Increasingly, the dependability of vehicle based programmable systems is becoming a key feature in ensuring the safety of those in and around the vehicle. The goal of those respons...
DOLAP
2009
ACM
14 years 2 months ago
2009
ACM
In this paper, we investigate the problem of answering top-k queries via materialized views. We provide theoretical guarantees for the adequacy of a view to answer a top-k query, ...
DSN
2009
IEEE
14 years 2 months ago
2009
IEEE
Decomposition is used to manage system complexity, but is problematic for emergent properties such as system safety. Previously, we introduced Indirect Control Path Analysis (ICPA...