Thursday
TOPICS
We solicit original papers on performance evaluation techniques for computer and telecommunication systems analysis. Papers on or related to the following topics are particularly welcome.
* Performance-oriented design and analysis methods
* Formal modelling paradigms:
- stochastic process algebra
- stochastic Petri nets
- stochastic automata networks
- Markov chains
- queueing theory ...
* Solution and simplification techniques for Markov processes
* Model checking and validation
* Simulation techniques and experimental design
* Performance tools
* Performance case studies:
- communication networks
- mobile and wireless networks
- software systems
- distributed systems
- system architectures
- grid computing ...
DATES
Submission deadline: 22 February 2006
Author notification: 10 April 2006
Camera-ready copy: 25 April 2006
Workshop: 21-22 June 2006