4702 search results - page 66 / 941 » How to Copyright a Function |
107
Voted
IFL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
121
Voted
EUROCRYPT
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. This paper compares the parameters sizes and software performance of several recent constructions for universal hash functions: bucket hashing, polynomial hashing, Toepli...
117
Voted
EUROCRYPT
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We study the problem of partial key exposure. Standard cryptographic definitions and constructions do not guarantee any security even if a tiny fraction of the secret key...
101
click to vote
AFP
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. These notes discuss the simultaneous use of generalised fold operators and monads to structure functional programs. Generalised fold operators structure programs after th...
115
Voted
ETFA
2008
IEEE
15 years 2 months ago
2008
IEEE
In this paper we discuss the separation between attributes on functionality and on structure following an approach based on Model Driven Engineering (MDE). We adopt a methodologic...