Sciweavers

5 search results - page 1 / 1
» Software Black Box: An Alternative Mechanism for Failure Ana...
Sort
View
ISSRE
2000
IEEE
14 years 3 months ago
Software Black Box: An Alternative Mechanism for Failure Analysis
Learning from software failures is an essential step towards the development of more reliable software systems and processes. However, as more intricate software systems are devel...
Sebastian G. Elbaum, John C. Munson
IJNSEC
2008
150views more  IJNSEC 2008»
13 years 11 months ago
Tamper Resistant Software Through Intent Protection
One approach to protect distributed systems implemented with mobile code is through program obfuscation. Disguising program intent is a form of information hiding that facilitates...
Alec Yasinsac, J. Todd McDonald
ICMLA
2009
13 years 9 months ago
Discovering Rules from Disk Events for Predicting Hard Drive Failures
Detecting impending failure of hard disks is an important prediction task which might help computer systems to prevent loss of data and performance degradation. Currently most of t...
Vipul Agarwal, Chiranjib Bhattacharyya, Thirumale ...
ICST
2009
IEEE
13 years 9 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
COMSWARE
2007
IEEE
14 years 5 months ago
Evaluation of IP Fast Reroute Proposals
Abstract— With the increasing demand for low-latency applications in the Internet, the slow convergence of the existing routing protocols is a growing concern. A number of IP fas...
Minas Gjoka, Vinayak Ram, Xiaowei Yang