Coverart for item
The Resource 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.)

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.)

Label
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
Title
Formal techniques for computer systems and business processes
Title remainder
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
Statement of responsibility
Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.)
Title variation
  • EPEW 2005
  • WS-FM 2005
Creator
Contributor
Subject
Genre
Language
eng
Member of
Action
digitized
Cataloging source
GW5XE
Dewey number
004.2
Illustrations
illustrations
Index
index present
LC call number
QA76.9.E94
LC item number
E64 2005
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2005
http://bibfra.me/vocab/lite/meetingName
EPEW (Workshop)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
2005
http://library.link/vocab/relatedWorkOrContributorName
  • Bravetti, Mario
  • Kloul, Leïla
  • Zavattaro, Gianluigi
  • International Workshop on Web Services and Formal Methods
Series statement
Lecture notes in computer science,
Series volume
3670
http://library.link/vocab/subjectName
  • Computer systems
  • Telecommunication systems
  • Formal methods (Computer science)
  • Web services
  • COMPUTERS
  • Computer systems
  • Telecommunication systems
  • Formal methods (Computer science)
  • Web Services
  • Informatique
  • Computer systems
  • Formal methods (Computer science)
  • Telecommunication systems
  • Web services
  • Formale Methode
  • Web Services
  • Méthode formelle
  • Évaluation
  • Système d'information
  • Système de télécommunication
  • Service Web
Label
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.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
262681403
Dimensions
unknown
Extent
1 online resource (xiii, 348 pages)
Form of item
online
Isbn
9783540287018
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/11549970
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-28701-8
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)262681403
System details
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.
Label
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.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
262681403
Dimensions
unknown
Extent
1 online resource (xiii, 348 pages)
Form of item
online
Isbn
9783540287018
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/11549970
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-28701-8
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)262681403
System details
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.

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...