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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Bravetti, Mario (Επιμελητής έκδοσης), Kloul, Leïla (Επιμελητής έκδοσης), Zavattaro, Gianluigi (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Σειρά: Lecture Notes in Computer Science, 3670
• Θέματα: Computer science.; Computer communication systems.; Computer system failures.; Software engineering.; Computer logic.; Computers and civilization.; Computer Science.; Software Engineering.; Computer Communication Networks.; Logics and Meanings of Programs.; System Performance and Evaluation.; Computers and Society.

Πίνακας περιεχομένων:

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