9067 search results - page 1781 / 1814 » Adaptive Model Checking |
121
click to vote
PET
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. As the popularity of social networks expands, the information users expose to the public has potentially dangerous implications for individual privacy. While social netwo...
132
click to vote
CSFW
2009
IEEE
15 years 6 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...
134
click to vote
ACMIDC
2009
15 years 6 months ago
2009
Informal educational experiences with grandparents and other older adults can be an important component of childrens education, especially in circumstances where high quality educ...
116
Voted
EXPCS
2007
15 years 6 months ago
2007
Experimental computer systems research typically ignores the end-user, modeling him, if at all, in overly simple ways. We argue that this (1) results in inadequate performance eva...
132
click to vote
SIGIR
2010
ACM
15 years 6 months ago
2010
ACM
How does the web search behavior of “rich” and “poor” people differ? Do men and women tend to click on different results for the same query? What are some queries almost...