Search - IFIP Open Digital Library Access content directly

Filter your results

9 results
Structure: Internal structure identifier : 30978
publicationDateY_i : 2015
Page :
sorted by
Image document

Applicative Bisimulation and Quantum λ-Calculi

 Ugo Dal Lago , Alessandro Rioli
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.54-68, ⟨10.1007/978-3-319-24644-4_4⟩
Conference papers hal-01231800v1
Image document

A Decentralized Approach to Network-Aware Service Composition

 Valeria Cardellini , Mirko D’angelo , Vincenzo Grassi , Moreno Marzolla , Raffaela Mirandola
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.34-48, ⟨10.1007/978-3-319-24072-5_3⟩
Conference papers hal-01757563v1

Service Oriented and Cloud Computing

 Schahram Dustdar , Frank Leymann , Massimo Villari
Springer International Publishing, LNCS-9306, 2015, Lecture Notes in Computer Science, 978-3-319-24071-8. ⟨10.1007/978-3-319-24072-5⟩
Books hal-01757566v1
Image document

Blending Event-Based and Multi-Agent Systems Around Coordination Abstractions

 Andrea Omicini , Giancarlo Fortino , Stefano Mariani
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.186-193, ⟨10.1007/978-3-319-19282-6_12⟩
Conference papers hal-01774947v1
Image document

On the Integration of Automatic Deployment into the ABS Modeling Language

 Stijn De Gouw , Michael Lienhardt , Jacopo Mauro , Behrooz Nobakht , Gianluigi Zavattaro
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.49-64, ⟨10.1007/978-3-319-24072-5_4⟩
Conference papers hal-01757558v1
Image document

Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields

 Ferruccio Damiani , Mirko Viroli , Danilo Pianini , Jacob Beal
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.113-128, ⟨10.1007/978-3-319-19195-9_8⟩
Conference papers hal-01767321v1
Image document

Dynamic Choreographies Safe Runtime Updates of Distributed Applications

 Mila Dalla Preda , Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.67-82, ⟨10.1007/978-3-319-19282-6_5⟩
Conference papers hal-01227612v1

Electronic Participation

 Efthimios Tambouris , Panos Panagiotopoulos , Øystein Sæbø , Konstantinos Tarabanis , Maria A. Wimmer , et al.
LNCS-9249, 2015, Lecture Notes in Computer Science, 978-3-319-22499-2. ⟨10.1007/978-3-319-22500-5⟩
Books hal-01587629v1

Coordination Models and Languages

 Tom Holvoet , Mirko Viroli
Springer International Publishing, LNCS-9037, 2015, Lecture Notes in Computer Science, 978-3-319-19281-9. ⟨10.1007/978-3-319-19282-6⟩
Books hal-01774946v1
Page :