Search - IFIP Open Digital Library Access content directly

Filter your results

56 results
Structure: Internal structure identifier : 366408
Page :
sorted by
Image document

Where Do Your IoT Ingredients Come From?

 Chiara Bodei , Pierpaolo Degano , Gian-Luigi Ferrari , Letterio Galletta
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.35-50, ⟨10.1007/978-3-319-39519-7_3⟩
Conference papers hal-01631717v1
Image document

A Fixpoint-Based Calculus for Graph-Shaped Computational Fields

 Alberto Lluch Lafuente , Michele Loreti , Ugo Montanari
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.101-116, ⟨10.1007/978-3-319-19282-6_7⟩
Conference papers hal-01774933v1
Image document

Formal Analysis of Security Metrics and Risk

 Leanid Krautsevich , Fabio Martinelli , Artsiom Yautsiukhin
5th Workshop on Information Security Theory and Practices (WISTP), Jun 2011, Heraklion, Crete, Greece. pp.304-319, ⟨10.1007/978-3-642-21040-2_22⟩
Conference papers hal-01573302v1
Image document

Types for Coordinating Secure Behavioural Variations

 Pierpaolo Degano , Gian-Luigi Ferrari , Letterio Galletta , Gianluca Mezzetti
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.261-276, ⟨10.1007/978-3-642-30829-1_18⟩
Conference papers hal-01529592v1
Image document

Human-Computer Interaction – INTERACT 2021

 Carmelo Ardito , Rosa Lanzilotti , Alessio Malizia , Helen Petrie , Antonio Piccinno , et al.
Springer International Publishing, Lecture Notes in Computer Science (LNCS-12932), 2021, Lecture Notes in Computer Science
Books hal-04332257v1
Image document

Adaptable Transition Systems

 Roberto Bruni , Andrea Corradini , Fabio Gadducci , Alberto Lluch Lafuente , Andrea Vandin
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.95-110, ⟨10.1007/978-3-642-37635-1_6⟩
Conference papers hal-01485980v1
Image document

A Survey of Compositional Signal Flow Theory

 Filippo Bonchi , Paweł Sobociński , Fabio Zanasi
Advancing Research in Information and Communication Technology, AICT-600, pp.29-56, 2021, ⟨10.1007/978-3-030-81701-5_2⟩
Book sections hal-03325995v1
Image document

Mining Collaboration Opportunities to Support Joined-Up Government

 Rilwan Basanya , Adegboyega Ojo , Tomasz Janowski , Franco Turini
12th Working Conference on Virtual Enterprises (PROVE), Oct 2011, São Paulo, Brazil. pp.359-366, ⟨10.1007/978-3-642-23330-2_40⟩
Conference papers hal-01569976v1
Image document

A ’Lean’ Fuzzy Rule to Speed-Up a Taylor-Made Warehouse Management Process

 Lapo Chirici , Kesheng Wang
6th Programming Languages for Manufacturing (PROLAMAT), Oct 2013, Dresden, Germany. pp.61-72, ⟨10.1007/978-3-642-41329-2_8⟩
Conference papers hal-01485841v1

Human-Computer Interaction – INTERACT 2021

 Carmelo Ardito , Rosa Lanzilotti , Alessio Malizia , Helen Petrie , Antonio Piccinno , et al.
Springer International Publishing, LNCS-12935, 2021, Lecture Notes in Computer Science, 978-3-030-85609-0. ⟨10.1007/978-3-030-85610-6⟩
Books hal-04215530v1

Human-Computer Interaction – INTERACT 2021

 Carmelo Ardito , Rosa Lanzilotti , Alessio Malizia , Helen Petrie , Antonio Piccinno , et al.
Springer International Publishing, LNCS-12934, 2021, Lecture Notes in Computer Science, 978-3-030-85612-0. ⟨10.1007/978-3-030-85613-7⟩
Books hal-04292364v1
Image document

Encoding Synchronous Interactions Using Labelled Petri Nets

 Paolo Baldan , Filippo Bonchi , Fabio Gadducci , Giacoma V. Monreale
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.1-16, ⟨10.1007/978-3-662-43376-8_1⟩
Conference papers hal-01290063v1
Image document

Modelling the Dynamic Reconfiguration of Application Topologies, Faults Included

 Antonio Brogi , Andrea Canciani , Jacopo Soldani
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.178-196, ⟨10.1007/978-3-319-59746-1_10⟩
Conference papers hal-01657338v1
Image document

Blockchain Based Access Control

 Damiano Di Francesco Maesa , Paolo Mori , Laura Ricci
17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.206-220, ⟨10.1007/978-3-319-59665-5_15⟩
Conference papers hal-01800124v1
Image document

