Sfoglia per Autore
On the Power of Attribute-Based Communication
2016-01-01 Yehia Abd, Alrahman; De Nicola, R; M., Loreti
Tuple spaces implementations and their efficiency
2016-01-01 Buravlev, V.; De Nicola, R; Mezzina, C
Il Futuro della Cyber Security in Italia
2016-01-01 Baldoni, R; De Nicola, R
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016
2016-01-01 De Nicola, R; Eva, Kühn
Dynamic SLAs for Clouds
2016-01-01 Rafael Brundo, Uriarte; Francesco, Tiezzi; De Nicola, R
Preface (Editorial)
2016-01-01 De Nicola, R; Kuhn, E.
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
2016-01-01 Marco, Bernardo; De Nicola, R; Jane, Hillston:
Multiparty testing preorders
2016-01-01 De Nicola, R; Melgratti, H.
Replicating Data for Better Performances in X10
2016-01-01 Marina, Andric; De Nicola, R; Alberto, Lluch-Lafuente:
AErlang: Empowering Erlang with Attribute-Based Communication.
2017-01-01 De Nicola, R; Tan, Duong; Omar, Inverso; Catia, Trubiani
Verifying Properties of Systems Relying on Attribute-Based Communication.
2017-01-01 De Nicola, R; Tan, Duong; Omar, Inverso; Franco, Mazzanti
Smart Contract Negotiation in Cloud Computing.
2017-01-01 Vincenzo, Scoca; Rafael Brundo, Uriarte; De Nicola, R
Initial Algebra for a System of Right-Linear Functors.
2017-01-01 Anna, Labella; De Nicola, R
AErlang at work
2017-01-01 De Nicola, R; Duong, T.; Inverso, O.; Trubiani, C.
GoAt: Attribute-Based Interaction in Google Go
2018-01-01 Abd Alrahman, Yehia; DE NICOLA, Rocco; Garbi, Giulio
Blockchain-Based Decentralized Cloud/Fog Solutions: Challenges, Opportunities, and Standards
2018-01-01 Uriarte, Rafael Brundo; De Nicola, Rocco
AErlang: Empowering Erlang with attribute-based communication
2018-01-01 De Nicola, Rocco; Duong, Tan; Inverso, Omar; Trubiani, Catia
A formal approach to the engineering of domain-specific distributed systems
2018-01-01 De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco
Evaluating the efficiency of Linda implementations
2018-01-01 Buravlev, V.; De Nicola, R.; Mezzina, C
Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies
2018-01-01 Buravlev, Vitaly; De Nicola, Rocco; Lluch Lafuente, Alberto; Mezzina, Claudio Antares
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| On the Power of Attribute-Based Communication | 1-gen-2016 | Yehia Abd, Alrahman; De Nicola, R; M., Loreti | |
| Tuple spaces implementations and their efficiency | 1-gen-2016 | Buravlev, V.; De Nicola, R; Mezzina, C | |
| Il Futuro della Cyber Security in Italia | 1-gen-2016 | Baldoni, R; De Nicola, R | |
| Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 | 1-gen-2016 | De Nicola, R; Eva, Kühn | |
| Dynamic SLAs for Clouds | 1-gen-2016 | Rafael Brundo, Uriarte; Francesco, Tiezzi; De Nicola, R | |
| Preface (Editorial) | 1-gen-2016 | De Nicola, R; Kuhn, E. | |
| Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems | 1-gen-2016 | Marco, Bernardo; De Nicola, R; Jane, Hillston: | |
| Multiparty testing preorders | 1-gen-2016 | De Nicola, R; Melgratti, H. | |
| Replicating Data for Better Performances in X10 | 1-gen-2016 | Marina, Andric; De Nicola, R; Alberto, Lluch-Lafuente: | |
| AErlang: Empowering Erlang with Attribute-Based Communication. | 1-gen-2017 | De Nicola, R; Tan, Duong; Omar, Inverso; Catia, Trubiani | |
| Verifying Properties of Systems Relying on Attribute-Based Communication. | 1-gen-2017 | De Nicola, R; Tan, Duong; Omar, Inverso; Franco, Mazzanti | |
| Smart Contract Negotiation in Cloud Computing. | 1-gen-2017 | Vincenzo, Scoca; Rafael Brundo, Uriarte; De Nicola, R | |
| Initial Algebra for a System of Right-Linear Functors. | 1-gen-2017 | Anna, Labella; De Nicola, R | |
| AErlang at work | 1-gen-2017 | De Nicola, R; Duong, T.; Inverso, O.; Trubiani, C. | |
| GoAt: Attribute-Based Interaction in Google Go | 1-gen-2018 | Abd Alrahman, Yehia; DE NICOLA, Rocco; Garbi, Giulio | |
| Blockchain-Based Decentralized Cloud/Fog Solutions: Challenges, Opportunities, and Standards | 1-gen-2018 | Uriarte, Rafael Brundo; De Nicola, Rocco | |
| AErlang: Empowering Erlang with attribute-based communication | 1-gen-2018 | De Nicola, Rocco; Duong, Tan; Inverso, Omar; Trubiani, Catia | |
| A formal approach to the engineering of domain-specific distributed systems | 1-gen-2018 | De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco | |
| Evaluating the efficiency of Linda implementations | 1-gen-2018 | Buravlev, V.; De Nicola, R.; Mezzina, C | |
| Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies | 1-gen-2018 | Buravlev, Vitaly; De Nicola, Rocco; Lluch Lafuente, Alberto; Mezzina, Claudio Antares |
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