36 search results - page 5 / 8 » Analyzing Safety-Critical Systems Using Extended Fault Trees |
FLAIRS
2009
13 years 5 months ago
2009
While team action recognition has a relatively extended literature, less attention has been given to the detailed realtime analysis of the internal structure of the team actions. ...
USENIX
2008
13 years 10 months ago
2008
This paper explores the challenges associated with distributed application management in large-scale computing environments. In particular, we investigate several techniques for e...
HASE
1998
IEEE
14 years 2 days ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
CANS
2009
Springer
13 years 11 months ago
2009
Springer
We extend the well-known Tree-Diffie-Hellman technique used for the design of group key exchange (GKE) protocols with robustness, i.e. with resistance to faults resulting from poss...
TSMC
2010
13 years 2 months ago
2010
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...