386 search results - page 11 / 78 » Signature Verification Using Static and Dynamic Features |
POPL
2005
ACM
14 years 9 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
ICSE
2004
IEEE-ACM
14 years 9 months ago
2004
IEEE-ACM
To facilitate software maintenance and evolution, a helpful step is to locate features concerned in a particular maintenance task. In the literature, both dynamic and interactive ...
CCR
2004
13 years 8 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
ISCAS
2005
IEEE
14 years 2 months ago
2005
IEEE
—The pervasive distribution of digital images triggers an emergent need of authenticating degraded images by lossy compression and transmission. This paper proposes a robust cont...