9687 search results - page 1616 / 1938 » On Natural Mobility Models |
184
Voted
ISW
2004
Springer
16 years 28 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...
236
Voted
MIR
2010
ACM
16 years 26 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...
199
click to vote
ASIAN
2003
Springer
16 years 24 days 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...
242
click to vote
ATAL
2003
Springer
16 years 24 days 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...
203
click to vote
ESWS
2010
Springer
16 years 11 days 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...