1
A brief Introduction to MOSEL-2
Authors:
Wüchner, Patrick; Meer, Hermann de; Barner, Jörg; Bolch, Gunter
Conference:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems
2
A New Aggregation Technique for the Analysis of Extended Open Fork/Join Queueing Networks by Decomposition
Authors:
Arns, Markus
Conference:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems
3
A Queueing Network Approach for Modelling Control Nets in Building Automation
Authors:
Buchholz, Peter; Panchenko, Andriy
Conference:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems
4
Activity-Local Symbolic State Graph Generation for High-Level Stochastic Models
Authors:
Lampka, Kai; Siegle, Markus
Conference:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems
5
Analysis of a Queueing Fairness Measure
Authors:
Sandmann, Werner
Conference:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems
6
Analytic Study of Multiplexing Effects in Two-Class Queues with Correlations
Authors:
Heindl, Armin; Gross, Karsten
Conference:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems
7
Availability and Performance Analysis in a Discrete Time Tandem Network with Product Form Steady State
Authors:
Malchin, Christian; Daduna, Hans
Conference:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems
8
CASPA: Symbolic Model Checking of Stochastic Systems
Authors:
Kuntz, Matthias
Conference:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems
9
CSL Model Checking of Deterministic and Stochastic Petri Nets
Authors:
Martínez, José M.; Haverkort, Boudewijn R.
Conference:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems
10
Die Überlastpreisgestaltung als ein einheitlicher Ansatz zur Ratenregelung und Wegfindung
Authors:
Eger, Kolja; Killat, Ulrich
Conference:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems
11
Dimensioning of UTRAN Iub Links for Elastic Internet Traffic with Multiple Radio Bearers
Authors:
Li, Xi; Schelb, Richard; Görg, Carmelita; Timm-Giel, Andreas
Conference:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems
12
Explicit formulas for the steady-state probabilities of the two-class FIFO M/M/1 queue
Authors:
Ny, Louis-Marie Le
Conference:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems
13
Fixed Point Approximations for TCP Behavior in Networks of Routers Implementing Heterogeneous Queue Management Policies
Authors:
Gaeta, R.; Gribaudo, M.; Manini, D.; Sereno, M.
Conference:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems
14
Generating Event Traces Based on Arrival Curves
Authors:
Künzli, Simon; Thiele, Lothar
Conference:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems
15
I2MP - An architecture for hardware supported high-precision traffic measurement
Authors:
Sass, Detlef; Junghans, Sascha
Conference:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems
16
IKREmuLib: A Library for Seamless Integration of Simulation and Emulation
Authors:
Necker, Marc C.; Gauger, Christoph M.; Kiesel, Sebastian; Reiser, Ulrich
Conference:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems
17
Investigating Dynamic Reconfiguration of Network Architectures with CINSim
Authors:
Tutsch, Dietmar; Lüdtke, Daniel; Kühm, Matthias
Conference:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems
18
Modeling Inter-Component Dependencies of High-Availability Systems using OpenSESAME
Authors:
Walter, Max; Trinitis, Carsten
Conference:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems
19
Numerical results for the transient distribution of the GI/G/1 queue in discrete time
Authors:
Breuer, Lothar
Conference:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems
20
On Pollution in eDonkey-like Peer-to-Peer File-Sharing Networks
Authors:
Leibnitz, Kenji; Hoßfeld, Tobias; Wakamiya, Naoki; Murata, Masayuki
Conference:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems