Search - Working Groups Access content directly

Filter your results

51 results
Page :
sorted by
Image document

Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives

 Giovanni Ciatto , Stefano Mariani , Maxime Louvel , Andrea Omicini , Franco Zambonelli
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.51-80, ⟨10.1007/978-3-319-92408-3_3⟩
Conference papers hal-01821495v1
Image document

An Open Source Environment for an Agile Development Model

 Paolo Ciancarini , Marcello Missiroli , Francesco Poggi , Daniel Russo
16th IFIP International Conference on Open Source Systems (OSS), May 2020, Innopolis, Russia. pp.148-162, ⟨10.1007/978-3-030-47240-5_15⟩
Conference papers hal-03647279v1
Image document

Time-Fluid Field-Based Coordination

 Danilo Pianini , Stefano Mariani , Mirko Viroli , Franco Zambonelli
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.193-210, ⟨10.1007/978-3-030-50029-0_13⟩
Conference papers hal-03273993v1
Image document

Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed

 Giorgio Audrito , Ferruccio Damiani , Mirko Viroli
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.59-77, ⟨10.1007/978-3-319-59746-1_4⟩
Conference papers hal-01657344v1
Image document

Improving Gossip Dynamics Through Overlapping Replicates

 Danilo Pianini , Jacob Beal , Mirko Viroli
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.192-207, ⟨10.1007/978-3-319-39519-7_12⟩
Conference papers hal-01631721v1
Image document

Modeling and Evaluation of Application-Aware Dynamic Thermal Control in HPC Nodes

 Daniele Cesarini , Andrea Bartolini , Luca Benini
25th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2017, Abu Dhabi, United Arab Emirates. pp.198-219, ⟨10.1007/978-3-030-15663-3_10⟩
Conference papers hal-02319789v1
Image document

Foundations of Coordination and Contracts and Their Contribution to Session Type Theory

 Mario Bravetti , Gianluigi Zavattaro
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.21-50, ⟨10.1007/978-3-319-92408-3_2⟩
Conference papers hal-01821498v1
Image document

No More, No Less - A Formal Model for Serverless Computing

 Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Fabrizio Montesi , Marco Peressotti , et al.
COORDINATION 2019 - 21th International Conference on Coordination Languages and Models, Jun 2019, Kongens Lyngby, Denmark. pp.148-157, ⟨10.1007/978-3-030-22397-7_9⟩
Conference papers hal-02365509v1
Image document

The share Operator for Field-Based Coordination

 Giorgio Audrito , Jacob Beal , Ferruccio Damiani , Danilo Pianini , Mirko Viroli
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.54-71, ⟨10.1007/978-3-030-22397-7_4⟩
Conference papers hal-02365499v1
Image document

Towards a Right not to Be Deceived? An Interdisciplinary Analysis of Media Personalization in the Light of the GDPR

 Urbano Reviglio
18th Conference on e-Business, e-Services and e-Society (I3E), Sep 2019, Trondheim, Norway. pp.47-59, ⟨10.1007/978-3-030-39634-3_5⟩
Conference papers hal-03759113v1
Image document

Some Remarks on the Algebraic Properties of Group Invariant Operators in Persistent Homology

 Patrizio Frosini , Nicola Quercioli
1st International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2017, Reggio, Italy. pp.14-24, ⟨10.1007/978-3-319-66808-6_2⟩
Conference papers hal-01677132v1
Image document

Self-organising Coordination Regions: A Pattern for Edge Computing

 Roberto Casadei , Danilo Pianini , Mirko Viroli , Antonio Natali
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.182-199, ⟨10.1007/978-3-030-22397-7_11⟩
Conference papers hal-02365498v1
Image document

Microservice Dynamic Architecture-Level Deployment Orchestration

 Lorenzo Bacchiani , Mario Bravetti , Saverio Giallorenzo , Jacopo Mauro , Iacopo Talevi , et al.
