Fault trees provide a graphical and logical framework for analyzing the reliability of systems. A fault tree provides a conceptually simple modeling framework to represent the sys...
Ragavan Manian, Joanne Bechta Dugan, David Coppit,...
This paper explores and evaluates the support for objectfocused collaboration provided by a desktop Collaborative Virtual Environment. The system was used to support an experiment...
Jon Hindmarsh, Mike Fraser, Christian Heath, Steve...
Software evolution analysis is concerned with analysis of artifacts produced during a software systems life-cycle. Execution traces produced from instrumented code reflect a syst...
Michael Fischer, Johann Oberleitner, Harald Gall, ...
Physical systemsoften exhibit complexnonlinear behaviors in continuoustime at multiple temporaland spatial scales. Abstractionssimplify behavioralanalysis and help focus on domina...
Today’s inter-domain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfiguration by individual autonomous system...
Anduo Wang, Alexander J. T. Gurney, Xianglong Han,...