04500nam 22007695 450 991048384720332120251226203308.0978354031903010.1007/11549970(CKB)1000000000213222(SSID)ssj0000317728(PQKBManifestationID)11245537(PQKBTitleCode)TC0000317728(PQKBWorkID)10312394(PQKB)11209662(DE-He213)978-3-540-31903-0(MiAaPQ)EBC3067778(PPN)123097150(EXLCZ)99100000000021322220100315d2005 u| 0engurnn|008mamaatxtccrFormal 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 /edited by Mario Bravetti, Leila Kloul, Gianluigi Zavattaro1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (XIII, 349 p.) Theoretical Computer Science and General Issues,2512-2029 ;3670Bibliographic Level Mode of Issuance: Monograph3-540-31903-4 3-540-28701-9 Includes bibliographical references and index.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.Theoretical Computer Science and General Issues,2512-2029 ;3670Software engineeringComputer networksComputer scienceElectronic digital computersEvaluationComputers and civilizationSoftware EngineeringComputer Communication NetworksComputer Science Logic and Foundations of ProgrammingSystem Performance and EvaluationComputers and SocietySoftware engineering.Computer networks.Computer science.Electronic digital computersEvaluation.Computers and civilization.Software Engineering.Computer Communication Networks.Computer Science Logic and Foundations of Programming.System Performance and Evaluation.Computers and Society.005.1Bravetti Mario1756355Kloul Leila1761728Zavattaro Gianluigi1754873MiAaPQMiAaPQMiAaPQBOOK9910483847203321Formal techniques for computer systems and business processes4201338UNINA