G-Networks: Multiple Classes of Positive Customers, Signals, and Product Form Results -- Spectral Expansion Solutions for Markov-Modulated Queues -- M/G/1-Type Markov Processes: A Tutorial -- An Algorithmic Approach to Stochastic Bounds -- Dynamic Scheduling via Polymatroid Optimization -- Workload Modeling for Performance Evaluation -- Capacity Planning for Web Services Techniques and Methodology -- End-to-End Performance of Web Services -- Benchmarking -- Benchmarking Models and Tools for Distributed Web-Server Systems -- Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language -- Automated Performance and Dependability Evaluation Using Model Checking -- Measurement-Based Analysis of System Dependability Using Fault Injection and Field Failure Data -- Software Reliability and Rejuvenation: Modeling and Analysis -- Performance Validation of Mobile Software Architectures -- Performance Issues of Multimedia Applications -- Markovian Modeling of Real Data Traffic: Heuristic Phase Type and MAP Fitting of Heavy Tailed and Fractal Like Samples -- Optimization of Bandwidth and Energy Consumption in Wireless Local Area Networks -- Service Centric Computing - Next Generation Internet Computing -- European DataGrid Project: Experiences of Deploying a Large Scale Testbed for E-science Applications.