Webmastering: Alessandro Erta
Tuesday, September 5, 2006 4:23 PM

SMCtools

Tools for solving Structured Markov Chains

Workshop organized within the VALUETOOLS 2006 Conference.
Jointly sponsored by Create-Net, EuroNGI and the
International Communication Sciences and Technology Association (ICST).
In technical cooperation with: the IEEE Computer Society (*).


Pisa, Italy / October 10, 2006

The workshop will be held at the CNR research area, via G. Moruzzi 1, Pisa. Information on how to get there, as well as information on accomodation, can be found at http://www.valuetools.org/


 

Workshop Scope

Performance evaluation methodologies based on structured Markov chains have taken a more prominent role over the last two decades. During this time, due to the strong exploitation of the involved structures, the techniques used to assess the performance measures of interest have advanced significantly in terms of their efficiency, while becoming more complex at the same time. This increased complexity often acts as an opposing force to a more wide spread use of these advanced methodologies.
Making these novel techniques more accessible via a set of software tools is therefore essential to further promote their integration in the system design.

Important dates

Paper Submission Deadline: May 20, 2006
May 27, 2006
Notification of Acceptance: June 20, 2006
Camera Ready Papers Due: July 10, 2006

Publication

The proceedings will be published by ACM and will be available through ACM Digital Library.

EuroNGI support

An internal meeting of EuroNGI WP.JRA.5.5 will be scheduled one day prior to the workshop (on Monday October 9th). Any EuroNGI Members who participate to this WP.JRA.5.5 meeting can use the EuroNGI Mobility budget (WP.IA.5.1) allocated to their Institution. The EuroNGI meeting will be held in Aula Faedo, Dipartimento di Matematica "Leonida Tonelli", Largo B. Pontecorvo 5 (former Via Buonarroti 2), Pisa