Programming Autonomic Systems with Multiple Constraint Stores
2015-01-01 Montanari, Ugo; Pugliese, Rosario; Tiezzi, Francesco
The SCEL Language: Design, Implementation, Verification
2015-01-01 De Nicola, Rocco; Latella, Diego; Lafuente, Alberto Lluch; Loreti, Michele; Margheri, Andrea; Massink, Mieke; Morichetta, Andrea; Pugliese, Rosario; Tiezzi, Francesco; Vandin, Andrea
Correctness of Service Components and Service Component Ensembles
2015-01-01 Combaz, Jacques; Bensalem, Saddek; Tiezzi, Francesco; Margheri, Andrea; Pugliese, Rosario; Kofroň, Jan
The Autonomic Cloud
2015-01-01 Mayer, Philip; Velasco, José; Klarl, Annabelle; Hennicker, Rolf; Puviani, Mariachiara; Tiezzi, Francesco; Pugliese, Rosario; Keznikl, Jaroslav; Bureš, Tomáš
Service Clustering for Autonomic Clouds Using Random Forest
2015-01-01 Uriarte, Rafael Brundo; Tsaftaris, Sotirios; Tiezzi, Francesco
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing
2016-01-01 Aceto, Luca; Larsen, Kim G.; Morichetta, Andrea; Tiezzi, Francesco
Decision Support for Mobile Cloud Computing Applications via Model Checking
2015-01-01 Aceto, Luca; Morichetta, Andrea; Tiezzi, Francesco
Causal-Consistent Reversibility in a Tuple-Based Language
2015-01-01 Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter
2015-01-01 De Nicola, Rocco; Maggi, Alessandro; Petrocchi, Marinella; Spognardi, Angelo; Tiezzi, Francesco
Trust-Based Enforcement of Security Policies
2014-01-01 Vigo, Roberto; Celestini, Alessandro; Tiezzi, Francesco; De Nicola, Rocco; Nielson, Flemming; Nielson, Hanne Riis
SLAC: A Formal Service-Level-Agreement Language for Cloud Computing
2014-01-01 Uriarte, Rafael Brundo; Tiezzi, Francesco; De Nicola, Rocco
b-Initio Molecular Dynamics Simulation of High Temperature GeO2
2015-01-01 Mancini, Giorgio; Celino, Massimo; Di Cicco, Andrea
L’irrevocabilità della transazione tra codice del 1865 e ordinamento attuale
2016-01-01 Ruggeri, Lucia
Plan Paysage Grand Nancy
2015-01-01 D'Onofrio, Rosalba
Libertà di iniziativa economica privata e libera concorrenza. Alcuni spunti di riflessione
2016-01-01 Guarnier, Tatiana
La vita delle cose
2016-01-01 Coccia, Luigi
Dissoluzione programmata
2015-01-01 Coccia, Luigi
Il declino della Terza Italia
2015-01-01 Coccia, Luigi
Nanostructure based fluorescent bio-sensors
2015-01-01 Kotla, S.; Gunnella, Roberto; Giuliodori, Anna Maria; Spurio, Roberto; Fabbretti, Attilio; Perrozzi, F.; Ottaviano, L.
Il diritto all'interruzione della gravidanza nell'ordinamento italiano al vaglio del Comitato europeo dei diritti sociali
2016-01-01 DI PAOLO, Cinzia
| Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
|---|---|---|---|---|
| Programming Autonomic Systems with Multiple Constraint Stores | 1-gen-2015 | Montanari, Ugo; Pugliese, Rosario; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
| The SCEL Language: Design, Implementation, Verification | 1-gen-2015 | De Nicola, Rocco; Latella, Diego; Lafuente, Alberto Lluch; Loreti, Michele; Margheri, Andrea; Massink, Mieke; Morichetta, Andrea; Pugliese, Rosario; Tiezzi, Francesco; Vandin, Andrea | Capitolo di libro o voce di enciclopedia | |
| Correctness of Service Components and Service Component Ensembles | 1-gen-2015 | Combaz, Jacques; Bensalem, Saddek; Tiezzi, Francesco; Margheri, Andrea; Pugliese, Rosario; Kofroň, Jan | Capitolo di libro o voce di enciclopedia | |
| The Autonomic Cloud | 1-gen-2015 | Mayer, Philip; Velasco, José; Klarl, Annabelle; Hennicker, Rolf; Puviani, Mariachiara; Tiezzi, Francesco; Pugliese, Rosario; Keznikl, Jaroslav; Bureš, Tomáš | Capitolo di libro o voce di enciclopedia | |
| Service Clustering for Autonomic Clouds Using Random Forest | 1-gen-2015 | Uriarte, Rafael Brundo; Tsaftaris, Sotirios; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
| A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing | 1-gen-2016 | Aceto, Luca; Larsen, Kim G.; Morichetta, Andrea; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
| Decision Support for Mobile Cloud Computing Applications via Model Checking | 1-gen-2015 | Aceto, Luca; Morichetta, Andrea; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
| Causal-Consistent Reversibility in a Tuple-Based Language | 1-gen-2015 | Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
| Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter | 1-gen-2015 | De Nicola, Rocco; Maggi, Alessandro; Petrocchi, Marinella; Spognardi, Angelo; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
| Trust-Based Enforcement of Security Policies | 1-gen-2014 | Vigo, Roberto; Celestini, Alessandro; Tiezzi, Francesco; De Nicola, Rocco; Nielson, Flemming; Nielson, Hanne Riis | Capitolo di libro o voce di enciclopedia | |
| SLAC: A Formal Service-Level-Agreement Language for Cloud Computing | 1-gen-2014 | Uriarte, Rafael Brundo; Tiezzi, Francesco; De Nicola, Rocco | Capitolo di libro o voce di enciclopedia | |
| b-Initio Molecular Dynamics Simulation of High Temperature GeO2 | 1-gen-2015 | Mancini, Giorgio; Celino, Massimo; Di Cicco, Andrea | Capitolo di libro o voce di enciclopedia | |
| L’irrevocabilità della transazione tra codice del 1865 e ordinamento attuale | 1-gen-2016 | Ruggeri, Lucia | Capitolo di libro o voce di enciclopedia | |
| Plan Paysage Grand Nancy | 1-gen-2015 | D'Onofrio, Rosalba | Capitolo di libro o voce di enciclopedia | |
| Libertà di iniziativa economica privata e libera concorrenza. Alcuni spunti di riflessione | 1-gen-2016 | Guarnier, Tatiana | Capitolo di libro o voce di enciclopedia | |
| La vita delle cose | 1-gen-2016 | Coccia, Luigi | Capitolo di libro o voce di enciclopedia | |
| Dissoluzione programmata | 1-gen-2015 | Coccia, Luigi | Capitolo di libro o voce di enciclopedia | |
| Il declino della Terza Italia | 1-gen-2015 | Coccia, Luigi | Capitolo di libro o voce di enciclopedia | |
| Nanostructure based fluorescent bio-sensors | 1-gen-2015 | Kotla, S.; Gunnella, Roberto; Giuliodori, Anna Maria; Spurio, Roberto; Fabbretti, Attilio; Perrozzi, F.; Ottaviano, L. | Capitolo di libro o voce di enciclopedia | |
| Il diritto all'interruzione della gravidanza nell'ordinamento italiano al vaglio del Comitato europeo dei diritti sociali | 1-gen-2016 | DI PAOLO, Cinzia | Capitolo di libro o voce di enciclopedia |
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
Scopri
Tipologia
- 3 CONTRIBUTO SPECIFICO IN VOLUME4077
Data di pubblicazione
- In corso di stampa7
- 2020 - 2026886
- 2010 - 20191624
- 2000 - 20091230
- 1990 - 1999275
- 1980 - 198952
- 1970 - 19792
- 1968 - 19691
Editore
- Springer167
- Cedam118
- Edizioni Scientifiche Italiane112
- Editoriale Scientifica74
- Quodlibet74
- Giuffrè69
- ESI61
- CEDAM56
- Giappichelli52
- Gangemi50
Rivista
- LAW AND PHILOSOPHY LIBRARY1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE61
- THE URBAN BOOK SERIES16
- SAAD PRINT | ON OCCASIONI DELLA R...15
- BREVIARIA IURIS12
- GEO_URBAN&LANDSCAPE PLANNING8
- LECTURE NOTES IN NETWORKS AND SYS...8
- PENSIERI AD ARTE8
- EXPECTATIONS6
- INTERNET OF THINGS6
- LECTURE NOTES IN COMPUTER SCIENCE6
Keyword
- Computer Science (all)9
- Theoretical Computer Science9
- architettura7
- pianificazione paesaggistica7
- rilievo integrato7
- architettura archeologica6
- Città6
- benessere5
- greening5
- modelli 2D/3D5
Lingua
- ita3009
- eng1254
- spa64
- fre55
- por28
- ger20
- chi7
- mul6
- dut2
- gre2
Accesso al fulltext
- no fulltext3122
- reserved759
- open180
- partially open15
- embargoed1