5255 search results - page 164 / 1051 » Formal Methods for Privacy |
143
click to vote
CHI
2010
ACM
15 years 8 months ago
2010
ACM
Photo tagging is a popular feature of many social network sites that allows users to annotate uploaded images with those who are in them, explicitly linking the photo to each pers...
147
click to vote
MEMOCODE
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
123
Voted
CHI
2010
ACM
15 years 10 months ago
2010
ACM
Default privacy policies have a significant impact on the overall dynamics and success of online social networks, as users tend to keep their initial privacy policies. In this wor...
118
Voted
ICDE
2006
IEEE
15 years 9 months ago
2006
IEEE
Data mining has been a popular research area for more than a decade due to its vast spectrum of applications. The power of data mining tools to extract hidden information that can...
120
Voted
PVLDB
2010
15 years 2 months ago
2010
The tremendous growth of the Internet has significantly reduced the cost of obtaining and sharing information about individuals, raising many concerns about user privacy. Spatial...