{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,19]],"date-time":"2024-09-19T15:51:25Z","timestamp":1726761085272},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2018,5,25]],"date-time":"2018-05-25T00:00:00Z","timestamp":1527206400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Reliable Intell Environ"],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1007\/s40860-018-0063-4","type":"journal-article","created":{"date-parts":[[2018,5,25]],"date-time":"2018-05-25T05:03:55Z","timestamp":1527224635000},"page":"71-73","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Increasing user confidence in intelligent environments"],"prefix":"10.1007","volume":"4","author":[{"given":"Miguel J.","family":"Hornos","sequence":"first","affiliation":[]},{"given":"Carlos","family":"Rodr\u00edguez-Dom\u00ednguez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,25]]},"reference":[{"key":"63_CR1","doi-asserted-by":"publisher","unstructured":"Augusto JC, Callaghan V, Cook D, Kameas A, Satoh I (2013) Intelligent Environments: a manifesto. Human-centric. Comput Inf Sci 3:12. \n                    https:\/\/doi.org\/10.1186\/2192-1962-3-12","DOI":"10.1186\/2192-1962-3-12"},{"issue":"2","key":"63_CR2","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1109\/MIS.2008.19","volume":"23","author":"C Ramos","year":"2008","unstructured":"Ramos C, Augusto JC, Shapiro D (2008) Ambient Intelligence\u2014the Next Step for Artificial Intelligence. IEEE Intell Syst 23(2):15\u201318","journal-title":"IEEE Intell Syst"},{"key":"63_CR3","volume-title":"Smart environments: technology, protocols and applications","author":"D Cook","year":"2005","unstructured":"Cook D, Das SK (2005) Smart environments: technology, protocols and applications. Wiley, Hoboken"},{"key":"63_CR4","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.jss.2016.02.010","volume":"117","author":"U Alegre","year":"2016","unstructured":"Alegre U, Augusto JC, Clark T (2016) Engineering context-aware systems and applications: A survey. J Syst Softw 117:55\u201383","journal-title":"J Syst Softw"},{"issue":"1","key":"63_CR5","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/s10209-017-0527-y","volume":"17","author":"CL Oguego","year":"2018","unstructured":"Oguego CL, Augusto JC, Mu\u00f1oz A, Springett M (2018) A survey on managing users\u2019 preferences in ambient intelligence. Univ Access Inf Soc 17(1):97\u2013114","journal-title":"Univ Access Inf Soc"},{"issue":"3","key":"63_CR6","doi-asserted-by":"publisher","first-page":"1192","DOI":"10.1109\/SURV.2012.110112.00192","volume":"15","author":"OD Lara","year":"2013","unstructured":"Lara OD, Labrador MA (2013) A survey on human activity recognition using wearable sensors. IEEE Commun Surv Tutor 15(3):1192\u20131209","journal-title":"IEEE Commun Surv Tutor"},{"key":"63_CR7","unstructured":"The Guardian (2018) Video released of Uber self-driving crash that killed woman in Arizona. \n                    https:\/\/www.theguardian.com\/technology\/2018\/mar\/22\/video-released-of-uber-self-driving-crash-that-killed-woman-in-arizona"},{"issue":"1","key":"63_CR8","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/s40860-015-0001-7","volume":"1","author":"F Corno","year":"2015","unstructured":"Corno F, Guercio E, De Russis L, Gargiulo E (2015) Designing for user confidence in intelligent environments. J Reliab Intell Environ 1(1):11\u201321","journal-title":"J Reliab Intell Environ"},{"issue":"1","key":"63_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s40860-017-0043-0","volume":"3","author":"MJ Hornos","year":"2017","unstructured":"Hornos MJ (2017) Application of Software Engineering techniques to improve the reliability of Intelligent Environments. J Reliab Intell Environ 3(1):1\u20133","journal-title":"J Reliab Intell Environ"},{"key":"63_CR10","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/j.advengsoft.2012.12.004","volume":"58","author":"JC Augusto","year":"2013","unstructured":"Augusto JC, Hornos MJ (2013) Software simulation and verification to increase the reliability of Intelligent Environments. Adv Eng Softw 58:18\u201334","journal-title":"Adv Eng Softw"},{"issue":"2","key":"63_CR11","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/s40860-016-0019-5","volume":"2","author":"D Preuveneers","year":"2016","unstructured":"Preuveneers D, Joosen W (2016) Semantic analysis and verification of context-driven adaptive applications in intelligent environments. J Reliab Intell Environ 2(2):53\u201373","journal-title":"J Reliab Intell Environ"},{"issue":"2","key":"63_CR12","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/s40860-016-0020-z","volume":"2","author":"T Guilly Le","year":"2016","unstructured":"Le Guilly T, Nielsen MK, Pedersen T, Skou A, Kjeldskov J, Skov M (2016) User constraints for reliable user-defined smart home scenarios. J Reliab Intell Environ 2(2):75\u201391","journal-title":"J Reliab Intell Environ"},{"key":"63_CR13","doi-asserted-by":"publisher","unstructured":"Coronato A, De Pietro G (2011) Formal specification and verification of ubiquitous and pervasive systems. ACM Trans Auton Adapt Syst 6(1):9. \n                    https:\/\/doi.org\/10.1145\/1921641.1921650","DOI":"10.1145\/1921641.1921650"},{"issue":"12","key":"63_CR14","doi-asserted-by":"publisher","first-page":"2840","DOI":"10.1016\/j.jss.2012.07.052","volume":"85","author":"S Hallsteinsen","year":"2012","unstructured":"Hallsteinsen S, Geihs K, Paspallis N, Eliassen F, Horn G, Lorenzo J, Mamelli A, Papadopoulos GA (2012) A development framework and methodology for self-adapting applications in ubiquitous computing environments. J Syst Softw 85(12):2840\u20132859","journal-title":"J Syst Softw"},{"key":"63_CR15","doi-asserted-by":"publisher","unstructured":"Tang L, Yu Z, Wang H, Zhou X, Duan Z (2014) Methodology and tools for pervasive application development. Int J Distrib Sensor Netw. \n                    https:\/\/doi.org\/10.1155\/2014\/516432\n                    \n                   (Article ID 516432)","DOI":"10.1155\/2014\/516432"},{"issue":"3","key":"63_CR16","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1016\/j.jss.2011.05.022","volume":"85","author":"K Benghazi","year":"2012","unstructured":"Benghazi K, Hurtado MV, Hornos MJ, Rodr\u00edguez ML, Rodr\u00edguez-Dom\u00ednguez C, Pelegrina AB, Rodr\u00edguez-F\u00f3rtiz MJ (2012) Enabling correct design and formal analysis of Ambient Assisted Living systems. J Syst Softw 85(3):498\u2013510","journal-title":"J Syst Softw"},{"key":"63_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.eswa.2017.04.058","volume":"85","author":"A Coronato","year":"2017","unstructured":"Coronato A, Paragliola G (2017) A structured approach for the designing of safe AAL applications. Expert Syst Appl 85:1\u201313","journal-title":"Expert Syst Appl"},{"key":"63_CR18","unstructured":"Augusto JC, Hornos MJ (2012) Designing More Reliable MAS-based Ambient Intelligence Systems. In: Bosse T (ed) Agents and Ambient Intelligence. Ambient Intelligence and Smart Environments, vol. 12. IOS Press, Amsterdam, pp 65\u201390"},{"key":"63_CR19","doi-asserted-by":"publisher","unstructured":"Moriyama S, Kawakita Y, Takahashi J, Tobe Y (2018) Controlling of communication connection range using acoustic waves emitted from smartphones. J Reliab Intell Environ. \n                    https:\/\/doi.org\/10.1007\/s40860-018-0059-0","DOI":"10.1007\/s40860-018-0059-0"},{"key":"63_CR20","doi-asserted-by":"publisher","unstructured":"Suh YH, Lee KW, Cho ES (2018) A software framework for robotic mediators in smart environments. Journal of Reliable Intelligent Environments. \n                    https:\/\/doi.org\/10.1007\/s40860-018-0060-7","DOI":"10.1007\/s40860-018-0060-7"},{"key":"63_CR21","doi-asserted-by":"publisher","unstructured":"Given-Wilson T, Legay A, Sedwards S, Zendra O (2018) Group abstraction for assisted navigation of social activities in intelligent environments. J Reliab Intell Environ. \n                    https:\/\/doi.org\/10.1007\/s40860-018-0058-1","DOI":"10.1007\/s40860-018-0058-1"}],"container-title":["Journal of Reliable Intelligent Environments"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s40860-018-0063-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40860-018-0063-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40860-018-0063-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T19:12:20Z","timestamp":1558725140000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s40860-018-0063-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,25]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,7]]}},"alternative-id":["63"],"URL":"https:\/\/doi.org\/10.1007\/s40860-018-0063-4","relation":{},"ISSN":["2199-4668","2199-4676"],"issn-type":[{"value":"2199-4668","type":"print"},{"value":"2199-4676","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,5,25]]},"assertion":[{"value":"25 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}