Search - IFIP Open Digital Library Access content directly

Filter your results

16 results
Structure: Internal structure identifier : 301837
Page :
sorted by
Image document

Reversible Choreographies via Monitoring in Erlang

 Adrian Francalanza , Claudio Antares Mezzina , Emilio Tuosto
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.75-92, ⟨10.1007/978-3-319-93767-0_6⟩
Conference papers hal-01824635v1
Image document

Reputation-Based Cooperation in the Clouds

 Alessandro Celestini , Alberto Lluch Lafuente , Philip Mayer , Stefano Sebastio , Francesco Tiezzi
8th IFIP International Conference on Trust Management (IFIPTM), Jul 2014, Singapore, Singapore. pp.213-220, ⟨10.1007/978-3-662-43813-8_15⟩
Conference papers hal-01381690v1
Image document

Worst- and Average-Case Privacy Breaches in Randomization Mechanisms

 Michele Boreale , Michela Paolini
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.72-86, ⟨10.1007/978-3-642-33475-7_6⟩
Conference papers hal-01556211v1
Image document

AErlang: Empowering Erlang with Attribute-Based Communication

 Rocco de Nicola , Tan Duong , Omar Inverso , Catia Trubiani
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.21-39, ⟨10.1007/978-3-319-59746-1_2⟩
Conference papers hal-01657341v1
Image document

Network-Aware Evaluation Environment for Reputation Systems

 Alessandro Celestini , Rocco De Nicola , Francesco Tiezzi
7th Trust Management (TM), Jun 2013, Malaga, Spain. pp.231-238, ⟨10.1007/978-3-642-38323-6_17⟩
Conference papers hal-01468174v1
Image document

Replica-Based High-Performance Tuple Space Computing

 Marina Andrić , Rocco De Nicola , Alberto Lluch Lafuente
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.3-18, ⟨10.1007/978-3-319-19282-6_1⟩
Conference papers hal-01774936v1
Image document

Quantitative Information Flow under Generic Leakage Functions and Adaptive Adversaries

 Michele Boreale , Francesca Pampaloni
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.166-181, ⟨10.1007/978-3-662-43613-4_11⟩
Conference papers hal-01398015v1
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

Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction

 Rocco De Nicola , Giulio Iacobelli , Mirco Tribastone
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.216-231, ⟨10.1007/978-3-662-43613-4_14⟩
Conference papers hal-01398017v1

Coordination Models and Languages

 Rocco De Nicola , Christine Julien
Springer, LNCS-7890, 2013, Lecture Notes in Computer Science, 978-3-642-38492-9. ⟨10.1007/978-3-642-38493-6⟩
Books hal-01486134v1
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

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

On the Power of Attribute-Based Communication

 Yehia Abd Alrahman , Rocco de Nicola , Michele Loreti
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.1-18, ⟨10.1007/978-3-319-39570-8_1⟩
Conference papers hal-01432924v1
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
Page :