2957 search results - page 383 / 592 » Code analysis and CS-XML |
145
click to vote
DIALM
2004
ACM
15 years 10 months ago
2004
ACM
In this paper, we consider energy-efficient gathering of correlated data in sensor networks. We focus on single-input coding strategies in order to aggregate correlated data. For ...
119
click to vote
ICICS
2004
Springer
15 years 10 months ago
2004
Springer
We present a scheme to steganographically embed information in x86 program binaries. We define sets of functionally-equivalent instructions, and use a key-derived selection proces...
134
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
147
click to vote
VIZSEC
2004
Springer
15 years 10 months ago
2004
Springer
This paper concentrates on visualizing computer viruses without using virus specific signature information as a prior stage of the very important problem of detecting computer vi...
144
click to vote
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...