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 /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Bravetti, Mario (Editor ), Kloul, Leila (Editor ), Zavattaro, Gianluigi (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Theoretical Computer Science and General Issues, 3670
Temas:
Software engineering.
Computer networks .
Computer science.
Electronic digital computers-Evaluation.
Computers and civilization.
Software Engineering.
Computer Communication Networks.
Computer Science Logic and Foundations of Programming.
System Performance and Evaluation.
Computers and Society.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares