5255 search results - page 180 / 1051 » Formal Methods for Privacy |
123
Voted
KDD
2006
ACM
16 years 4 months ago
2006
ACM
Privacy preserving data processing has become an important topic recently because of advances in hardware technology which have lead to widespread proliferation of demographic and...
147
Voted
AIS
2006
Springer
15 years 3 months ago
2006
Springer
Today's computer network technologies are sociologically founded on hunter-gatherer principles; common users may be possible subjects of surveillance and sophisticated Interne...
134
Voted
JAIR
2010
15 years 2 months ago
2010
Online offerings such as web search, news portals, and e-commerce applications face the challenge of providing high-quality service to a large, heterogeneous user base. Recent eff...
156
Voted
PAISI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper introduces an efficient privacy-preserving protocol for distributed K-means clustering over an arbitrary partitioned data, shared among N parties. Clustering i...
118
Voted
ICFEM
2009
Springer
15 years 10 months ago
2009
Springer
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...