4743 search results - page 591 / 949 » Introduction to Functional Programming |
176
click to vote
TCC
2010
Springer
16 years 1 months ago
2010
Springer
A number of works have investigated using tamper-proof hardware tokens as tools to achieve a variety of cryptographic tasks. In particular, Goldreich and Ostrovsky considered the ...
228
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
185
click to vote
CCS
2007
ACM
16 years 28 days ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
165
click to vote
HASKELL
2006
ACM
16 years 21 days ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
179
click to vote
PODS
1994
ACM
15 years 10 months ago
1994
ACM
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion spe...