posted by user: wimmer || 5139 views || tracked by 9 users: [display]

MMB+DFT 2012 : 16th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems” and “Dependability and Fault-Tolerance”

FacebookTwitterLinkedInGoogle

Link: http://www.mmb2012.de/
 
When Mar 19, 2012 - Mar 21, 2012
Where Kaiserslautern, Germany
Submission Deadline Oct 14, 2011
Notification Due Dec 2, 2011
Final Version Due Dec 16, 2011
Categories    verification   formal methods   performance
 

Call For Papers

Call for Papers - MMB&DFT


16th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems” and “Dependability and Fault-Tolerance” (MMB & DFT 2012)

March 19 - 21, 2012 in Kaiserslautern (Germany)

Organized by GI/ITG Technical Committees on “Measurement, Modelling and Evaluation of Computing Systems (MMB)” and “Dependability and Fault-Tolerance (DFT)”

Conference Homepage: www.mmb2012.de

The technical committees MMB and DFT are the main fora in Germany covering all aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, software, fault-tolerant and secure systems. In 2012, both committees join forces again in a common conference. MMB & DFT 2012 will comprise besides its scientific main programme tutorials from academic and industrial experts; invited talks, tool presentations as well as workshops focusing on special themes. The conference language is English.



TOPICS OF INTEREST

Methods

Quantitative evaluation techniques related to performance, dependability, security, survivability, real-time constraints, cost, energy-efficiency and combined aspects like, for instance, performance-security tradeoffs
Fault-tolerant system and network design, dependable computing, redundancy techniques, fault modelling, fault injection
Testing, measuring, benchmarking and monitoring of systems and networks
Queueing systems, stochastic Petri nets, stochastic process algebras, Markov chains, non-Markovian models, fluid models, network calculus / real-time calculus
Simulation techniques including rare events, parallel and distributed simulation
Combination of stochastic modelling and formal methods, e.g., stochastic extensions of the UML
Model checking in model-driven software development
Network economics, accounting, tariffing


Applications

Computer and software architectures, organic computing architectures, pervasive and ubiquitous computing, adaptive and self-organizing systems, embedded systems
Fault-tolerant systems and networks, safety-oriented and security-oriented architectures, redundancy techniques
Communication networks including access and backbone networks, optical networks, high-speed switching, peer-to-peer networks, overlay networks, sensor networks and sensor systems, car communication, mobile and wireless networks, web-based systems, multimedia systems, traffic engineering, network planning and optimization
Green IT
Workflow and logistic systems, traffic and transportation systems


Tools and Case Studies



CONTRIBUTION FORMAT

Full conference papers

Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be thoroughly reviewed by at least three referees on the basis of their originality and their scientific and practical contribution to the state-of-the-art. Papers must be written in English and must not exceed 15 pages (LNCS style). The proceedings will be published in the Springer LNCS series. A best paper award will be provided.

Practical experience reports

Besides full papers practical experience reports are also solicited. Reports should not exceed 8 pages (LNCS style). Accepted practicalexperience reports are published separately in a technical report.

Tool descriptions

Special sessions will be arranged to present and demonstrate tools relevant to any topic covered by the Call for Papers. Accepted tool descriptions (up to four pages) will appear in the proceedings.

Tutorial proposals

Please send tutorial proposals to the conference chair.



IMPORTANT DATES
Paper Submission October 4, 2011
Tools & Tutorial Submission November 7, 2011
Author Notification December 2, 2011
Final version December 16, 2011
Conference March 19-21, 2012

Related Resources

CCVPR 2024   2024 International Joint Conference on Computer Vision and Pattern Recognition (CCVPR 2024)
FM 2024   Formal Methods
LREC-COLING 2024   The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation
SIGMETRICS / Performance 2024   2024 ACM SIGMETRICS / IFIP Performance
ICBICC 2024   2024 International Conference on Big Data, IoT, and Cloud Computing (ICBICC 2024)
ICFEM 2024   International Conference on Formal Engineering Methods
CCBDIOT 2024   2024 3rd International Conference on Computing, Big Data and Internet of Things (CCBDIOT 2024)
SIGMETRICS / Performance 2024   2024 ACM SIGMETRICS / IFIP Performance
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
ISCMI 2024   2024 11th International Conference on Soft Computing & Machine Intelligence (ISCMI 2024)