5255 search results - page 116 / 1051 » Formal Methods for Privacy |
127
Voted
CCS
2010
ACM
15 years 5 months ago
2010
ACM
Recommender systems are used to predict user preferences for products or services. In order to seek better prediction techniques, data owners of recommender systems such as Netfli...
237
click to vote
PVLDB
2011
14 years 9 months ago
2011
With the recent surge of social networks such as Facebook, new forms of recommendations have become possible – recommendations that rely on one’s social connections in order t...
77
Voted
FMCAD
2009
Springer
15 years 9 months ago
2009
Springer
116
click to vote
FM
1994
Springer
15 years 6 months ago
1994
Springer
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
129
click to vote
UM
2005
Springer
15 years 8 months ago
2005
Springer
This research aims at reconciling web personalization with privacy constraints imposed by legal restrictions and by users’ privacy preferences. We propose a software product line...