Cantitate/Preț
Produs

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: Lecture Notes in Computer Science, cartea 9421

Editat de Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich
en Limba Engleză Paperback – 20 apr 2016
This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015.

The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015.

The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types. 
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 27019 lei

Preț vechi: 33773 lei
-20% Nou

Puncte Express: 405

Preț estimativ în valută:
5171 5334$ 4376£

Carte tipărită la comandă

Livrare economică 05-19 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319336114
ISBN-10: 3319336118
Pagini: 156
Ilustrații: XVII, 167 p. 36 illus.
Dimensiuni: 155 x 235 x 10 mm
Greutate: 0.27 kg
Ediția:1st ed. 2016
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Cham, Switzerland

Cuprins

Kickstarting Choreographic Programming.- On the Suitability of Behavioral Profiles for Process Model Comparison.- Formal Verification of Petri Nets with Names.- Modeling and formal analysis of a client-server application for Cloud services.- An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems.- Designing Efficient XACML Policies for RESTful Services.- Type Inference for Session Types in the Pi-Calculus.- Type checking purpose-based access control policies in the pi-calculus.- On the decidability of honesty and of its variants.

Caracteristici

Includes supplementary material: sn.pub/extras