EPEW/WS-FM

Keyphrases

Publications

2005

Barry Norton, Simon Foster, Andrew Hughes
A Compositional Operational Semantics for OWL-S. EPEW/WS-FM (2005)
Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz
Application of Formal Methods to the Analysis of Web Services Security. EPEW/WS-FM (2005)
Raman Kazhamiakin, Marco Pistore
A Parametric Communication Model for the Verification of BPEL4WS Compositions. EPEW/WS-FM (2005)
Árpád Tari, Miklós Telek, Peter Buchholz
A Unified Approach to the Moments Based Distribution Estimation - Unbounded Support. EPEW/WS-FM (2005)
Corine Marchand, Jean-Marc Vincent
Performance Tuning of Failure Detectors in Wireless Ad-hoc Networks: Modelling and Experiments. EPEW/WS-FM (2005)
Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell, H. M. W. Verbeek, Petia Wohed
Life After BPEL? EPEW/WS-FM (2005)
Peter G. Harrison
Performance Engineering and Stochastic Modelling. EPEW/WS-FM (2005)
Jeremy T. Bradley, Douglas Vincent de Jager, William J. Knottenbelt, Aleksandar Trifunovic
Hypergraph Partitioning for Faster Parallel PageRank Computation. EPEW/WS-FM (2005)
Thu-Ha Dao-Thi, Jean Mairesse
Zero-Automatic Queues. EPEW/WS-FM (2005)
Tadeusz Czachórski, Ferhan Pekergin
A Diffusion Approximation Model of an Electronic-Optical Node. EPEW/WS-FM (2005)
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella
Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step. EPEW/WS-FM (2005)
Maxime Martinasso, Jean-François Méhaut
Prediction of Communication Latency over Complex Network Behaviors on SMP Clusters. EPEW/WS-FM (2005)
Roberto Bruni, Gian Luigi Ferrari, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto
From Theory to Practice in Transactional Composition of Web Services. EPEW/WS-FM (2005)
Roberto Gorrieri, Claudio Guidi, Roberto Lucchi
Reasoning About Interaction Patterns in Choreography. EPEW/WS-FM (2005)
Koen De Turck, Sabine Wittevrongel
Delay Analysis of the Go-Back-N ARQ Protocol over a Time-Varying Channel. EPEW/WS-FM (2005)
Ana Busic, Jean-Michel Fourneau
Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering. EPEW/WS-FM (2005)
Allen L. Brown Jr., Cosimo Laneve, L. Gregory Meredith
PiDuce: A Process Calculus with Native XML Datatypes. EPEW/WS-FM (2005)
Tugrul Dayar
On Moments of Discrete Phase-Type Distributions. EPEW/WS-FM (2005)
Michael J. Butler, Shamim Ripon
Executable Semantics for Compensating CSP. EPEW/WS-FM (2005)
Manuel Mazzara
Timing Issues in Web Services Composition. EPEW/WS-FM (2005)
Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero
Automatic Translation of WS-CDL Choreographies to Timed Automata. EPEW/WS-FM (2005)
Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl
Choreographing Security and Performance Analysis for Web Services. EPEW/WS-FM (2005)
Gianfranco Ciardo
Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete-State Systems. EPEW/WS-FM (2005)
Nihal Pekergin, Sana Younès
Stochastic Model Checking with Stochastic Comparison. EPEW/WS-FM (2005)

volume 3670, 2005

Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings EPEW/WS-FM 3670 (2005)