3573 search results - page 400 / 715 » Reasoning about Codata |
142
click to vote
ICMCS
2005
IEEE
16 years 7 days ago
2005
IEEE
Large amount of images need an efficient way of retrieving them. The usual approach of manually annotating images and/or providing a syntactic retrieval capability lacks flexibi...
155
Voted
CIE
2005
Springer
16 years 5 days ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
199
click to vote
ESORICS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
165
click to vote
ICALP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
177
click to vote
CC
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in...