9687 search results - page 1685 / 1938 » On Natural Mobility Models |
196
click to vote
TCC
2004
Springer
16 years 23 hour ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
166
click to vote
TSD
2004
Springer
16 years 23 hour ago
2004
Springer
Abstract. After the years of hesitation the conservative Slovak telecommunication market seems to become conscious of the need of voice driven services. In the last year, all the t...
174
click to vote
WEBDB
2004
Springer
16 years 21 hour ago
2004
Springer
Among the various proposals answering the shortcomings of Document Type Definitions (DTDs), XML Schema is the most widely used. Although DTDs and XML Schema Defintions (XSDs) di...
169
click to vote
ECCV
2010
Springer
16 years 20 hour ago
2010
Springer
Abstract. We present a Bayesian approach for simultaneously estimating the number of people in a crowd and their spatial locations by sampling from a posterior distribution over cr...
192
click to vote
WER
2004
Springer
16 years 17 hour ago
2004
Springer
If we are to be successful in the development of the next generation of agent oriented systems we must deal with the critical issue of requirements traceability. Failure to do so w...