5188 search results - page 886 / 1038 » Information Flow in Interactive Systems |
200
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
142
click to vote
HT
2010
ACM
15 years 11 months ago
2010
ACM
The rise of social interactions on the Web requires developing new methods of information organization and discovery. To that end, we propose a generative community-based probabil...
158
click to vote
CHI
2009
ACM
15 years 11 months ago
2009
ACM
This paper studies people recommendations designed to help users find known, offline contacts and discover new friends on social networking sites. We evaluated four recommender al...
187
click to vote
ITCC
2000
IEEE
15 years 11 months ago
2000
IEEE
As the result of interactions between visitors and a web site, an http log file contains very rich knowledge about users on-site behaviors, which, if fully exploited, can better c...
171
click to vote
ITICSE
2010
ACM
15 years 11 months ago
2010
ACM
Teaching pupils the ideas behind objects in programming languages can be difficult since these concepts are mostly and not comprehensible at first sight. Etoys as a visual progra...