Sciweavers

86 search results - page 11 / 18
» A toolset for automated failure analysis
Sort
View
ENTCS
2007
143views more  ENTCS 2007»
14 years 9 months ago
Formal Fault Tree Analysis - Practical Experiences
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
Frank Ortmeier, Gerhard Schellhorn
ITNG
2010
IEEE
15 years 2 months ago
BAUT: A Bayesian Driven Tutoring System
—This paper presents the design of BAUT, a tutoring system that explores statistical approach for providing instant project failure analysis. Driven by a Bayesian Network (BN) in...
Song Tan, Kai Qian, Xiang Fu, Prabir Bhattacharya
COOPIS
2004
IEEE
15 years 1 months ago
Model-Driven Dependability Analysis of WebServices
This paper focuses on the development of a principled methodology for the dependability analysis of composite Web services. The first step of the methodology involves a UML represe...
Apostolos Zarras, Panos Vassiliadis, Valéri...
DAC
2001
ACM
15 years 10 months ago
Analysis of On-Chip Inductance Effects using a Novel Performance Optimization Methodology for Distributed RLC Interconnects
This work presents a new and computationally efficient performance optimization technique for distributed RLC interconnects based on a rigorous delay computation scheme. The new o...
Kaustav Banerjee, Amit Mehrotra
GIS
2010
ACM
14 years 8 months ago
Quantitative analysis of simulated erosion for different soils
Rensselaer Polytechnic Institute Troy, NY Levee overtopping can lead to failure and cause catastrophic damage, as was the case during Hurricane Katrina. We present a computer simu...
Zhongxian Chen, Christopher Stuetzle, Barbara Cutl...