Reliability and human factors in Ambient Assisted Living environments Filippo PalumboDavide La RosaOberdan Parodi Original Article 17 June 2017 Pages: 139 - 157
Self-adaptive smart spaces by proactive means–end reasoning Luca SabatucciMassimo Cossentino Original Article 31 July 2017 Pages: 159 - 175
A secure remote user authentication scheme for smart cities e-governance applications Geeta SharmaSheetal Kalra Original Article 01 August 2017 Pages: 177 - 188
A characterisation of verification tools for software defined networks Leticia LavadoLaura PanizoPedro Merino Original Article 29 July 2017 Pages: 189 - 207