![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
2. EPEW/WS-FM 2005: Versailles, France
- Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro:
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
Invited Speakers
- Peter G. Harrison
:
Performance Engineering and Stochastic Modelling. 1-14 - Gianfranco Ciardo
:
Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete-State Systems. 15-17 - Allen L. Brown Jr., Cosimo Laneve
, L. Gregory Meredith:
PiDuce: A Process Calculus with Native XML Datatypes. 18-34 - Wil M. P. van der Aalst
, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell, H. M. W. Verbeek, Petia Wohed:
Life After BPEL? 35-50
EPEW
- Tugrul Dayar
:
On Moments of Discrete Phase-Type Distributions. 51-63 - Thu-Ha Dao-Thi, Jean Mairesse:
Zero-Automatic Queues. 64-78 - Árpád Tari, Miklós Telek, Peter Buchholz
:
A Unified Approach to the Moments Based Distribution Estimation - Unbounded Support. 79-93 - Ana Busic
, Jean-Michel Fourneau:
Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering. 94-108 - Nihal Pekergin, Sana Younès:
Stochastic Model Checking with Stochastic Comparison. 109-123 - Koen De Turck, Sabine Wittevrongel:
Delay Analysis of the Go-Back-N ARQ Protocol over a Time-Varying Channel. 124-138 - Corine Marchand, Jean-Marc Vincent:
Performance Tuning of Failure Detectors in Wireless Ad-hoc Networks: Modelling and Experiments. 139-154 - Jeremy T. Bradley, Douglas Vincent de Jager, William J. Knottenbelt, Aleksandar Trifunovic:
Hypergraph Partitioning for Faster Parallel PageRank Computation. 155-171 - Maxime Martinasso, Jean-François Méhaut:
Prediction of Communication Latency over Complex Network Behaviors on SMP Clusters. 172-186 - Tadeusz Czachórski, Ferhan Pekergin:
A Diffusion Approximation Model of an Electronic-Optical Node. 187-199
WS-FM
- Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl:
Choreographing Security and Performance Analysis for Web Services. 200-214 - Llanos Tobarra
, Diego Cazorla
, Fernando Cuartero, Gregorio Díaz
:
Application of Formal Methods to the Analysis of Web Services Security. 215-229 - Gregorio Díaz
, Juan José Pardo, María-Emilia Cambronero, Valentín Valero
, Fernando Cuartero:
Automatic Translation of WS-CDL Choreographies to Timed Automata. 230-242 - Michael J. Butler
, Shamim Ripon
:
Executable Semantics for Compensating CSP. 243-256 - 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 - 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 - Manuel Mazzara
:
Timing Issues in Web Services Composition. 287-302 - Barry Norton, Simon Foster
, Andrew Hughes:
A Compositional Operational Semantics for OWL-S. 303-317 - Raman Kazhamiakin, Marco Pistore
:
A Parametric Communication Model for the Verification of BPEL4WS Compositions. 318-332 - Roberto Gorrieri, Claudio Guidi, Roberto Lucchi:
Reasoning About Interaction Patterns in Choreography. 333-348
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.