default search action
Journal on Reliable Intelligent Environments, Volume 3
Volume 3, Number 1, July 2017
- Miguel J. Hornos:
Application of Software Engineering techniques to improve the reliability of Intelligent Environments. 1-3 - Davy Preuveneers, Wouter Joosen:
QoC2 Breaker: intelligent software circuit breakers for fault-tolerant distributed context-aware applications. 5-20 - Nattaruedee Vithanwattana, Glenford Mapp, Carlisle Eldwidge George:
Developing a comprehensive information security framework for mHealth: a detailed analysis. 21-39 - Giuseppe Cicotti:
An evidence-based risk-oriented V-model methodology to develop ambient intelligent medical software. 41-53 - María-del-Mar Gallardo, Leticia Lavado, Laura Panizo, Laura Titolo:
A constraint-based language for modelling intelligent environments. 55-79
Volume 3, Number 2, August 2017
- Juan Carlos Augusto, Antonio Coronato:
Editorial. 81 - Jessamyn Dahmen, Diane J. Cook, Xiaobo Wang, Honglei Wang:
Smart secure homes: a survey of smart home technologies that sense, assess, and respond to security threats. 83-98 - Jianguo Hao, Abdenour Bouzouane, Sébastien Gaboury:
Complex behavioral pattern mining in non-intrusive sensor-based smart homes using an intelligent activity inference engine. 99-116 - Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Cacciagrano, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi:
Symbolic verification of event-condition-action rules in intelligent environments. 117-130 - Zoltán Horváth, Ildiko Jenak, Ferenc Brachmann:
Battery consumption of smartphone sensors. 131-136
Volume 3, Number 3, September 2017
- Antonio Coronato, Juan Carlos Augusto:
Editorial. 137 - 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. 139-157 - Luca Sabatucci, Massimo Cossentino:
Self-adaptive smart spaces by proactive means-end reasoning. 159-175 - Geeta Sharma, Sheetal Kalra:
A secure remote user authentication scheme for smart cities e-governance applications. 177-188 - Leticia Lavado, Laura Panizo, María-del-Mar Gallardo, Pedro Merino:
A characterisation of verification tools for software defined networks. 189-207
Volume 3, Number 4, December 2017
- Patrick-Benjamin Bök, Nader F. Mir:
Editorial. 209-210 - Hiroaki Hata:
A bridging VPN for connecting wireless sensor networks to data centers. 211-219 - Lav Gupta, Mohammed Samaka, Raj Jain, Aiman Erbad, Deval Bhamare, H. Anthony Chan:
Fault and performance management in multi-cloud based NFV using shallow and deep predictive structures. 221-231 - Hajime Kanzaki, Kevin Schubert, Nicholas Bambos:
Video streaming schemes for industrial IoT. 233-241 - Farad Rafique Jusob, Carlisle Eldwidge George, Glenford Mapp:
Exploring the need for a suitable privacy framework for mHealth when managing chronic diseases. 243-256
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.