Abstract :
The following topics are dealt with: multihop adhoc network; wireless sensor network; model checking; Markov decision process; probabilistic system; stochastic process algebra tool; discrete time Markov chain; UML sequence diagram; large scale interacting system and embedded Java processor.
Keywords :
Java; Markov processes; Unified Modeling Language; ad hoc networks; embedded systems; process algebra; wireless sensor networks; Markov decision process; UML sequence diagram; discrete time Markov chain; embedded Java processor; large scale interacting system; model checking; multihop adhoc network; probabilistic system; stochastic process algebra tool; wireless sensor network;
Conference_Titel :
Quantitative Evaluation of Systems, 2008. QEST '08. Fifth International Conference on
Conference_Location :
St. Malo
Print_ISBN :
978-0-7695-3360-5
DOI :
10.1109/QEST.2008.1
