LEADER 04574nam 22007335 450 001 996465390203316 005 20230405233805.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 $a20100315d2005 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Techniques for Computer Systems and Business Processes$b[electronic resource] $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 /$fedited by Mario Bravetti, Leila Kloul, Gianluigi Zavattaro 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (XIII, 349 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$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$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3670 606 $aSoftware engineering 606 $aComputer networks 606 $aComputer science 606 $aElectronic digital computers?Evaluation 606 $aComputers and civilization 606 $aSoftware Engineering 606 $aComputer Communication Networks 606 $aComputer Science Logic and Foundations of Programming 606 $aSystem Performance and Evaluation 606 $aComputers and Society 615 0$aSoftware engineering. 615 0$aComputer networks. 615 0$aComputer science. 615 0$aElectronic digital computers?Evaluation. 615 0$aComputers and civilization. 615 14$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSystem Performance and Evaluation. 615 24$aComputers and Society. 676 $a005.1 702 $aBravetti$b Mario$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKloul$b Leila$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aZavattaro$b Gianluigi$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465390203316 996 $aFormal Techniques for Computer Systems and Business Processes$9772761 997 $aUNISA