


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














