1 option
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 / edited by Mario Bravetti, Leila Kloul, Gianluigi Zavattaro.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024)- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 3670.
- Theoretical Computer Science and General Issues ; 3670
- Language:
- English
- Subjects (All):
- Software engineering.
- Computer networks.
- Computer logic.
- Computer system failures.
- Computers and civilization.
- Software Engineering.
- Computer Communication Networks.
- Logics and Meanings of Programs.
- System Performance and Evaluation.
- Computers and Society.
- Local Subjects:
- Software Engineering.
- Computer Communication Networks.
- Logics and Meanings of Programs.
- System Performance and Evaluation.
- Computers and Society.
- Physical Description:
- 1 online resource (XIII, 349 pages).
- Edition:
- First edition 2005.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
- System Details:
- text file PDF
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-31903-0
- 9783540319030
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.