3742 search results - page 492 / 749 » On the Use of Formal Techniques for Validation |
254
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
The networking and distributed systems communities have recently explored a variety of new network architectures, both for applicationlevel overlay networks, and as prototypes for...
169
click to vote
SP
2006
IEEE
16 years 19 days ago
2006
IEEE
In this paper we explore the problem of creating vulnerability signatures. A vulnerability signature matches all exploits of a given vulnerability, even polymorphic or metamorphic...
181
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
142
click to vote
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
Digital Watermarking is a labeling technique for digital images which embeds a code into the digital data so the data is marked. Watermarking techniques previously developed deal ...
138
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. The extraction of quantitative information through Intravascular Ultrasound (IVUS) images is a very important goal for the diagnostic and the therapy in atherosclerotic v...