8499 search results - page 158 / 1700 » cans 2009 |
161
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Authenticated dictionaries allow users to send lookup requests to an untrusted server and get authenticated answers. Persistent authenticated dictionaries (PADs) add queries agains...
146
click to vote
IEEEARES
2009
IEEE
16 years 1 months ago
2009
IEEE
Within the field of software security we have yet to find efficient ways on how to learn from past mistakes and integrate security as a natural part of software development. Th...
184
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...
148
click to vote
CCGRID
2009
IEEE
16 years 1 months ago
2009
IEEE
A common technique for result verification in grid computing is to delegate a computation redundantly to different workers and apply majority voting to the returned results. Howe...
162
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
† There is a significant need for a realistic dataset on which to evaluate layout analysis methods and examine their performance in detail. This paper presents a new dataset (and...