4609 search results - page 161 / 922 » Automatic Generation of Sigma-Protocols |
160
click to vote
SCAM
2008
IEEE
16 years 24 days ago
2008
IEEE
Data-flow analysis is a common technique to gather program information for use in transformations such as register allocation, dead-code elimination, common subexpression elimina...
197
click to vote
ACMSE
2006
ACM
16 years 12 days ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...
157
click to vote
SG
2010
Springer
15 years 11 months ago
2010
Springer
Hand-drawn pictures differ from ordinary perspective images in that the entire scene is composed of local feature regions each of which is projected individually as seen from its ...
155
click to vote
SOSP
2009
ACM
16 years 3 months ago
2009
ACM
Faulty device drivers cause significant damage through down time and data loss. The problem can be mitigated by an improved driver development process that guarantees correctness...
206
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
Malware authors have recently begun using emulation technology to obfuscate their code. They convert native malware binaries into bytecode programs written in a randomly generated...