Sciweavers

HASE
2007
IEEE
13 years 11 months ago
Vulnerability Discovery in Multi-Version Software Systems
Jinyoo Kim, Yashwant K. Malaiya, Indrakshi Ray
HASE
2007
IEEE
13 years 11 months ago
Scalable, Adaptive, Time-Bounded Node Failure Detection
This paper presents a scalable, adaptive and timebounded general approach to assure reliable, real-time Node-Failure Detection (NFD) for large-scale, high load networks comprised ...
Matthew Gillen, Kurt Rohloff, Prakash Manghwani, R...
HASE
2007
IEEE
13 years 11 months ago
Advances in Quantum Computing Fault Tolerance and Testing
We study recent developments in quantum computing (QC) testing and fault tolerance (FT) techniques and discuss several attempts to formalize quantum logic fault models. We illustr...
David Y. Feinstein, V. S. S. Nair, Mitchell A. Tho...
HASE
2007
IEEE
13 years 11 months ago
Arguing safety with Problem Oriented Software Engineering
Jon G. Hall, Derek Mannering, Lucia Rapanotti
HASE
2007
IEEE
13 years 11 months ago
SyncProbe: Providing Assurance of Message Latency through Predictive Monitoring of Internet Paths
SyncProbe improves the end-to-end predictability of distributed systems by providing applications with a real-time estimate of the maximum expected message delay (upper bound on c...
Jawwad Shamsi, Monica Brockmeyer
HASE
2007
IEEE
13 years 11 months ago
Transformation-Based Library Adaptation for Embedded Systems
Victor L. Winter, Azamatbek Mametjanov, Steven E. ...
HASE
2007
IEEE
13 years 11 months ago
Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities
Wireless LANs (WLAN) are becoming ubiquitous, as more and more consumer electronic equipments start to support them. This creates new security concerns, since hackers no longer ne...
Manuel Mendonça, Nuno Ferreira Neves
HASE
2007
IEEE
13 years 11 months ago
Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
Ali Ebnenasir, Betty H. C. Cheng
HASE
2007
IEEE
13 years 11 months ago
A Nonparametric Cusum Algorithm for Timeslot Sequences with Applications to Network Surveillance
We adapt the classic cusum change-point detection algorithm for applications to data network monitoring where various and numerous performance and reliability metrics are availabl...
Qi Zhang, Carlos Rendón, Veronica Montes De...