2006 search results - page 247 / 402 » Heuristic Security-Testing Methods |
73
Voted
ICCAD
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper presents an in-depth study of the theory and algorithms for the SPFD-based (Set of Pairs of Functions to be Distinguished) rewiring, and explores the flexibility in the...
102
Voted
IUI
2009
ACM
15 years 10 months ago
2009
ACM
The small physical size of mobile devices imposes dramatic restrictions on the user interface (UI). With the ever increasing capacity of these devices as well as access to large o...
FMCAD
2009
Springer
15 years 7 months ago
2009
Springer
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...
92
Voted
SIGECOM
2009
ACM
15 years 7 months ago
2009
ACM
Policy teaching considers a Markov Decision Process setting in which an interested party aims to influence an agent’s decisions by providing limited incentives. In this paper, ...
117
Voted
CIBCB
2008
IEEE
15 years 7 months ago
2008
IEEE
— The genetic causes of many monogenic diseases have already been discovered. However, most common diseases are actually the result of complex nonlinear interactions between mult...