[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] [qest-announce] DEADLINE EXTENDED: Quantitative Models forPerformance and Dependability (QMPD)



!!! DEADLINE EXTENDED TO MAY 09 !!!

**************************************************************************
CALL FOR PAPERS

Quantitative Models for Performance and Dependability (QMPD)

Sept 1-3 2010, Munich, Germany

http://or2010.informatik.unibw-muenchen.de/topics/quantitative-models-for-performance-and-dependability

QMPD is one out of 21 topics at the
INTERNATIONAL CONFERENCE ON OPERATIONS RESEARCH 2010
www.or2010.de

**************************************************************************

SCOPE OF WORKSHOP

In many ways, our society relies on the correct and timely functioning
of large-scale distributed information and communication systems. We
therefore solicit original contributions which address the model-based
quantitative analysis of such concurrent systems, with the focus on
performance, dependability, energy-efficiency, cost-optimal operation,
vulnerability and safety. Systems of interest include parallel or
distributed computing systems, web-based systems, production systems,
logistics systems, wired or wireless communication systems,
soft-real-time systems, safety-critical systems. The considered
modelling formalisms are, among others, Markov chains, Markov Decision
processes, Stochastic Petri Nets, Stochastic Process Algebra, (layered)
queueing networks, fluid and hybrid stochastic models.

Both theoretical papers and practical case studies are called for.
Reports on new modelling approaches, solution techniques, optimization
methods, verification algorithms, data structures and tools are sought.

**************************************************************************

SUBMISSION DETAILS:

There will be an on-site book of abstracts. Post-conference proceedings
of selected extended abstracts (6 pages) will be published by Springer.
All accepted abstracts shall be presented at the conference.

**************************************************************************

IMPORTANT DATES

Abstract submission (max 1800 characters)       *May  09, 2010*

Extended Abstract submission    (6 pages)       *July 15, 2010*

Final Extended Abstracts
for post-conference proceedings (6 pages)       *Oct  15, 2010*

**************************************************************************

TOPIC MINI PROGRAM COMMITTEE:

Hans Daduna (Germany)
Susanna Donatelli (Italy)
William Knottenbelt (UK)
Markus Siegle (Germany, chair)
Katinka Wolter (Germany)

**************************************************************************



_______________________________________________
qest-announce mailing list
qest-announce@iti.uiuc.edu
http://mailman.crhc.uiuc.edu/mailman/listinfo/qest-announce