Get Free Shipping on orders over $89
Web Services and Formal Methods : 10th International Workshop, Ws-FM 2013, Beijing, China, August 2013, Revised Selected Papers - Chun Ouyang

Web Services and Formal Methods

10th International Workshop, Ws-FM 2013, Beijing, China, August 2013, Revised Selected Papers

By: Chun Ouyang (Editor), Emilio Tuosto (Editor)

Paperback | 25 July 2014

At a Glance

Paperback


$64.99

or 4 interest-free payments of $16.25 with

 or 

Ships in 5 to 7 business days

Introducing cloud activities around pacific rim.- Choreography revisited.- On the behaviour of general-purpose applications on cloud storages.- Formalizing RESTful services and web-OS middleware.- Visualization of successor relations in business process models.- Developing and enforcing policies for access control, resource usage, and adaptation: A practical approach.- Safe orchestration of Web services with unordered lossy communication.- Dynamic ontologies and semantic Web rules as biographical reactive systems.- On the expressiveness of parameterization in process-passing.- An operational semantics for model checking long running transactions.

More in Human-Computer Interaction

Microsoft 365 Excel All-in-One For Dummies : Excel for Dummies - David H. Ringstrom
Python All-in-One For Dummies : 3rd Edition - Alan Simpson

RRP $74.95

$49.99

33%
OFF
Microsoft 365 Excel For Dummies : For Dummies (Computer/Tech) - David H. Ringstrom
The Singularity is Nearer : When We Merge with AI - Ray Kurzweil

RRP $26.99

$22.99

15%
OFF
Theory of Fun for Game Design - Raph Koster

RRP $85.75

$68.60

20%
OFF
How To Think About AI : A Guide For The Perplexed - Richard  Susskind

RRP $25.95

$22.75

12%
OFF
How to Talk to AI : (And How Not To) - Jamie Bartlett
Counseling the Culturally Diverse : Theory and Practice - Derald Wing Sue
Superintelligence : Paths, Dangers, Strategies - Nick Bostrom

RRP $32.95

$26.99

18%
OFF
Data-driven BIM for Energy Efficient Building Design : 1st Edition - Saeed Banihashemi
Information Architecture : For the Web and Beyond : 4th Edition - Jorge Arango
Calling Bullshit : The Art of Scepticism in a Data-Driven World - Carl T. Bergstrom
HBR Guide to Generative AI for Managers : HBR Guide - Elisa Farri