550 search results - page 70 / 110 » A lightweight approach to state based security testing |
DFT
2007
IEEE
15 years 4 months ago
2007
IEEE
The paper discusses a novel approach for reduction of fault detection latency in a selfchecking sequential circuit. The Authors propose decomposing the finite state machine (FSM) ...
88
Voted
DAGSTUHL
2003
14 years 11 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
EUROSYS
2009
ACM
15 years 6 months ago
2009
ACM
Memory bugs in C/C++ programs severely affect system availability and security. This paper presents First-Aid, a lightweight runtime system that survives software failures caused ...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
This paper presents a method for improving any object tracking algorithm based on machine learning. During the training phase, important trajectory features are extracted which are...
WACV
2007
IEEE
15 years 4 months ago
2007
IEEE
With the pervasive use of handheld digital devices such as camera phones and PDAs, people have started to capture images as a way of recording information. However, due to the non...