13. MMB 2006: Nürnberg, Germany

Reinhard German, Armin Heindl (Eds.): Proceedings 13th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems, MMB 2006, March 27-29, 2006, Nürnberg, Germany. VDE Verlag/VDE Verlag 2006, ISBN 978-3-8007-2945-6

Invited Talk 1

Ian F. Akyildiz: Grand challenges for wireless sensor networks. 13-14

Wireless Network

René Böringer, Andreas Mitschele-Thiel, Gunnar Scharfe: On protection schemes in MPLS-based radio access networks. 15-32
Xi Li, Richard Schelb, Carmelita Görg, Andreas Timm-Giel: Dimensioning of UTRAN Iub links for elastic Internet traffic with multiple radio bearers. 33-48
Yaoda Liu, Robert Sheahan, Hans-Peter Schwefel: Towards analytic modeling for CSMA/CA-based MAC protocol in wireless multi-hop networks - A simulation study. 49-64

Traffic Modelling

Gerhard Haßlinger: Validation of Gaussian traffic modeling using standard IP measurement. 65-80
Simon Künzli, Lothar Thiele: Generating event traces based on arrival curves. 81-98

Invited Talk 2

Jan Tretmans: Model-based testing: An attempt to combine provable soundness and effective automation and industrial applicability. 99-100

Benchmarking and Measurements

Robert Henjes, Michael Menth, Sebastian Gehrsitz: Throughput performance of Java Messaging Services using FioranoMQ. 101-118
Heiko Niedermayer, Andreas Klenk, Georg Carle: The networking perspective of security performance - A measurement study. 119-136
Karthik Moncombu Ramakrishnan, Daniel D. Deavours: Performance benchmarks for passive UHF RFID tags. 137-154

Simulation, Emulation and Testing

Mirko Eickhoff: Steady-state quantile estimation. 155-172
Marc Necker, Christoph Gauger, Sebastian Kiesel, Ulrich Reiser: IKREmuLib: A library for seamless integration of simulation and emulation. 173-190
Matthias Beyer, Winfried Dulz, Kai-Steffen Jens Hielscher: Performance issues in statistical testing. 191-208

Queueing Systems

Lothar Breuer: Numerical results for the transient distribution of the GI/G/1 queue in discrete time. 209-218
Werner Sandmann: Analysis of a queueing fairness measure. 219-232
Louis-Marie Le Ny: Explicit formulas for the steady-state probabilities of the two-class FIFO M/M/1 queue. 233-244

Analysis Techniques

Kai Lampka, Markus Siegle: Activity-local symbolic state graph generation for high-level stochastic models. 245-264
José Martínez, Boudewijn R. Haverkort: CSL model checking of Deterministic and Stochastic Petri Nets. 265-282

Invited Talk 3

Hermann Kopetz: Architectural issues in dependable embedded systems. 283-284

Network Models

Kenji Leibnitz, Tobias Hoßfeld, Naoki Wakamiya, Masayuki Murata: On pollution in eDonkey-like peer-to-peer file-sharing networks. 285-302
Rossano Gaeta, Marco Gribaudo, Daniele Manini, Marco Sereno: Fixed-point approximations for TCP behavior in networks of routers implementing heterogeneous queue management policies. 303-316
Peter Buchholz, Andriy Panchenko: A queueing-network approach for modeling control nets in building automation. 317-334

Traffic Engineering

Shu Zhang, Lothar Kreft, Ulrich Killat: Traffic engineering for real-time communication groups using network-calculus based schedulability analysis. 335-348
Joachim Charzinski, Uwe Walter: Optimized incremental network planning. 349-362
Kolja Eger, Ulrich Killat: Die Überlastpreisgestaltung als ein einheitlicher Ansatz zur Ratenregelung und Wegfindung. 363-380

Queueing Networks

Christian Malchin, Hans Daduna: Availability and performance analysis in a discrete-time tandem network with product-form steady state. 381-398
Armin Heindl, Karsten Gross: Analytic study of multiplexing effects in two-class queues with correlations. 399-416
Markus Arns: A new aggregation technique for the analysis of extended open fork/join queueing networks by decomposition. 417-436

Tool Presentations

Detlef Sass, Sascha Junghans: I²MP - An architecture for hardware-supported high-precision traffic measurement. 437-440
Dirk Christiansen, Lars Diederichsen, Tadeus Uhl: TraceView®: Ein hybrides Messsystem für ISDN und VoIP. 441-444
Dietmar Tutsch, Daniel Lüdtke, Matthias Kühm: Investigating dynamic reconfiguration of network architectures with CINSim. 445-448
Frank Slomka: Simulation of distributed embedded real-time systems. 449-452
René Böringer, Andreas Mitschele-Thiel, Gunnar Scharfe: TRIAS: Optimization of complex networks. 453-456
Peter Buchholz, Peter Kemper, Dennis Müller, Mathias Stöber, Axel Thümmler: OPEDo: A tool for optimization and performance evaluation of stochastic models. 457-460
Max Walter, Carsten Trinitis: Modeling inter-component dependencies of high-availability systems using OpenSESAME. 461-464
Matthias Kuntz, Markus Siegle: CASPA: Symbolic model checking of stochastic systems. 465-468
Patrick Wüchner, Hermann de Meer, Jörg Barner, Gunter Bolch: A brief introduction to MOSEL-2. 469-472
Armin Zimmermann, Michael Knoke, Alexander Huck, Günter Hommel: Towards version 4.0 of TimeNET. 473-476
Peter Bazan, Gunter Bolch, Reinhard German: WinPEPSY-QNS - Performance evaluation and prediction system for queueing networks. 477-480