posted by user: wimmer || 4038 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

LREC 2020   12th Conference on Language Resources and Evaluation
CPP 2021   Certified Programs and Proofs
ISCAI 2020   2020 2nd International Symposium on Computing and Artificial Intelligence (ISCAI 2020)
RP 2020   14th International Conference on Reachability Problems (RP'20)
ICSC 2021   International Conference on Semantic Computing
PerIoT 2020   Software Approaches to Improve the Performance of IoT Systems - Applied Sciences (IF 2.217)
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2020)--Ei Compendex & Scopus
ASYDE 2020   Automated and verifiable Software sYstem DEvelopment
SC-PCEB 2020   Special Collection: PARALLEL COMPUTING IN EVOLUTIONARY BIOINFORMATICS
CCBD--Ei & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus