Sciweavers

4181 search results - page 461 / 837
» Evaluating Usefulness for Dynamic Classification
Sort
View
HPCA
2005
IEEE
16 years 6 months ago
SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs
Memory leaks and memory corruption are two major forms of software bugs that severely threaten system availability and security. According to the US-CERT Vulnerability Notes Datab...
Feng Qin, Shan Lu, Yuanyuan Zhou
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
16 years 10 days ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
ICWS
2010
IEEE
15 years 7 months ago
A MVC Framework for Policy-Based Adaptation of Workflow Processes: A Case Study on Confidentiality
Abstract--Most work on adaptive workflows offers insufficient flexibility to enforce complex policies regarding dynamic, evolvable and robust workflows. In addition, many proposed ...
Kristof Geebelen, Eryk Kulikowski, Eddy Truyen, Wo...
TOCHI
2002
63views more  TOCHI 2002»
15 years 5 months ago
Rivalry and interference with a head-mounted display
Perceptual factors that effect monocular, transparent (a.k.a "see-thru") head mounted displays include binocular rivalry, visual interference, and depth of focus. We rep...
Robert S. Laramee, Colin Ware
TITB
2010
104views Education» more  TITB 2010»
15 years 26 days ago
Time-frequency analysis of accelerometry data for detection of myoclonic seizures
Four time-frequency and time-scale methods are studied for their ability of detecting myoclonic seizures from accelerometric data. Methods that are used are: the short-time Fourier...
Tamara M. E. Nijsen, Ronald M. Aarts, Pierre J. M....