2006 search results - page 223 / 402 » Heuristic Security-Testing Methods |
186
click to vote
SG
2010
Springer
15 years 11 months ago
2010
Springer
While many visualization tools exist that offer sophisticated functions for charting complex data, they still expect users to possess a high degree of expertise in wielding the to...
159
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
An incremental simulation-based approach to fault diagnosis and logic debugging is presented. During each iteration of the algorithm, a single suspicious location is identified a...
149
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper, we prove that a discrete-time switched linear system is exponentially stabilizable if and only if there exists a stationary hybrid-control law that consists of a...
143
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— A broad class of problems in circuits, electromagnetics, and optics can be expressed as finding some parameters of a linear system with a specific type. This paper is...
168
click to vote
AIIA
2009
Springer
15 years 10 months ago
2009
Springer
In this paper a planning framework based on Ant Colony Optimization techniques is presented. Optimal planning is a very hard computational problem which has been coped with differe...