3378 search results - page 193 / 676 » A universe of binding and computation |
173
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Because of the randomness of biometric features, traditional methods cannot perform well in the encryption of fingerprint template. The Fuzzy Vault construct is a biometric crypt...
181
click to vote
TLCA
2007
Springer
16 years 20 days ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
230
click to vote
ACL2
2006
ACM
16 years 17 days ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
188
click to vote
SAC
2006
ACM
16 years 16 days ago
2006
ACM
Parameterization is an effective technique for building flexible, reusable software. When dealing with parameterized components, an important concern is the time at which parame...
192
click to vote
IEEESCC
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper presents Abacus, a service-oriented programming language designed for the development of grid applications. Abacus considers that all the grid resources constitute a un...