Mario Bravetti's Books

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: Mario Bravetti

Write a review Read reviews Take a Quiz Solve Book Puzzle

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: Mario Bravetti

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 technologies; comparisons with different related technologies/approaches.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

372

Publisher

Taylor & Francis

Published Date

ISBN 10

3540287019

ISBN 13

9783540287018

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: Mario Bravetti

Write a review Read reviews Take a Quiz Solve Book Puzzle

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: Mario Bravetti

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

372

Publisher

Taylor & Francis

Published Date

ISBN 10

3540287019

ISBN 13

9783540287018

Web Services and Formal Methods

7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

By: Mario Bravetti,Tevfik Bultan

Write a review Read reviews Take a Quiz Solve Book Puzzle

Web Services and Formal Methods

7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

By: Mario Bravetti,Tevfik Bultan

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and selected from 26 submissions. The papers feature topics such as web services; service oriented computing; cloud computing; formal methods; verification specification; testing; and business process management.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

199

Publisher

Springer

Published Date

ISBN 10

364219589X

ISBN 13

9783642195891

Behavioral Types in Programming Languages

By: Davide Ancona,Viviana Bono,Mario Bravetti,Giuseppe Castagna,Joana Campos,Pierre-Malo Deniélou,Simon J. Gay,Nils Gesbert,Elena Giachino,Raymond Huan,Einar Broch Johnsen,Francisco Forrest Martin,Viviana Mascardi,Fabrizi Montesi

Write a review Read reviews Take a Quiz Solve Book Puzzle

Behavioral Types in Programming Languages

Behavioral Types in Programming Languages provides the reader with the first comprehensive overview of the state of the art on this topic. Each section covers a particular programming paradigm or methodology, providing an ideal reference on the topic and identifying the areas as yet unexplored.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

156

Published Date

ISBN 10

1680831348

ISBN 13

9781680831344

Web Services and Formal Methods

Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

By: Mario Bravetti,Manuel Núñez,Gianluigi Zavattaro

Write a review Read reviews Take a Quiz Solve Book Puzzle

Web Services and Formal Methods

Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

By: Mario Bravetti,Manuel Núñez,Gianluigi Zavattaro

Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The book presents 15 revised full papers and 3 invited lectures covering such topics as protocols and standards for WS; languages and description methodologies for Coreography/Orchestration/Workflow; coordination techniques for WS; security, performance evaluation and quality of service, and more.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

297

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540388621

ISBN 13

9783540388623

Book's by Mario Bravetti

Formal Techniques for Computer Systems and Business Processes

Formal Techniques for Computer Systems and Business Processes

Formal Techniques for Computer Systems and Business Processes

Formal Techniques for Computer Systems and Business Processes

Web Services and Formal Methods

Web Services and Formal Methods

Behavioral Types in Programming Languages

Behavioral Types in Programming Languages

Web Services and Formal Methods

Web Services and Formal Methods

Username

Password

Username

Password

Password again

Birthday

Email