Opening book details…
Can I read 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 on EtoBox?
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 by Peter Harrison (auth.), Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.) is a computer science book available to read on EtoBox.
What is 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 about?
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering Workshop) and WS-FM 2005 (Web Services and Formal Methods) held in Versailles, France in September 2005. The 20 revised full papers presented were carefully reviewed and selected from 59 submissions. For EPEW 2005 only 10 papers - of the 32 submitted - were accepted for presentation; they deal with queueing theory, bounding techniques, stochastic model checking, communication schemes analysis for high-speed LAN, QOS analysis in wireless ad-hoc networks and optical networks analysis. The main topics of the 10 papers accepted for WS-FM 2005 - from 27 submissions - include: protocols and standards for WS (SOAP, WSDL, UDDI, etc.); languages and description methodologies for Choreography/Orchestration/Workflow (BPML, XLANG and BizTalk, WSFL, WS-BPEL, etc.); coordination techniques for WS (transactions, agreement, coordination services, etc.); semantics-based dynamic WS discovery services (based on Semantic Web/Ontology Techniques or other semantic theories); security, performance evaluation and quality of service of WS; semi-structured data and XML related
Who reads 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?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Peter Harrison (auth.), Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2005
- Language
- EN
- ISBN
- 9783540287018
- Category
- computer science
- Subjects
- Science, Business, Programming
- Updated
- 2026-03-25
Other editions & translations
More by Peter Harrison (auth.), Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.)
Browse all works by Peter Harrison (auth.), Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.)
Similar books
- Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers — Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich (2016)
- Web services and formal methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers — Kohei Honda (auth.), Marco Carbone, Jean-Marc Petit (2012)
- Web Services and Formal Methods [recurso electrónico] 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers — Lhouari Nourine, Farouk Toumani (auth.), Maurice H. ter Beek, Niels Lohmann (2013)
- Web services and formal methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers — Mario Bravetti, Gianluigi Zavattaro (auth.), Roberto Bruni, Karsten Wolf (2009)
- Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings (Lecture Notes in Computer Science, 4937) — Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao (auth.), Marlon Dumas, Reiko Heckel (2008)
- Formal methods and stochastic models for performance evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006 : proceedings — Jean-Michel Fourneau, Leïla Kloul (auth.), András Horváth, Miklós Telek (2006)