1
A brief Introduction to MOSEL-2
Autoren:
Wüchner, Patrick; Meer, Hermann de; Barner, Jörg; Bolch, Gunter
Konferenz:
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
Autoren:
Arns, Markus
Konferenz:
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
Autoren:
Buchholz, Peter; Panchenko, Andriy
Konferenz:
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
Autoren:
Lampka, Kai; Siegle, Markus
Konferenz:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems
5
Analysis of a Queueing Fairness Measure
Autoren:
Sandmann, Werner
Konferenz:
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
Autoren:
Heindl, Armin; Gross, Karsten
Konferenz:
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
Autoren:
Malchin, Christian; Daduna, Hans
Konferenz:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems
8
CASPA: Symbolic Model Checking of Stochastic Systems
Autoren:
Kuntz, Matthias
Konferenz:
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
Autoren:
Martínez, José M.; Haverkort, Boudewijn R.
Konferenz:
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
Autoren:
Eger, Kolja; Killat, Ulrich
Konferenz:
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
Autoren:
Li, Xi; Schelb, Richard; Görg, Carmelita; Timm-Giel, Andreas
Konferenz:
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
Autoren:
Ny, Louis-Marie Le
Konferenz:
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
Autoren:
Gaeta, R.; Gribaudo, M.; Manini, D.; Sereno, M.
Konferenz:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems
14
Generating Event Traces Based on Arrival Curves
Autoren:
Künzli, Simon; Thiele, Lothar
Konferenz:
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
Autoren:
Sass, Detlef; Junghans, Sascha
Konferenz:
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
Autoren:
Necker, Marc C.; Gauger, Christoph M.; Kiesel, Sebastian; Reiser, Ulrich
Konferenz:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems
17
Investigating Dynamic Reconfiguration of Network Architectures with CINSim
Autoren:
Tutsch, Dietmar; Lüdtke, Daniel; Kühm, Matthias
Konferenz:
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
Autoren:
Walter, Max; Trinitis, Carsten
Konferenz:
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
Autoren:
Breuer, Lothar
Konferenz:
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
Autoren:
Leibnitz, Kenji; Hoßfeld, Tobias; Wakamiya, Naoki; Murata, Masayuki
Konferenz:
MMB 2006 - 13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems