7047 search results - page 105 / 1410 » Focusing on Binding and Computation |
141
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Abstract—Using the Tile Assembly Model proposed by Rothemund and Winfree, we give two lower bounds on the minimum number of tile types needed to uniquely assemble a shape at temp...
164
click to vote
ICPR
2008
IEEE
16 years 23 days 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...
225
click to vote
ACL2
2006
ACM
16 years 9 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 ...
180
click to vote
SAC
2006
ACM
16 years 8 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...
180
click to vote
IEEESCC
2005
IEEE
15 years 12 months 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...