1897 search results - page 77 / 380 » eg 2007 |
WSC
2007
13 years 11 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...
FSTTCS
2007
Springer
14 years 3 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 ...
UM
2007
Springer
14 years 3 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...
ENTCS
2007
13 years 8 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 ...
PERVASIVE
2007
Springer
13 years 8 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...