|
|
|
|
 |
 |
| |
|
IEEE Transactions: Special Issue on Software Engineering
|
| Medium of Publication |
Full Text |
| Language of Publication |
English |
| Likely Publishing Date |
Late 2008 issue
|
| Publisher Name |
IEEE Transactions |
| Important Dates |
| Last Date for Submission of Abstracts |
January 12, 2008 |
| Last Date of Submission of Manuscripts |
January 19, 2008 |
| Call for Paper Details |
| Scope |
'Quantitative Evaluation of Computer Systems'
Software systems are expected to meet a multitude of quantitative constraints, such as timely response, performability, and energy efficiency. Quantitative evaluation of systems refers to a set of techniques that can be applied to analyze such systems and obtain a range of quantitative characteristics of their performance—for example, the probability of delivering a message by a given time, or the minimum battery usage for a dynamic power management policy over a period of time.
The aim of this special issue is to publish novel research work that contributes to the development of methodologies, techniques, and tools for quantitative evaluation of software systems. Its scope covers the theoretical foundations, models and modeling languages, specification and design notations, analysis methods, simulation, verification and runtime monitoring algorithms, numerical techniques, software tools, and case studies. |
| Topics |
Schedulability analysis techniques
Formal specification and verification of probabilistic systems
Concurrency theory for probabilistic systems
Analysis of randomized algorithms
Model-checking algorithms
Optimization techniques
Probabilistic decision-making, and planning
Hybrid and hierarchical modeling and evaluation techniques
Stochastic and timed Petri nets
Stochastic and timed process algebras
Stochastic and timed automata
Queuing networks
Markov chains
Non-Markovian models and algorithms
Numerical and analytical solution techniques
Efficient simulation techniques
Quantitative extensions of UML
Measurement and benchmarking. |
| Submission Guidelines |
| Abstracts should be e-mailed to the guest editors. |
| Contact Address |
Contact Address |
Marta Kwiatkowska (Guest Co-Editor)
University of Birmingham
Email: mzk@comlab.ox.ac.uk |
Miklos Telek (Guest Co-Editor)
Budapest University of Technology and Economy
Email: telek@hit.bme.hu |
| Additional Information |
Other Important Dates:
First round of reviews completed by - 19 March 2008
Major revisions due by - 19 May 2008
Second round of reviews completed by - 19 June 2008
Minor revisions due by - 3 July 2008
Final acceptances given to authors by - 10 July 2008
Publication materials due by - 24 July 2008
Guest Co-Editor:
Jane Hillston
Edinburgh University
Email: jeh@inf.ed.ac.uk |
|
|
 |
 |
|
|