TOSCA in a Nutshell: Promises and Perspectives

 Antonio Brogi , Jacopo Soldani , Pengwei Wang
3rd Service-Oriented and Cloud Computing (ESOCC), Sep 2014, Manchester, United Kingdom. pp.171-186, ⟨10.1007/978-3-662-44879-3_13⟩
Conference papers hal-01318292v1
Image document

Testing Conformance in Multi-component Enterprise Application Management

 Jacopo Soldani , Lars Luthmann , Malte Lochau , Antonio Brogi
8th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2020, Heraklion, Crete, Greece. pp.3-18, ⟨10.1007/978-3-030-44769-4_1⟩
Conference papers hal-03203225v1
Image document

Technology-Agnostic Declarative Deployment Automation of Cloud Applications

 Michael Wurster , Uwe Breitenbücher , Antonio Brogi , Lukas Harzenetter , Frank Leymann , et al.
8th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2020, Heraklion, Crete, Greece. pp.97-112, ⟨10.1007/978-3-030-44769-4_8⟩
Conference papers hal-03203261v1
Image document

A Compositional Model for Gesture Definition

 Lucio Davide Spano , Antonio Cisternino , Fabio Paternò
4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.34-52, ⟨10.1007/978-3-642-34347-6_3⟩
Conference papers hal-01556826v1
Image document

Playing with Our CAT and Communication-Centric Applications

 Davide Basile , Pierpaolo Degano , Gian-Luigi Ferrari , Emilio Tuosto
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.62-73, ⟨10.1007/978-3-319-39570-8_5⟩
Conference papers hal-01432928v1
Image document

Fault-Aware Application Management Protocols

 Antonio Brogi , Andrea Canciani , Jacopo Soldani
5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.219-234, ⟨10.1007/978-3-319-44482-6_14⟩
Conference papers hal-01638591v1
Image document

Open Multiparty Interaction

 Chiara Bodei , Linda Brodo , Roberto Bruni
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.1-23, ⟨10.1007/978-3-642-37635-1_1⟩
Conference papers hal-01485975v1

Formal Techniques for Distributed Systems

 Roberto Bruni , Juergen Dingel
Springer, LNCS-6722, 2011, Lecture Notes in Computer Science, 978-3-642-21460-8. ⟨10.1007/978-3-642-21461-5⟩
Books hal-01583312v1
Image document

A Privacy Risk Model for Trajectory Data

 Anirban Basu , Anna Monreale , Juan Camilo Corena , Fosca Giannotti , Dino Pedreschi , et al.
8th IFIP International Conference on Trust Management (IFIPTM), Jul 2014, Singapore, Singapore. pp.125-140, ⟨10.1007/978-3-662-43813-8_9⟩
Conference papers hal-01381683v1
Image document

A Fuzzy Decision Support System for Drawing Directions from Purchasing Portfolio Models

 Davide Aloini , Riccardo Dulmin , Valeria Mininno
19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. pp.568-575, ⟨10.1007/978-3-642-40361-3_72⟩
Conference papers hal-01470669v1
Image document

Software Reuse in Local Public Bodies: Lessons Learned in Tuscany

 Vincenzo Ambriola , Giovanni A. Cignoni
9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.375-386, ⟨10.1007/978-3-642-14799-9_32⟩
Conference papers hal-01056574v1
Image document

From Cells as Computation to Cells as Apps

 Andrea Bracciali , Enrico Cataldo , Luisa Damiano , Claudio Felicioli , Roberto Marangoni , et al.
3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. pp.116-130, ⟨10.1007/978-3-319-47286-7_8⟩
Conference papers hal-01615291v1
Image document

A Modular LTS for Open Reactive Systems

 Fabio Gadducci , Giacoma Valentina Monreale , Ugo Montanari
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.134-148, ⟨10.1007/978-3-642-33475-7_10⟩
Conference papers hal-01556218v1
Image document

Service-Oriented and Cloud Computing

 Antonio Brogi , Wolf Zimmermann , Kyriakos Kritikos
Springer International Publishing, LNCS-12054, 2020, Lecture Notes in Computer Science, 978-3-030-44768-7. ⟨10.1007/978-3-030-44769-4⟩
Books hal-03203229v1
Image document

First-Order Dynamic Logic for Compensable Processes

 Roberto Bruni , Carla Ferreira , Anne Kersten Kauer
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.104-121, ⟨10.1007/978-3-642-30829-1_8⟩
Conference papers hal-01529601v1
Image document

Modelling and Analysing Cloud Application Management

 Antonio Brogi , Andrea Canciani , Jacopo Soldani
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.19-33, ⟨10.1007/978-3-319-24072-5_2⟩
Conference papers hal-01757559v1
Page :