206 search results - page 28 / 42 » Sharing in the Weak Lambda-Calculus |
165
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Tabling or memoing is a technique where one stores intermediate answers to a problem so that they can be reused in further calls. Tabling is of interest to logic programming becau...
147
click to vote
WISE
2002
Springer
15 years 11 months ago
2002
Springer
With the flurry of research on P2P computing, many P2P technical challenges have emerged, one of which is how to efficiently locate desired resources. Advances have been made in...
147
click to vote
EUROCRYPT
2010
Springer
15 years 11 months ago
2010
Springer
We initiate a provable-security treatment of cryptographic agility. A primitive (for example PRFs, authenticated encryption schemes or digital signatures) is agile when multiple, ...
139
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
In recent years, it has become important for researchers, security incident responders and educators to share network logs, and many log anonymization tools and techniques have be...
173
click to vote
SSDBM
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract. As scientists continue to migrate their work to computational methods, it is important to track not only the steps involved in the computation but also the data consumed ...