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

[PVS] [qest-announce] ASMTA 2010: Call for Papers



			   CALL FOR PAPERS

 17th International Conference on Analytical and Stochastic Modelling
	       Techniques and Applications (ASMTA 2010)

		       Cardiff, 14-16 June 2010
 
http://www.comp.glam.ac.uk/asmta2010/

OVERVIEW
Methods of analytical and stochastic modelling are widely used in
engineering to assess and design technical and information systems,
like computer and communication networks, software systems, and
distributed systems. The ASMTA conference is a main forum for
advancing these techniques and their applications and aims to bring
together researchers of academia and industry to discuss the latest
developments in analytical, numerical and simulation algorithms for
stochastic systems, like real-time UML, (non-)Markovian processes,
queueing networks, stochastic Petri nets, process algebras, etc. The
conference is co-sponsored by the IEEE UK-RI Computer Chapter and ECMS
(The European Council for Modelling and Simulation).

ASMTA proceedings have been indexed by ISI - Thompson's Web of
Science since 2004. The proceedings of ASMTA 2010 will be published in
the Springer Verlag Lecture Notes in Computer Science (LNCS) series
(TbC).

SCOPE & TOPICS
ASMTA 2010 solicits original contributions that include, but are not
limited to, the following aspects of stochastic modelling:

    * TECHNIQUES AND ALGORITHMS:
          o Stochastic Models, Markov Models
          o Stochastic Petri Net Models
          o Queueing Systems and Networks
          o Neural Networks
          o Reliability and Maintenance Models
          o Stochastic Optimal Control and Optimization
          o Performance Modelling
          o Stochastic Process Algebra
          o Stochastic Precedence Graphs
          o Stochastic Simulation
          o Computing-Intensive Statistical Methods
          o Statistical Analysis and Inference
          o Analytical and Numerical Simulation

    * PERFORMANCE ANALYSIS TOOLS:
          o Modelling and Specification Languages and Tools
          o Graphical And Textual Modelling Tools
          o Analytical Solvers, Graphical Presentation Tools
   
 * APPLICATION AND EVALUATION STUDIES:
          o Computer Systems and Information Networks
          o Workflow Management Systems
          o Communication Systems and Networks (LANs and Distributed Systems, Routers, Switches, High Speed Networks)
          o Wireless and Mobile Systems and Networks (WLAN, 2G-3G-4G)
          o Ad hoc Networking and Home Networking
          o Peer-to-Peer Applications and Services
          o Embedded Systems and Sensor Networks
          o Workload Modelling and Characterization
          o Operating Systems
          o Client-Server Systems
          o Multimedia Systems
          o Measurements and Hybrid Techniques
          o Software Performance
          o Software Reliability
          o Modelling of Virtualisation
          o Power/Performance Modelling
          o Survivability modelling

PAPER SUBMISSION
Full papers reporting original and unpublished research results on
ASMTA topics are solicited. Submissions should not be under
consideration for publication elsewhere while being evaluated for this
conference.

FORMATTING
The proceedings will be published in the Springer Verlag Lecture Notes
in Computer Science (LNCS) series. Submissions may already be prepared
in LNCS format and must not exceed 15 pages, including figures, tables
and references. The cover page should contain title, author names,
affiliations, fax and phone numbers and email addresses. Please
indicate clearly the corresponding author. Include up to five keywords
from the above list and an abstract of no more than 300 words.

HOW TO SUBMIT
The paper submission for ASMTA 2010 will only be accepted through the
EDAS Paper Submission System accessible from the link on the
website. Only papers in PDF format will be accepted for
reviewing. Submissions sent as e-mail attachments will not be accepted.

REVIEWING
Consistent with standard practice, each submitted paper will receive
rigorous peer reviewing. Papers will be selected based on their
originality, timeliness, significance, relevance, and clarity of
presentation. Selection will be based on full papers.

Submission implies the willingness of at least one of the authors to
register and present the paper, if accepted. All accepted papers in
the conference are expected to be presented and will be included in
the conference proceedings.

CAMERA READY MANUSCRIPT
Accepted papers will need to be formatted according in LNCS format
(see publication guidelines on the conference website). Camera ready
papers must be submitted using the EDAS Conference Management
System. Only PDF files will be accepted.

BEST PAPER AWARD
The ASMTA 2010 Committee will select the best paper of the conference
for which a certificate will be presented at the end of the
conference.

IMPORTANT DATES 
Full paper submissions				 8 February 2010
Acceptance notification 			20 March 2010
Final paper plus registration and payment	31 March 2010
Conference  	 	      	  		14-16 June 2010

CONFERENCE CHAIR
Khalid Al-Begain, University of Glamorgan, UK

PROGRAMME CO-CHAIRS
Dieter Fiems, Ghent University, Belgium
William Knottenbelt, Imperial College London, UK

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