Heavy Tails: The Effect of the Service Discipline
The MSbius State-Level Abstract FunctionM Interface
The ProC/B Toolset for the Modelling and Analysis of Process Chains ...
MRMSolve: Distribution Estimation of Large Markov Reward Models
PhFit: A General Phase-Type Fitting Tool
Traffic Modeling of IP Networks Using the
Batch Markovian Arrival Process
PEPA Nets: A Structured Performance Modelling Formalism
Validation of GSPN and SWN Models through the PROD Tool
Software Performance Models from System Scenarios in Use Case Maps...
Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications
A Passage-Time Preserving Equivalence for Semi-Markov Processes
Symbolic Methods for the State Space Exploration of GSPN Models
PRISM: Probabilistic Symbolic Model Checker
MAMSolver: A Matrix Analytic Methods Tool
The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility Support
GILK: A Dynamic Instrumentation Tool for the Linux Kernel
Geist: A Web Traffic Generation Tool
DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems
A Visual Formalism for the Composition of Stochastic Petri Nets
Symbolic Performance Prediction of Data-Dependent Parallel Programs..
Analysis of a Transaction System with Checkpointing, Failures, and Rollback
Analyzing Voice-over-IP Subjective Quality as a Function of Network QoS: A Simulation-Based Methodology and Tool
Hierarchical Workloar Characterization for a Busy Web Server
Enabling Network Caching of Dynamic Web Objects
A Tool for Controlling Response Time in Real-Time Systems
Author Index
鄂公网安备 42010302001612号 