Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
Sparsifying Congested Cliques and Core-Periphery Networks
2016-01-01 Balliu, Alkida; Fraigniaud, Pierre; Lotker, Zvi; Olivetti, Dennis
Systematic Recovery of MDE Technology Usage
2018-01-01 Di Rocco, Juri; Di Ruscio, Davide; Härtel, Johannes; Iovino, Ludovico; Lämmel, Ralf; Pierantonio, Alfonso
Testing Equivalence vs. Runtime Monitoring
2019-01-01 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Trustworthy Global Computing
2014-01-01 Maffei, Matteo; Tuosto, Emilio
Weaving Open Services with Runtime Models for Continuous Smart Cities KPIs Assessment
2021-01-01 DE SANCTIS, Martina; Iovino, Ludovico; Rossi, MARIA TERESA; Wimmer, Manuel
Web Services and Formal Methods
2014-01-01 Tuosto, Emilio; Ouyang, Chun
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Sparsifying Congested Cliques and Core-Periphery Networks | 1-gen-2016 | Balliu, Alkida; Fraigniaud, Pierre; Lotker, Zvi; Olivetti, Dennis | |
Systematic Recovery of MDE Technology Usage | 1-gen-2018 | Di Rocco, Juri; Di Ruscio, Davide; Härtel, Johannes; Iovino, Ludovico; Lämmel, Ralf; Pierantonio, Alfonso | |
Testing Equivalence vs. Runtime Monitoring | 1-gen-2019 | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina | |
Trustworthy Global Computing | 1-gen-2014 | Maffei, Matteo; Tuosto, Emilio | |
Weaving Open Services with Runtime Models for Continuous Smart Cities KPIs Assessment | 1-gen-2021 | DE SANCTIS, Martina; Iovino, Ludovico; Rossi, MARIA TERESA; Wimmer, Manuel | |
Web Services and Formal Methods | 1-gen-2014 | Tuosto, Emilio; Ouyang, Chun |
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