5159 search results - page 451 / 1032 » Structural Testing of Executables |
223
click to vote
SAT
2009
Springer
16 years 2 months ago
2009
Springer
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
226
click to vote
SP
2008
IEEE
16 years 2 months ago
2008
IEEE
Attacks often exploit memory errors to gain control over the execution of vulnerable programs. These attacks remain a serious problem despite previous research on techniques to pr...
190
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Two or more components (e.g., objects, modules, or programs) interoperate when they exchange data, such as XML data. Using Application Programming Interface (API) calls exported b...
203
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— A system is detailed here for using imitation learning to teach a robot to grasp objects using both hand and wholebody grasps, which use the arms and torso as well as h...
223
click to vote
ICPADS
2005
IEEE
16 years 1 months ago
2005
IEEE
This work presents a new comparison-based diagnosis model and a new algorithm, called Hi-Dif, based on this model. The algorithm is used for checking the integrity of systems with...