2. EPEW/WS-FM 2005:
Versailles,
France
Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (Eds.):
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.
Lecture Notes in Computer Science 3670 Springer 2005, ISBN 3-540-28701-9 BibTeX
Invited Speakers
EPEW
- Tugrul Dayar:
On Moments of Discrete Phase-Type Distributions.
51-63
Electronic Edition (link) BibTeX
- Thu-Ha Dao-Thi, Jean Mairesse:
Zero-Automatic Queues.
64-78
Electronic Edition (link) BibTeX
- Árpád Tari, Miklós Telek, Peter Buchholz:
A Unified Approach to the Moments Based Distribution Estimation - Unbounded Support.
79-93
Electronic Edition (link) BibTeX
- Ana Busic, Jean-Michel Fourneau:
Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering.
94-108
Electronic Edition (link) BibTeX
- Nihal Pekergin, Sana Younès:
Stochastic Model Checking with Stochastic Comparison.
109-123
Electronic Edition (link) BibTeX
- Koen De Turck, Sabine Wittevrongel:
Delay Analysis of the Go-Back-N ARQ Protocol over a Time-Varying Channel.
124-138
Electronic Edition (link) BibTeX
- Corine Marchand, Jean-Marc Vincent:
Performance Tuning of Failure Detectors in Wireless Ad-hoc Networks: Modelling and Experiments.
139-154
Electronic Edition (link) BibTeX
- Jeremy T. Bradley, Douglas V. de Jager, William J. Knottenbelt, Aleksandar Trifunovic:
Hypergraph Partitioning for Faster Parallel PageRank Computation.
155-171
Electronic Edition (link) BibTeX
- Maxime Martinasso, Jean-François Méhaut:
Prediction of Communication Latency over Complex Network Behaviors on SMP Clusters.
172-186
Electronic Edition (link) BibTeX
- Tadeusz Czachórski, Ferhan Pekergin:
A Diffusion Approximation Model of an Electronic-Optical Node.
187-199
Electronic Edition (link) BibTeX
WS-FM
- Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl:
Choreographing Security and Performance Analysis for Web Services.
200-214
Electronic Edition (link) BibTeX
- M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz:
Application of Formal Methods to the Analysis of Web Services Security.
215-229
Electronic Edition (link) BibTeX
- Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero:
Automatic Translation of WS-CDL Choreographies to Timed Automata.
230-242
Electronic Edition (link) BibTeX
- Michael J. Butler, Shamim Ripon:
Executable Semantics for Compensating CSP.
243-256
Electronic Edition (link) BibTeX
- Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step.
257-271
Electronic Edition (link) BibTeX
- 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.
272-286
Electronic Edition (link) BibTeX
- Manuel Mazzara:
Timing Issues in Web Services Composition.
287-302
Electronic Edition (link) BibTeX
- Barry Norton, Simon Foster, Andrew Hughes:
A Compositional Operational Semantics for OWL-S.
303-317
Electronic Edition (link) BibTeX
- Raman Kazhamiakin, Marco Pistore:
A Parametric Communication Model for the Verification of BPEL4WS Compositions.
318-332
Electronic Edition (link) BibTeX
- Roberto Gorrieri, Claudio Guidi, Roberto Lucchi:
Reasoning About Interaction Patterns in Choreography.
333-348
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:09:23 2009
by Michael Ley (ley@uni-trier.de)
