9687 search results - page 1616 / 1938 » On Natural Mobility Models |
158
click to vote
ISW
2004
Springer
16 years 4 days 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...
201
click to vote
MIR
2010
ACM
16 years 3 days ago
2010
ACM
In developing automated systems to recognize the emotional content of music, we are faced with a problem spanning two disparate domains: the space of human emotions and the acoust...
175
click to vote
ASIAN
2003
Springer
16 years 19 hour ago
2003
Springer
Abstract. The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony i...
212
click to vote
ATAL
2003
Springer
16 years 18 hour ago
2003
Springer
The effectiveness of simulation-based training for individual tasks – such as piloting skills – is well established, but its use for team training raises challenging technical...
177
click to vote
ESWS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. With increasing usage of Social Networks, giving users the possibility to establish access restrictions on their data and resources becomes more and more important. Howev...