Formal methods and stochastic models for performance evaluation

InhaltsverzeichnisKeynote.Optimization Problems in Service Provisioning Systems.Markov Chains.Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won’t Tell About the Equilibrium Distribution.Compositionality for Markov Reward Chains with Fast Transitions.Closed Form Absorption Time Bounds.A Canonical Representation of Order 3 Phase Type Distributions.Process Algebras and State Machines.SPAMR: Extending PAMR with Stochastic Time.Faster SPDL Model Checking Through Property-Driven State Space Generation.Testing Finite State Machines Presenting Stochastic Time and Timeouts.Grid and Peer-to-Peer Systems.Evaluation of P2P Search Algorithms for Discovering Trust Paths.Building Online Performance Models of Grid Middleware with Fine-Grained Load-Balancing: A Globus Toolkit Case Study.Performance Measuring Framework for Grid Market Middleware.Queueing Theory and Applications of Queueing.A Fixed-Point Algorithm for Closed Queueing Networks.A Framework for Automated Generation of Architectural Feedback from Software Performance Analysis.Optimal Dynamic Server Allocation in Systems with On/Off Sources.Towards an Automatic Modeling Tool for Observed System Behavior.Benchmarking and Bounding.Censoring Markov Chains and Stochastic Bounds.Workload Characterization of the SPECjms2007 Benchmark.Resource Sharing in Performance Models.Exploiting Commodity Hard-Disk Geometry to Efficiently Preserve Data Consistency.Wireless Networks.An Efficient Counter-Based Broadcast Scheme for Mobile Ad Hoc Networks.The Effect of Mobility on Local Service Discovery in the Ahoy Ad-Hoc Network System.