4722 search results - page 300 / 945 » Encoding Program Executions |
179
click to vote
KI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
239
click to vote
Publication
MetaML is a statically typed functional programming language with special support for program generation. In addition to providing the standard features of contemporary programming...
176
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
We present Arithmetic Program Paths, a novel, efficient way to compress program control-flow traces that reduces program bit traces to less than a fifth of their original size whi...
155
Voted
IEEEARES
2010
IEEE
16 years 1 months ago
2010
IEEE
—Program obfuscation is often employed by malware in order to avoid detection by anti-virus software, but it has many other legitimate uses, such as copy protection, software lic...
157
click to vote
HASE
2007
IEEE
16 years 1 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...