Parameters
More about the book
InhaltsverzeichnisInvited 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.
Book purchase
Formal techniques for computer systems and business processes, Mario Bravetti
- Language
- Released
- 2005
Payment methods
- Title
- Formal techniques for computer systems and business processes
- Language
- English
- Authors
- Mario Bravetti
- Publisher
- Springer
- Publisher
- 2005
- ISBN10
- 3540287019
- ISBN13
- 9783540287018
- Category
- Computers, IT, Programming
- Description
- InhaltsverzeichnisInvited 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.