3 search results - page 1 / 1 » Simulation-Based Testing and Evaluation Tools for Transporta... |
QEST
2009
IEEE
13 years 11 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...
ENTER
2009
Springer
13 years 11 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...
MOBICOM
2005
ACM
13 years 10 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...