Limit search to available items
Book Cover
Author EPEW (Workshop) (2005 : Versailles, France)

Title 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 / Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.)
Published Berlin ; New York : Springer, ©2005


Description 1 online resource (xiii, 348 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 3670
Lecture notes in computer science ; 3670. 0302-9743
Contents Invited Speakers -- Performance Engineering and Stochastic Modelling -- Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete-State Systems -- PiDuce: A Process Calculus with Native XML Datatypes -- Life After BPEL? -- EPEW -- On Moments of Discrete Phase-Type Distributions -- Zero-Automatic Queues -- A Unified Approach to the Moments Based Distribution Estimation -- Unbounded Support -- Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering -- Stochastic Model Checking with Stochastic Comparison -- Delay Analysis of the Go-Back-N ARQ Protocol over a Time-Varying Channel -- Performance Tuning of Failure Detectors in Wireless Ad-hoc Networks: Modelling and Experiments -- Hypergraph Partitioning for Faster Parallel PageRank Computation -- Prediction of Communication Latency over Complex Network Behaviors on SMP Clusters -- A Diffusion Approximation Model of an Electronic-Optical Node -- WS-FM -- Choreographing Security and Performance Analysis for Web Services -- Application of Formal Methods to the Analysis of Web Services Security -- Automatic Translation of WS-CDL Choreographies to Timed Automata -- Executable Semantics for Compensating CSP -- Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step -- From Theory to Practice in Transactional Composition of Web Services -- Timing Issues in Web Services Composition -- A Compositional Operational Semantics for OWL-S -- A Parametric Communication Model for the Verification of BPEL4WS Compositions -- Reasoning About Interaction Patterns in Choreography
Bibliography Includes bibliographical references and index
Notes Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL
Print version record
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL
Subject Computer systems -- Evaluation -- Congresses
Telecommunication systems -- Evaluation -- Congresses
Formal methods (Computer science) -- Congresses
Web services -- Congresses
COMPUTERS -- Systems Architecture -- General.
Computer systems -- Evaluation.
Telecommunication systems -- Evaluation.
Formal methods (Computer science)
Web Services.
Computer systems -- Evaluation.
Formal methods (Computer science)
Telecommunication systems -- Evaluation.
Web services.
Formale Methode
Web Services
Méthode formelle.
Système d'information.
Système de télécommunication.
Service Web.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Actes de congrès.
Versailles (2005)
Form Electronic book
Author Bravetti, Mario.
Kloul, Leïla.
Zavattaro, Gianluigi.
International Workshop on Web Services and Formal Methods (2005 : Versailles, France)
ISBN 9783540319030
Other Titles EPEW 2005
WS-FM 2005