137 | -- | 0 | Antonio Coronato, Juan Carlos Augusto. Editorial |
139 | -- | 157 | Filippo Palumbo, Davide La Rosa, Erina Ferro, Davide Bacciu, Claudio Gallicchio, Alessio Micheli, Stefano Chessa, Federico Vozzi, Oberdan Parodi. Reliability and human factors in Ambient Assisted Living environments - The DOREMI case study |
159 | -- | 175 | Luca Sabatucci, Massimo Cossentino. Self-adaptive smart spaces by proactive means-end reasoning |
177 | -- | 188 | Geeta Sharma, Sheetal Kalra. A secure remote user authentication scheme for smart cities e-governance applications |
189 | -- | 207 | Leticia Lavado, Laura Panizo, María-del-Mar Gallardo, Pedro Merino 0001. A characterisation of verification tools for software defined networks |