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