1760 search results - page 143 / 352 » Program Analysis Using Weighted Pushdown Systems |
116
click to vote
LOPSTR
2004
Springer
15 years 6 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
113
click to vote
ICDAR
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper proposes a new method for document transformation using OCR to generate various XML documents from printed documents. The proposed method adopts a hierarchical transfor...
108
Voted
ISW
2007
Springer
15 years 6 months ago
2007
Springer
Malware analysis is the process of determining the behavior and purpose of a given malware sample (such as a virus, worm, or Trojan horse). This process is a necessary step to be a...
114
Voted
MICRO
2008
IEEE
15 years 7 months ago
2008
IEEE
Heavyweight security analysis systems, such as taint analysis and dynamic type checking, are powerful technologies used to detect security vulnerabilities and software bugs. Tradi...
115
click to vote
WSC
1994
15 years 2 months ago
1994
Stroboscope is a programming language designed for the simulation of processes common to construction engineering. These processes are very complex and involve many different type...