9359 search results - page 1496 / 1872 » Generalization Algorithms for Second-Order Terms |
215
click to vote
VEE
2006
ACM
16 years 22 days ago
2006
ACM
One of the most common forms of security attacks involves exploiting a vulnerability to inject malicious code into an executing application and then cause the injected code to be ...
222
click to vote
VEE
2006
ACM
16 years 22 days ago
2006
ACM
Software Dynamic Translation (SDT) systems have been used for program instrumentation, dynamic optimization, security policy enforcement, intrusion detection, and many other uses....
169
click to vote
CODES
2005
IEEE
16 years 12 days ago
2005
IEEE
Design of programmable processors and embedded applications requires instruction-set simulators for early exploration and validation of candidate architectures. Interpretive simul...
178
click to vote
MIR
2005
ACM
16 years 10 days ago
2005
ACM
Learning semantics from annotated images to enhance content-based retrieval is an important research direction. In this paper, annotation data are assumed available for only a sub...
170
click to vote
PLDI
2005
ACM
16 years 10 days ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...