LEADER 03795nam 2200601 a 450 001 9910483847203321 005 20200520144314.0 010 $a9783540319030 024 7 $a10.1007/11549970 035 $a(CKB)1000000000213222 035 $a(SSID)ssj0000317728 035 $a(PQKBManifestationID)11245537 035 $a(PQKBTitleCode)TC0000317728 035 $a(PQKBWorkID)10312394 035 $a(PQKB)11209662 035 $a(DE-He213)978-3-540-31903-0 035 $a(MiAaPQ)EBC3067778 035 $a(PPN)123097150 035 $a(EXLCZ)991000000000213222 100 $a20120224d2005 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal techniques for computer systems and business processes $eEuropean Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings /$fMario Bravetti, Leila Kloul, Gianluigi Zavattaro (eds.) 205 $a1st ed. 2005. 210 $aBerlin $cSpringer$d2005 215 $a1 online resource (XIII, 349 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v3670 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-31903-4 311 $a3-540-28701-9 320 $aIncludes bibliographical references and index. 327 $aInvited 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. 410 0$aLecture notes in computer science ;$v3670. 606 $aFormal methods (Computer science)$vCongresses 606 $aStochastic models$vCongresses 606 $aComputer systems$xEvaluation$vCongresses 615 0$aFormal methods (Computer science) 615 0$aStochastic models 615 0$aComputer systems$xEvaluation 676 $a005.1 701 $aBravetti$b Mario$01756355 701 $aKloul$b Leila$01761728 701 $aZavattaro$b Gianluigi$01754873 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483847203321 996 $aFormal techniques for computer systems and business processes$94201338 997 $aUNINA