3 search results - page 1 / 1 » Simulation-Based Testing and Evaluation Tools for Transporta... |
124
click to vote
QEST
2009
IEEE
15 years 9 months ago
2009
IEEE
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...
119
click to vote
ENTER
2009
Springer
15 years 9 months ago
2009
Springer
Mobile devices are becoming an inseparable part of our lives and personalized location-based mobile services are gaining more and more popularity. The scope of this paper is to il...
165
click to vote
MOBICOM
2005
ACM
15 years 8 months ago
2005
ACM
Vehicles equipped with wireless communication devices are poised to deliver vital services in the form of safety alerts, traffic congestion probing and on-road commercial applicat...