Abstract :
The following topics are dealt with: system performance; queueing; semiMarkov model; Markov decision process; real time system; security analysis; quantitative semantics; reliability; measurement modeling and system modeling.
Keywords :
Markov processes; queueing theory; real-time systems; reliability; security of data; Markov decision process; measurement modeling; quantitative semantics; queueing; real time system; reliability; security analysis; semiMarkov model; system modeling; system performance;
Conference_Titel :
Quantitative Evaluation of Systems (QEST), 2012 Ninth International Conference on
Conference_Location :
London
Print_ISBN :
978-1-4673-2346-8
Electronic_ISBN :
978-0-7695-4781-7
DOI :
10.1109/QEST.2012.1
