default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. 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
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.
last updated on 2024-11-11 21:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
