Abstract is missing.
- Performance Engineering and Stochastic ModellingPeter G. Harrison. 1-14 [doi]
- Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete-State SystemsGianfranco Ciardo. 15-17 [doi]
- PiDuce: A Process Calculus with Native XML DatatypesAllen L. Brown Jr., Cosimo Laneve, L. Gregory Meredith. 18-34 [doi]
- Life After BPEL?Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell, H. M. W. (Eric) Verbeek, Petia Wohed. 35-50 [doi]
- On Moments of Discrete Phase-Type DistributionsTugrul Dayar. 51-63 [doi]
- Zero-Automatic QueuesThu-Ha Dao-Thi, Jean Mairesse. 64-78 [doi]
- A Unified Approach to the Moments Based Distribution Estimation - Unbounded SupportÁrpád Tari, Miklós Telek, Peter Buchholz. 79-93 [doi]
- Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic OrderingAna Busic, Jean-Michel Fourneau. 94-108 [doi]
- Stochastic Model Checking with Stochastic ComparisonNihal Pekergin, Sana Younès. 109-123 [doi]
- Delay Analysis of the Go-Back-N ARQ Protocol over a Time-Varying ChannelKoen De Turck, Sabine Wittevrongel. 124-138 [doi]
- Performance Tuning of Failure Detectors in Wireless Ad-hoc Networks: Modelling and ExperimentsCorine Marchand, Jean-Marc Vincent. 139-154 [doi]
- Hypergraph Partitioning for Faster Parallel PageRank ComputationJeremy T. Bradley, Douglas V. de Jager, William J. Knottenbelt, Aleksandar Trifunovic. 155-171 [doi]
- Prediction of Communication Latency over Complex Network Behaviors on SMP ClustersMaxime Martinasso, Jean-François Méhaut. 172-186 [doi]
- A Diffusion Approximation Model of an Electronic-Optical NodeTadeusz Czachórski, Ferhan Pekergin. 187-199 [doi]
- Choreographing Security and Performance Analysis for Web ServicesStephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl. 200-214 [doi]
- Application of Formal Methods to the Analysis of Web Services SecurityM. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz. 215-229 [doi]
- Automatic Translation of WS-CDL Choreographies to Timed AutomataGregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero. 230-242 [doi]
- Executable Semantics for Compensating CSPMichael J. Butler, Shamim Ripon. 243-256 [doi]
- Verifying the Conformance of Web Services to Global Interaction Protocols: A First StepMatteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella. 257-271 [doi]
- From Theory to Practice in Transactional Composition of Web ServicesRoberto Bruni, Gian Luigi Ferrari, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto. 272-286 [doi]
- Timing Issues in Web Services CompositionManuel Mazzara. 287-302 [doi]
- A Compositional Operational Semantics for OWL-SBarry Norton, Simon Foster, Andrew Hughes. 303-317 [doi]
- A Parametric Communication Model for the Verification of BPEL4WS CompositionsRaman Kazhamiakin, Marco Pistore. 318-332 [doi]
- Reasoning About Interaction Patterns in ChoreographyRoberto Gorrieri, Claudio Guidi, Roberto Lucchi. 333-348 [doi]