251 search results - page 48 / 51 » A Formal Approach to Test the Robustness of Embedded Systems... |
JCB
2006
13 years 6 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
SP
2006
IEEE
14 years 21 days ago
2006
IEEE
In this paper we explore the problem of creating vulnerability signatures. A vulnerability signature matches all exploits of a given vulnerability, even polymorphic or metamorphic...
ICCV
2001
IEEE
14 years 8 months ago
2001
IEEE
This paper presents a new visual servoing scheme which is invariant to changes in camera intrinsic parameters. Current visual servoing techniques are based on the learning of a ref...
DAC
2002
ACM
14 years 7 months ago
2002
ACM
Previous work on DRAM power-mode management focused on hardware-based techniques and compiler-directed schemes to explicitly transition unused memory modules to low-power operatin...
PAA
2008
13 years 6 months ago
2008
Abstract This paper focuses on human behavior recognition where the main problem is to bridge the semantic gap between the analogue observations of the real world and the symbolic ...