COORDINATION 2021 - 23rd IFIP WG 6.1 International Conference Coordination Models and Languages, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, Jun 2021, Valletta / Virtual, Malta. pp.257-275, ⟨10.1007/978-3-030-78142-2_16⟩
Conference papers hal-03338602v1
Image document

Probabilistic Modular Embedding for Stochastic Coordinated Systems

 Stefano Mariani , Andrea Omicini
15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.151-165, ⟨10.1007/978-3-642-38493-6_11⟩
Conference papers hal-01486024v1
Image document

On a New Method to Build Group Equivariant Operators by Means of Permutants

 Francesco Camporesi , Patrizio Frosini , Nicola Quercioli
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.265-272, ⟨10.1007/978-3-319-99740-7_18⟩
Conference papers hal-02060057v1
Image document

Joint Path and Radio Resource Management for UAVs Supporting Mobile Radio Networks

 Silvia Mignardi , Roberto Verdone Dei
17th Annual Mediterranean Ad Hoc Networking Workshop (Med-Hoc-Net 2018), Jun 2018, Capri Island, Italy. pp.31-37
Conference papers hal-01832495v1
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
Image document

The Strategic Technical Debt Management Model: An Empirical Proposal

 Paolo Ciancarini , Daniel Russo
16th IFIP International Conference on Open Source Systems (OSS), May 2020, Innopolis, Russia. pp.131-140, ⟨10.1007/978-3-030-47240-5_13⟩
Conference papers hal-03647271v1
Image document

Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves

 Roberto Gorrieri
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.80-99, ⟨10.1007/978-3-030-78089-0_5⟩
Conference papers hal-03740270v1
Image document

Adaptive Function Chaining for Efficient Design of 5G Xhaul

 Bahare M. Khorsandi , Didier Colle , Wouter Tavernier , Carla Raffaelli
23th International IFIP Conference on Optical Network Design and Modeling (ONDM), May 2019, Athens, Greece. pp.94-107, ⟨10.1007/978-3-030-38085-4_9⟩
Conference papers hal-03200678v1
Image document

Simulation of Large Scale Computational Ecosystems with Alchemist: A Tutorial

 Danilo Pianini
21th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2021, Valletta, Malta. pp.145-161, ⟨10.1007/978-3-030-78198-9_10⟩
Conference papers hal-03384853v1

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

Configurable Low-Latency Interconnect for Multi-core Clusters

 Giulia Beanato , Igor Loi , Giovanni De Micheli , Yusuf Leblebici , Luca Benini
20th International Conference on Very Large Scale Integration (VLSI-SoC), Aug 2012, Santa Cruz, CA, United States. pp.107-124, ⟨10.1007/978-3-642-45073-0_6⟩
Conference papers hal-01456965v1
Image document

Analysis of Deadlocks in Object Groups

 Elena Giachino , Cosimo Laneve
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.168-182, ⟨10.1007/978-3-642-21461-5_11⟩
Conference papers hal-01583328v1
Image document

OGDL4M Ontology: Analysis of EU Member States National PSI Law

 Martynas Mockus
10th International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS), Dec 2016, Vienna, Austria. pp.59-73, ⟨10.1007/978-3-319-49944-4_5⟩
Conference papers hal-01630549v1
Image document

Graphic-Based Concept Retrieval

 Massimo Ferri
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.460-468
Conference papers hal-01506774v1
Image document

A Session Subtyping Tool

 Lorenzo Bacchiani , Mario Bravetti , Julien Lange , Gianluigi Zavattaro
COORDINATION 2021 - 23rd IFIP WG 6.1 International Conference Coordination Models and Languages, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, Jun 2021, Valletta / Virtual, Malta. pp.90-105, ⟨10.1007/978-3-030-78142-2_6⟩
Conference papers hal-03340750v1
Image document

Verification of Ad Hoc Networks with Node and Communication Failures

 Giorgio Delzanno , Arnaud Sangnier , Gianluigi Zavattaro
14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.235-250
Conference papers hal-00909367v1
Page :