3328 search results - page 212 / 666 » On Plateaued Functions and Their Constructions |
213
click to vote
FSTTCS
2005
Springer
16 years 3 days ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
202
click to vote
FSE
2004
Springer
15 years 12 months ago
2004
Springer
Symmetric encryption schemes are usually formalized so as to make the encryption operation a probabilistic or state-dependent function E of the message M and the key K: the user su...
195
click to vote
CGO
2003
IEEE
15 years 12 months ago
2003
IEEE
Given the high cost of producing software, development of technology for prevention of software piracy is important for the software industry. In this paper we present a novel app...
164
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
The goal of research in programming languages should be to develop languages that integrates the best of concepts and constructs from the various programming paradigms. We do not a...
172
click to vote
AIPS
2007
15 years 9 months ago
2007
We introduce the Linear Resource Temporal Network (LRTN), which consists of activities that consume or produce a resource, subject to absolute and relative metric temporal constra...