Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Web Services and Formal Methods

10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
BuchKartoniert, Paperback
189 Seiten
Englisch
Springererschienen am25.07.20142014
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR42,80
E-BookPDF1 - PDF WatermarkE-Book
EUR42,79

Produkt

KlappentextThis book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013.
Details
ISBN/GTIN978-3-319-08259-2
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2014
Erscheinungsdatum25.07.2014
Auflage2014
ReiheProgramming and Software Engineering
Seiten189 Seiten
SpracheEnglisch
Gewicht312 g
IllustrationenIX, 189 p. 37 illus.
Artikel-Nr.15475007

Inhalt/Kritik

Inhaltsverzeichnis
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.mehr

Schlagworte