1897 search results - page 77 / 380 » eg 2007 |
126
Voted
WSC
2007
15 years 5 months ago
2007
Assessing tram schedules is important to assure an efficient use of infrastructure and for the provision of a good quality service. Most existing infrastructure modeling tools pr...
114
Voted
FSTTCS
2007
Springer
15 years 9 months ago
2007
Springer
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...
120
Voted
UM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Recommender systems produce social networks as a side effect of predicting what users will like. However, the potential for these social networks to aid in recommending i...
108
Voted
ENTCS
2007
15 years 3 months ago
2007
The work of Abadi and Fournet introduces the notion of a frame to describe the knowledge of the environment of a cryptographic protocol. Frames are lists of terms; two frames are ...
119
Voted
PERVASIVE
2007
Springer
15 years 3 months ago
2007
Springer
Mobile social software is currently designed and conceived to afford serendipitous social interactions in densely populated urban environments. In this paper, I argue that these s...