DocumentCode :
3280217
Title :
Proceedings. Second International Conference on the Quantitative Evaluation of Systems
fYear :
2005
fDate :
19-22 Sept. 2005
Abstract :
The following topics are dealt with: quantitative evaluation of systems; Petri nets and process algebras; bisimulation and approximations; workload characterization/measurements; performability; Markovian models; model checking; architecture measurements/modeling; Markov chains/importance sampling; and tool presentations.
Keywords :
Markov processes; Petri nets; bisimulation equivalence; importance sampling; performance evaluation; process algebra; Markov chain; Markovian model; Petri net; approximation; architecture measurement; architecture modeling; bisimulation; importance sampling; model checking; process algebra; quantitative system evaluation; tool presentation; workload characterization; workload measurement;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Quantitative Evaluation of Systems, 2005. Second International Conference on the
Conference_Location :
Torino
Print_ISBN :
0-7695-2427-3
Type :
conf
DOI :
10.1109/QEST.2005.36
Filename :
1595768
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3280217
بازگشت