Sciweavers

140 search results - page 21 / 28
» An Interval Intelligent-based Approach for Fault Detection a...
Sort
View
ISCIS
2004
Springer
14 years 2 months ago
Software Testing via Model Checking
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
Fevzi Belli, Baris Güldali
RIAO
2000
13 years 10 months ago
Speaker change detection using joint audio-visual statistics
In this paper, we present an approach for speaker change detection in broadcast video using joint audio-visual scene change statistics. Our experiments indicate that using joint a...
Giridharan Iyengar, Chalapathy Neti, Sankar Basu
TPDS
2010
113views more  TPDS 2010»
13 years 3 months ago
Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery
In the past, some research has been done on how to use proactive recovery to build intrusion-tolerant replicated systems that are resilient to any number of faults, as long as reco...
Paulo Sousa, Alysson Neves Bessani, Miguel Correia...
IRI
2007
IEEE
14 years 3 months ago
Software Defects Prediction using Operating Characteristic Curves
We present a software defect prediction model using operating characteristic curves. The main idea behind our proposed technique is to use geometric insight in helping construct a...
Torsten Bergander, Yan Luo, A. Ben Hamza
CHARME
2005
Springer
122views Hardware» more  CHARME 2005»
14 years 2 months ago
Regular Vacuity
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
Doron Bustan, Alon Flaisher, Orna Grumberg, Orna K...