Search - IFIP Open Digital Library Access content directly

Filter your results

11 results
Author: personID (integer) : 1009076
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

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

Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments

Mirko Viroli , Danilo Pianini , Jacob Beal
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.212-229, ⟨10.1007/978-3-642-30829-1_15⟩
Conference papers hal-01529604v1
Image document

On a Higher-Order Calculus of Computational Fields

Jacob Beal , Giorgio Audrito , Mirko Viroli , Ferruccio Damiani , Danilo Pianini
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.289-292, ⟨10.1007/978-3-030-21759-4_17⟩
Conference papers hal-02313736v1
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

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

ScaFi-Web: A Web-Based Application for Field-Based Coordination Programming

Gianluca Aguzzi , Roberto Casadei , Niccolò Maltoni , Danilo Pianini , Mirko Viroli
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.285-299, ⟨10.1007/978-3-030-78142-2_18⟩
Conference papers hal-03387835v1
Image document

From Field-Based Coordination to Aggregate Computing

Mirko Viroli , Jacob Beal , Ferruccio Damiani , Giorgio Audrito , Roberto Casadei , et al.
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.252-279, ⟨10.1007/978-3-319-92408-3_12⟩
Conference papers hal-01821488v1
Image document

Aggregate Processes in Field Calculus

Roberto Casadei , Mirko Viroli , Giorgio Audrito , Danilo Pianini , Ferruccio Damiani
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.200-217, ⟨10.1007/978-3-030-22397-7_12⟩
Conference papers hal-02365504v1
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

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