Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

44 results
Page :
sorted by
Image document

SONIC-MAN: A Distributed Protocol for Dynamic Community Detection and Management

 Barbara Guidi , Andrea Michienzi , Laura Ricci
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.93-109, ⟨10.1007/978-3-319-93767-0_7⟩
Conference papers hal-01824639v1
Image document

BGP and Inter-AS Economic Relationships

 Enrico Gregori , Alessandro Improta , Luciano Lenzini , Lorenzo Rossi , Luca Sani
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.54-67, ⟨10.1007/978-3-642-20798-3_5⟩
Conference papers hal-01597984v1
Image document

A Labelled Semantics for Soft Concurrent Constraint Programming

 Fabio Gadducci , Francesco Santini , Luis Pino , Frank Valencia
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.133-149, ⟨10.1007/978-3-319-19282-6_9⟩
Conference papers hal-01149227v1
Image document

A Multi-planar Approach to Encoding Story Worlds for Dynamic Narrative Generation

 David John Tree , Alessio Malizia
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.355-358, ⟨10.1007/978-3-030-85607-6_36⟩
Conference papers hal-04291220v1
Image document

Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults

 Anna Bernasconi , Valentina Ciriani
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.1-12, ⟨10.1007/978-3-662-44602-7_1⟩
Conference papers hal-01402013v1

Human-Computer Interaction – INTERACT 2021

 Carmelo Ardito , Rosa Lanzilotti , Alessio Malizia , Helen Petrie , Antonio Piccinno , et al.
Springer International Publishing, LNCS-12933, 2021, Lecture Notes in Computer Science, 978-3-030-85615-1. ⟨10.1007/978-3-030-85616-8⟩
Books hal-04196866v1
Image document

A Formal Approach to the Engineering of Domain-Specific Distributed Systems

 Rocco De Nicola , Gianluigi Ferrari , Rosario Pugliese , Francesco Tiezzi
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.110-141, ⟨10.1007/978-3-319-92408-3_5⟩
Conference papers hal-01821499v1

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
Image document

Formalising Security in Ubiquitous and Cloud Scenarios

 Pierpaolo Degano , Gian-Luigi Ferrari , Letterio Galletta , Gianluca Mezzetti , Chiara Bodei
11th International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2012, Venice, Italy. pp.1-29, ⟨10.1007/978-3-642-33260-9_1⟩
Conference papers hal-01551710v1
Image document

Towards a Spatial Model Checker on GPU

 Laura Bussi , Vincenzo Ciancia , Fabio Gadducci
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.188-196, ⟨10.1007/978-3-030-78089-0_12⟩
Conference papers hal-03740266v1
Image document

A Denotational View of Replicated Data Types

 Fabio Gadducci , Hernán Melgratti , Christian Roldán
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.138-156, ⟨10.1007/978-3-319-59746-1_8⟩
Conference papers hal-01657339v1
Image document

Uniform Obfuscation for Location Privacy

 Gianluca Dini , Pericle Perazzo
26th Conference on Data and Applications Security and Privacy (DBSec), Jul 2012, Paris, France. pp.90-105, ⟨10.1007/978-3-642-31540-4_7⟩
Conference papers hal-01534755v1
Image document

Barbed Semantics for Open Reactive Systems

 Fabio Gadducci , Giacoma Valentina Monreale
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.161-177, ⟨10.1007/978-3-642-37635-1_10⟩
Conference papers hal-01485968v1
Image document

Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning

 Artur Boronat , Roberto Bruni , Alberto Lluch Lafuente , Ugo Montanari , Generoso Paolillo
Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.2-16, ⟨10.1007/978-3-642-13464-7_2⟩
Conference papers hal-01055150v1
Image document

Mining Learning Processes from FLOSS Mailing Archives

 Patrick Mukala , Antonio Cerone , Franco Turini
14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.287-298, ⟨10.1007/978-3-319-25013-7_23⟩
Conference papers hal-01448047v1

Human-Computer-Interaction – INTERACT 2021

 Carmelo Ardito , Rosa Lanzilotti , Alessio Malizia , Helen Petrie , Antonio Piccinno , et al.
Springer International Publishing, LNCS-12936, 2021, Lecture Notes in Computer Science, 978-3-030-85606-9. ⟨10.1007/978-3-030-85607-6⟩
Books hal-04291268v1
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
Page :