Formal Techniques for Computer Systems and Business Processes (eBook, PDF)
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
Redaktion: Bravetti, Mario; Zavattaro, Gianluigi; Kloul, Leila
Schade – dieser Artikel ist leider ausverkauft. Sobald wir wissen, ob und wann der Artikel wieder verfügbar ist, informieren wir Sie an dieser Stelle.
Formal Techniques for Computer Systems and Business Processes (eBook, PDF)
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
Redaktion: Bravetti, Mario; Zavattaro, Gianluigi; Kloul, Leila
- Format: PDF
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei
bücher.de, um das eBook-Abo tolino select nutzen zu können.
Hier können Sie sich einloggen
Hier können Sie sich einloggen
Sie sind bereits eingeloggt. Klicken Sie auf 2. tolino select Abo, um fortzufahren.
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
- Geräte: PC
- ohne Kopierschutz
- eBook Hilfe
- Größe: 4.69MB
Produktdetails
- Verlag: Springer-Verlag GmbH
- Seitenzahl: 349
- Erscheinungstermin: 15. November 2005
- Englisch
- ISBN-13: 9783540319030
- Artikelnr.: 44127304
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Mario Bravetti, Università di Bologna, Italy / Leila Kloul, Université de Versailles, France / Gianluigi Zavattaro, Università di Bologna, Italy
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.
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.