Sfoglia per Autore
Alessandro Celestini, Gianpiero Costantino, Rocco De Nicola, Zakaria Maamar, Fabio Martinelli, Marinella Petrocchi, Francesco Tiezzi: Reputation-Based Composition of Social Web Services.
2014-01-01 Celestini, A; Costantino, G; De Nicola, R; Maamar, Z; Martinelli, F; Petrocchi, M; Tiezzi, F
SLAC: A formal service-level-agreement language for cloud computing
2014-01-01 Uriarte, R. B.; Tiezzi, F.; De Nicola, R
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterisations
2014-01-01 Bernardo, M; De Nicola, R; Loreti, M
Relating strong behavioral equivalences for processes with nondeterminism and probabilities
2014-01-01 Bernardo, M; De Nicola, R; Loreti, M
Programming and Verifying Component Ensembles.
2014-01-01 De Nicola, R; Lluch-Lafuente, A; Loreti, M; Morichetta, A; Pugliese, R; Senni, V; Tiezzi, F
Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software
2014-01-01 Belzner, L; De Nicola, R; Vandin, A; Wirsing, M
A Formal Approach to Autonomic Systems Programming: The SCEL Language
2014-01-01 De Nicola, R; Loreti, M; Pugliese, R; Tiezzi, F
Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction
2014-01-01 Wirsing, M; De Nicola, R; Hölzl, M
Self-expression and Dynamic Attribute-Based Ensembles in SCEL
2014-01-01 Cabri, G; Capodieci, N; Cesari, L; De Nicola, R; Pugliese, R; Tiezzi, F; Zambonelli, F
Editor's Note
2014-01-01 De Nicola, R
A formal approach to autonomic systems programming: the SCEL language
2014-01-01 De Nicola, R
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
2015-01-01 Bernardo, M; De Nicola, R; Loreti, M
A Homage to Martin Wirsing. Software, Services, and Systems
2015-01-01 De Nicola, R; Hennicker, R
CaSPiS: a calculus of sessions, pipelines and services
2015-01-01 Boreale, M; Bruni, R; De Nicola, R; Loreti, M
A calculus for attribute-based communication
2015-01-01 Alrahman, Y. A.; De Nicola, R; Loreti, M.; Tiezzi, F.; Vigo, R
CARMA: Collective adaptive resource-sharing markovian agents
2015-01-01 Bortolussi, L.; De Nicola, R; Galpin, V.; Gilmore, S.; Hillston, J.; Latella, D.; Loreti, M.; Massink, M.
Global protocol implementations via attribute-based communication
2015-01-01 De Nicola, R; Mezzina, CLAUDIO ANTARES; MENDES TORRES VIEIRA, H
Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
2015-01-01 De Nicola, R; Hennicker, R
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
2016-01-01 Marco, Bernardo; De Nicola, R; Jane, Hillston:
Programming of CAS Systems by Relying on Attribute-Based Communication
2016-01-01 Yehia Abd, Alrahman; De Nicola, R; Michele, Loreti
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