1478 search results - page 240 / 296 » Modeling user activities in a large IPTV system |
106
Voted
ISW
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
127
click to vote
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
Social recommendation, that an individual recommends an item to another, has gained popularity and success in web applications such as online sharing and shopping services. It is l...
CHI
2006
ACM
16 years 1 months ago
2006
ACM
As graph models are applied to more widely varying fields, researchers struggle with tools for exploring and analyzing these structures. We describe GUESS, a novel system for grap...
109
click to vote
CSFW
1999
IEEE
15 years 5 months ago
1999
IEEE
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
120
click to vote
CORR
2010
Springer
14 years 8 months ago
2010
Springer
We introduce a new simulation platform called Insight, created to design and simulate cyber-attacks against large arbitrary target scenarios. Insight has surprisingly low hardware...