Articles avec mandats d'accès public - Mirko ViroliEn savoir plus
Non disponibles : 2
Programming distributed collective processes for dynamic ensembles and collective tasks
G Audrito, R Casadei, F Damiani, G Torta, M Viroli
International Conference on Coordination Languages and Models, 71-89, 2023
Exigences : Government of Italy
Field-Based Coordination for Federated Learning
D Domini, G Aguzzi, L Esterle, M Viroli
International Conference on Coordination Models and Languages, 56-74, 2024
Exigences : Danish Council for Independent Research
Disponibles quelque part : 46
Aggregate programming for the internet of things
J Beal, D Pianini, M Viroli
Computer 48 (9), 22-30, 2015
Exigences : Government of Italy
Engineering resilient collective adaptive systems by self-stabilisation
M Viroli, G Audrito, J Beal, F Damiani, D Pianini
ACM Transactions on Modeling and Computer Simulation (TOMACS) 28 (2), 1-28, 2018
Exigences : US Department of Defense, European Commission
From distributed coordination to field calculus and aggregate computing
M Viroli, J Beal, F Damiani, G Audrito, R Casadei, D Pianini
Journal of Logical and Algebraic Methods in Programming 109, 100486, 2019
Exigences : European Commission
A higher-order calculus of computational fields
G Audrito, M Viroli, F Damiani, D Pianini, J Beal
ACM Transactions on Computational Logic (TOCL) 20 (1), 1-55, 2019
Exigences : European Commission
Modeling Opportunistic IoT Services in Open IoT Ecosystems.
G Fortino, W Russo, C Savaglio, M Viroli, M Zhou
WOA, 90-95, 2017
Exigences : European Commission
Code mobility meets self-organisation: A higher-order calculus of computational fields
F Damiani, M Viroli, D Pianini, J Beal
International Conference on Formal Techniques for Distributed Objects …, 2015
Exigences : European Commission, Government of Italy
Engineering collective intelligence at the edge with aggregate processes
R Casadei, M Viroli, G Audrito, D Pianini, F Damiani
Engineering Applications of Artificial Intelligence 97, 104081, 2021
Exigences : Government of Italy
Compositional blocks for optimal self-healing gradients
G Audrito, R Casadei, F Damiani, M Viroli
2017 IEEE 11th International Conference on Self-Adaptive and Self-Organizing …, 2017
Exigences : European Commission
Self-adaptation to device distribution in the Internet of Things
J Beal, M Viroli, D Pianini, F Damiani
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 12 (3), 1-29, 2017
Exigences : US Department of Defense, European Commission
Efficient engineering of complex self-organising systems by self-stabilising fields
M Viroli, J Beal, F Damiani, D Pianini
2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing …, 2015
Exigences : European Commission, Government of Italy
A calculus of self-stabilising computational fields
M Viroli, F Damiani
Coordination Models and Languages: 16th IFIP WG 6.1 International Conference …, 2014
Exigences : European Commission, Government of Italy
Pulverization in cyber-physical systems: Engineering the self-organizing logic separated from deployment
R Casadei, D Pianini, A Placuzzi, M Viroli, D Weyns
Future Internet 12 (11), 203, 2020
Exigences : Government of Italy
Space-time universality of field calculus
G Audrito, J Beal, F Damiani, M Viroli
Coordination Models and Languages: 20th IFIP WG 6.1 International Conference …, 2018
Exigences : European Commission
From field-based coordination to aggregate computing
M Viroli, J Beal, F Damiani, G Audrito, R Casadei, D Pianini
Coordination Models and Languages: 20th IFIP WG 6.1 International Conference …, 2018
Exigences : European Commission
A type-sound calculus of computational fields
F Damiani, M Viroli, J Beal
Science of Computer Programming 117, 17-44, 2016
Exigences : European Commission, Government of Italy
ScaFi: A Scala DSL and toolkit for aggregate programming
R Casadei, M Viroli, G Aguzzi, D Pianini
SoftwareX 20, 101248, 2022
Exigences : Government of Italy
Adaptive distributed monitors of spatial properties for cyber–physical systems
G Audrito, R Casadei, F Damiani, V Stolz, M Viroli
Journal of Systems and Software 175, 110908, 2021
Exigences : Government of Italy
A methodology and simulation-based toolchain for estimating deployment performance of smart collective services at the edge
R Casadei, G Fortino, D Pianini, A Placuzzi, C Savaglio, M Viroli
IEEE Internet of Things Journal 9 (20), 20136-20148, 2022
Exigences : Government of Italy
Les informations concernant la publication et le financement sont déterminées automatiquement par un programme informatique