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...
—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...
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...
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...
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...