Sfoglia per Autore
Run-Time management of computation domains in field calculus
2016 Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko; Casadei, Roberto
Towards aggregate programming in Scala
2016 Casadei, Roberto; Viroli, Mirko
Total elbow arthroplasty for primary and metastatic tumor
2016 Casadei, R.; De Paolis, M.; Drago, G; Romagnoli, C.; Donati, D.
Simulating large-scale aggregate MASs with alchemist and scala
2016 Casadei, Roberto; Pianini, Danilo; Viroli, Mirko
On execution platforms for large-scale aggregate computing
2016 Viroli, Mirko; Casadei, Roberto; Pianini, Danilo
Compositional Blocks for Optimal Self-Healing Gradients
2017 Audrito, Giorgio; Casadei, Roberto; Damiani, Ferruccio; Viroli, Mirko
Combining trust and aggregate computing
2018 Casadei, Roberto*; Aldini, Alessandro; Viroli, Mirko
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT
2018 Casadei, Roberto; Viroli, Mirko
Towards attack-resistant Aggregate Computing using trust mechanisms
2018 Casadei, Roberto*; Aldini, Alessandro; Viroli, Mirko
From Field-Based Coordination to Aggregate Computing
2018 Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo
Programming Actor-Based Collective Adaptive Systems
2018 Casadei, Roberto; Viroli, Mirko
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
2018 Danilo Pianini; Giovanni Ciatto; Roberto Casadei; Stefano Mariani; Mirko Viroli; Andrea Omicini
Coordinating computation at the edge: A decentralized, self-organizing, spatial approach
2019 Roberto Casadei; Mirko Viroli
Modelling and simulation of Opportunistic IoT Services with Aggregate Computing
2019 Casadei, Roberto; Fortino, Giancarlo; Pianini, Danilo; Russo, Wilma; Savaglio, Claudio*; Viroli, Mirko
Case studies for a new IoT programming paradigm: Fluidware
2019 Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli
A development approach for collective opportunistic Edge-of-Things services
2019 Casadei Roberto; Fortino Giancarlo; Pianini Danilo; Russo Wilma; Savaglio Claudio; Viroli Mirko
From distributed coordination to field calculus and aggregate computing
2019 Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo
Security in collective adaptive systems: A roadmap
2019 Danilo Pianini, Roberto Casadei, Mirko Viroli:
Engineering resilient collaborative edge-enabled IoT
2019 Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar
Aggregate processes in field calculus
2019 Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
Run-Time management of computation domains in field calculus | Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko; Casadei, Roberto | 2016-01-01 | - | IEEE | 4.01 Contributo in Atti di convegno | - |
Towards aggregate programming in Scala | Casadei, Roberto; Viroli, Mirko | 2016-01-01 | - | Association for Computing Machinery | 4.01 Contributo in Atti di convegno | - |
Total elbow arthroplasty for primary and metastatic tumor | Casadei, R.; De Paolis, M.; Drago, G; Romagnoli, C.; Donati, D. | 2016-01-01 | ORTHOPAEDICS & TRAUMATOLOGY: SURGERY & RESEARCH | - | 1.01 Articolo in rivista | - |
Simulating large-scale aggregate MASs with alchemist and scala | Casadei, Roberto; Pianini, Danilo; Viroli, Mirko | 2016-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | - |
On execution platforms for large-scale aggregate computing | Viroli, Mirko; Casadei, Roberto; Pianini, Danilo | 2016-01-01 | - | Association for Computing Machinery, Inc | 4.01 Contributo in Atti di convegno | - |
Compositional Blocks for Optimal Self-Healing Gradients | Audrito, Giorgio; Casadei, Roberto; Damiani, Ferruccio; Viroli, Mirko | 2017-01-01 | - | IEEE Computer Society | 4.01 Contributo in Atti di convegno | - |
Combining trust and aggregate computing | Casadei, Roberto*; Aldini, Alessandro; Viroli, Mirko | 2018-01-01 | LECTURE NOTES IN COMPUTER SCIENCE | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT | Casadei, Roberto; Viroli, Mirko | 2018-01-01 | - | IEEE | 4.01 Contributo in Atti di convegno | - |
Towards attack-resistant Aggregate Computing using trust mechanisms | Casadei, Roberto*; Aldini, Alessandro; Viroli, Mirko | 2018-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | - |
From Field-Based Coordination to Aggregate Computing | Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo | 2018-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
Programming Actor-Based Collective Adaptive Systems | Casadei, Roberto; Viroli, Mirko | 2018-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain | Danilo Pianini; Giovanni Ciatto; Roberto Casadei; Stefano Mariani; Mirko Viroli; Andrea Omicini | 2018-01-01 | - | ACM | 4.01 Contributo in Atti di convegno | - |
Coordinating computation at the edge: A decentralized, self-organizing, spatial approach | Roberto Casadei; Mirko Viroli | 2019-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | - |
Modelling and simulation of Opportunistic IoT Services with Aggregate Computing | Casadei, Roberto; Fortino, Giancarlo; Pianini, Danilo; Russo, Wilma; Savaglio, Claudio*; Viroli, ...Mirko | 2019-01-01 | FUTURE GENERATION COMPUTER SYSTEMS | - | 1.01 Articolo in rivista | - |
Case studies for a new IoT programming paradigm: Fluidware | Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re..., Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli | 2019-01-01 | - | CEUR-WS | 4.01 Contributo in Atti di convegno | paper6.pdf |
A development approach for collective opportunistic Edge-of-Things services | Casadei Roberto; Fortino Giancarlo; Pianini Danilo; Russo Wilma; Savaglio Claudio; Viroli Mirko | 2019-01-01 | INFORMATION SCIENCES | - | 1.01 Articolo in rivista | - |
From distributed coordination to field calculus and aggregate computing | Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo | 2019-01-01 | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - | 1.01 Articolo in rivista | ViroliM_postprint.pdf |
Security in collective adaptive systems: A roadmap | Danilo Pianini, Roberto Casadei, Mirko Viroli: | 2019-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | - |
Engineering resilient collaborative edge-enabled IoT | Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar | 2019-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | - |
Aggregate processes in field calculus | Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani | 2019-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile