4386 search results - page 654 / 878 » A Tamper-Resistant Programming Language System |
160
click to vote
ICALP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In this paper, we identify some issues in the interplay between practice and theory in cryptography, issues that have repeatedly appeared in different incarnations over ...
175
click to vote
ICALP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We define and study two versions of the bipartite matching problem in the framework of two-stage stochastic optimization with recourse. In one version the uncertainty is...
157
click to vote
UM
2007
Springer
16 years 21 days ago
2007
Springer
One of the main problems of collaborative filtering recommenders is the sparsity of the ratings in the users-items matrix, and its negative effect on the prediction accuracy. This ...
171
click to vote
ERLANG
2006
ACM
16 years 17 days ago
2006
ACM
A concurrent cache design is presented which allows cached data to be spread across a cluster of computers. The implementation s persistent storage from cache storage and abstract...
175
click to vote
ICECCS
2005
IEEE
16 years 6 days ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...