Description |
1 online resource (xiii, 330 pages) |
Series |
Lecture notes in computer science, 0302-9743 ; 7201 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7201.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
880-01 Business Driven BCM SLA Translation for Service Oriented Systems / Ulrich Winkler, Wasif Gilani and Alan Marshall -- Boosting Design Space Explorations with Existing or Automatically Learned Knowledge / Ralf Jahr, Horia Calborean, Lucian Vintan and Theo Ungerer -- IBPM: An Open-Source-Based Framework for InifiniBand Performance Monitoring / Michael Hoefling, Michael Menth, Christian Kniep and Marcus Camen -- A Workbench for Internet Traffic Analysis / Philipp M. Eittenberger and Udo R. Krieger -- A Modelling and Analysis Environment for LARES / Alexander Gouberman, Martin Riedl, Johann Schuster and Markus Siegle -- Simulation and Statistical Model Checking for Modestly Nondeterministic Models / Jonathan Bogdoll, Arnd Hartmanns and Holger Hermanns -- UniLoG: A Unified Load Generation Tool / Andrey Kolesnikov -- Non Preemptive Static Priority with Network Calculus: Enhancement / William Mangoua Sofack and Marc Boyer -- A Demand-Response Calculus with Perfect Batteries / Jean-Yves Le Boudec and Dan-Cristian Tomozei -- A Formal Definition and a New Security Mechanism of Physical Unclonable Functions / Rainer Plaga and Frank Koob -- Modeling and Analysis of a P2P-VoD System Based on Stochastic Network Calculus / Kai Wang, Yuming Jiang and Chuang Lin -- Using NFC Phones for Proving Credentials / Gergely Alpár, Lejla Batina and Roel Verdult |
|
880-01/(S Availability in Large Networks: Global Characteristics from Local Unreliability Properties / Hans Daduna and Lars Peter Saul -- Stochastic Analysis of a Finite Source Retrial Queue with Spares and Orbit Search / Feng Zhang and Jinting Wang -- Bounds for Two-Terminal Network Reliability with Dependent Basic Events / Minh Lê and Max Walter -- Software Reliability Testing Covering Subsystem Interactions / Matthias Meitner and Francesca Saglietti -- Failure-Dependent Timing Analysis -- A New Methodology for Probabilistic Worst-Case Execution Time Analysis / Kai Höfig -- A Calculus for SLA Delay Properties / Sebastian Vastag -- Verifying Worst Case Delays in Controller Area Network / Nikola Ivkovic, Dario Kresic, Kai-Steffen Hielscher and Reinhard German -- Lifetime Improvement by Battery Scheduling / Marijn R. Jongerden and Boudewijn R. Haverkort -- Weighted Probabilistic Equivalence Preserves ω-Regular Properties / Arpit Sharma -- Probabilistic CSP: Preserving the Laws via Restricted Schedulers / Sonja Georgievska and Suzana Andova -- Heuristics for Probabilistic Timed Automata with Abstraction Refinement / Luis María Ferrer Fioriti and Holger Hermanns -- Simulative and Analytical Evaluation for ASD-Based Embedded Software / Ramin Sadre, Anne Remke, Sjors Hettinga and Boudewijn Haverkort -- Reducing Channel Zapping Delay in WiMAX-Based IPTV Systems / Alireza Abdollahpouri and Bernd E. Wolfinger -- Performance Evaluation of 10GE NICs with SR-IOV Support: I/O Virtualization and Network Stack Optimizations / Shu Huang and Ilia Baldine |
Summary |
Annotation This book constitutes the refereed proceedings of the 16th International GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, held in Kaiserslautern, Germany, in March 2012. The 16 revised full papers presented together with 5 tool papers and 5 selected workshop papers were carefully reviewed and selected from 54 submissions. MMB & DFT 2012 covers diverse aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, software, fault-tolerant and secure systems |
Analysis |
Computer science |
|
Computer Communication Networks |
|
Software engineering |
|
Logic design |
|
Programming Languages, Compilers, Interpreters |
|
Logics and Meanings of Programs |
|
Programming Techniques |
Bibliography |
Includes bibliographical references and author index |
Subject |
Telecommunication systems -- Evaluation -- Congresses
|
|
Computer systems -- Evaluation -- Congresses
|
|
Computer software -- Evaluation -- Congresses
|
|
Informatique.
|
|
Computer software -- Evaluation
|
|
Computer systems -- Evaluation
|
|
Telecommunication systems -- Evaluation
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Schmitt, Jens Burkhard, 1970-
|
ISBN |
9783642285400 |
|
3642285406 |
|