891 search results - page 13 / 179 » Full Abstraction for PCF |
103
Voted
FSE
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. HAVAL is a cryptographic hash function with variable digest size proposed by Zheng, Pieprzyk and Seberry in 1992. It has three variants, 3-, 4-, and 5-pass HAVAL. Previou...
115
Voted
EVOW
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Lexical variance in biomedical texts poses a challenge to automatic protein relation mining. We therefore propose a new approach that relies only on more general language...
117
click to vote
IJISEC
2006
15 years 1 months ago
2006
Abstract Privacy has become a factor of increasing importance in auction design. We propose general techniques for cryptographic first-price and (M + 1)st-price auction protocols t...
122
Voted
ASPLOS
2008
ACM
15 years 3 months ago
2008
ACM
It is not uncommon for modern systems to be composed of a variety of interacting services, running across multiple machines in such a way that most developers do not really unders...
108
click to vote
DLOG
2010
14 years 12 months ago
2010
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...