Sciweavers

4386 search results - page 654 / 878
» A Tamper-Resistant Programming Language System
Sort
View
114
Voted
ICALP
2007
Springer
15 years 9 months ago
A "proof-reading" of Some Issues in Cryptography
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 ...
Ivan Damgård
135
Voted
ICALP
2007
Springer
15 years 9 months ago
Commitment Under Uncertainty: Two-Stage Stochastic Matching Problems
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...
Irit Katriel, Claire Kenyon-Mathieu, Eli Upfal
117
Voted
UM
2007
Springer
15 years 9 months ago
Cross-Domain Mediation in Collaborative Filtering
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 ...
Shlomo Berkovsky, Tsvi Kuflik, Francesco Ricci
125
Voted
ERLANG
2006
ACM
15 years 9 months ago
Concurrent caching
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...
Jay Nelson
129
Voted
ICECCS
2005
IEEE
91views Hardware» more  ICECCS 2005»
15 years 9 months ago
Extending SOFL Features for AOP Modeling
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...
Yao Shen, Haopeng Chen