It's smart to be fair. Researchers from the Formal Methods and Tools group of ISTI-CNR are working on scalable analysis techniques to support smart applications for the efficient and equitable sharing of resources in the cities of our future. The research is being carried out under the European FET-Proactive project, QUANTICOL.
A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities
Ter Beek M H;Bortolussi L;Ciancia V;Gnesi S;
2014
Abstract
It's smart to be fair. Researchers from the Formal Methods and Tools group of ISTI-CNR are working on scalable analysis techniques to support smart applications for the efficient and equitable sharing of resources in the cities of our future. The research is being carried out under the European FET-Proactive project, QUANTICOL.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_284137-doc_81174.pdf
accesso aperto
Descrizione: ERCIM NEWS 98: Smart Cities July 2014
Tipologia:
Versione Editoriale (PDF)
Dimensione
6.53 MB
Formato
Adobe PDF
|
6.53 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
