1489 search results - page 148 / 298 » The First Bug Report |
127
click to vote
IJNSEC
2008
15 years 4 months ago
2008
The notion of strong designated verifier signature was put forth by Jakobsson, Sako and Impagliazzo in 1996, but the formal definition was defined recently by Saeednia, Kremer and...
141
click to vote
PR
2008
15 years 4 months ago
2008
This paper reports a document retrieval technique that retrieves machine-printed Latin-based document images through word shape coding. Adopting the idea of image annotation, a wo...
149
click to vote
TCAD
2008
15 years 4 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
143
click to vote
CLEIEJ
2000
15 years 4 months ago
2000
Software configuration management is one of the first requirements to achieve quality in the software process. However, these activities are very difficult to be introduced, mainl...
122
click to vote
ACSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...