Formal Techniques for Computer Systems and Business Processes (eBook, PDF)
60,95 €
60,95 €
inkl. MwSt.
Sofort per Download lieferbar
Versandkostenfrei*
30 °P sammeln
60,95 €
60,95 €
inkl. MwSt.
Sofort per Download lieferbar
Versandkostenfrei*

Alle Infos zum eBook verschenken
30 °P sammeln
Als Download kaufen
60,95 €
inkl. MwSt.
Sofort per Download lieferbar
30 °P sammeln
Jetzt verschenken
60,95 €
inkl. MwSt.
Sofort per Download lieferbar

Alle Infos zum eBook verschenken
30 °P sammeln
  • Format: PDF


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.

Autorenporträt
Mario Bravetti, Università di Bologna, Italy / Leila Kloul, Université de Versailles, France / Gianluigi Zavattaro, Università di Bologna, Italy
Inhaltsangabe
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.