{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T09:10:12Z","timestamp":1760346612601,"version":"3.40.3"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319615776"},{"type":"electronic","value":"9783319615783"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-61578-3_33","type":"book-chapter","created":{"date-parts":[[2017,7,15]],"date-time":"2017-07-15T02:06:39Z","timestamp":1500084399000},"page":"264-267","source":"Crossref","is-referenced-by-count":2,"title":["Self-healing Mechanism over the Cloud on Interaction Layer for AALs Using HARMS"],"prefix":"10.1007","author":[{"given":"Mauricio","family":"Gomez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abelghani","family":"Chibani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yacine","family":"Amirat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric T.","family":"Matson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"11","key":"33_CR1","doi-asserted-by":"publisher","first-page":"1186","DOI":"10.1016\/j.robot.2013.04.001","volume":"61","author":"J Lewis","year":"2013","unstructured":"Lewis, J., Matson, E.T., Wei, S., Min, B.C.: Implementing HARMS-based indistinguishability in ubiquitous robot organizations. Robot. Autonom. Syst. 61(11), 1186\u20131192 (2013)","journal-title":"Robot. Autonom. Syst."},{"issue":"7\u20138","key":"33_CR2","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/s00502-010-0747-9","volume":"127","author":"AN Belbachir","year":"2010","unstructured":"Belbachir, A.N., Drobics, M., Marschitz, W.: Ambient assisted living for ageing well - an overview. Elektrotechnik Und Informationstechnik 127(7\u20138), 200\u2013205 (2010)","journal-title":"Elektrotechnik Und Informationstechnik"},{"key":"33_CR3","doi-asserted-by":"crossref","unstructured":"Dai, Y., Xiang, Y., Zhang, G.: Self-healing and hybrid diagnosis in cloud computing. In: LNCS, vol. 5931 (831609), pp. 45\u201356 (2009)","DOI":"10.1007\/978-3-642-10665-1_5"},{"key":"33_CR4","doi-asserted-by":"crossref","unstructured":"Kirchner, D., Niemczyk, S., Geihs, K. RoSHA : A multi-robot self-healing architecture. In: LNCS, vol. 8371, pp. 304\u2013315 (2004)","DOI":"10.1007\/978-3-662-44468-9_27"},{"issue":"11","key":"33_CR5","doi-asserted-by":"publisher","first-page":"2013","DOI":"10.1109\/LCOMM.2015.2478818","volume":"19","author":"V Sharma","year":"2015","unstructured":"Sharma, V., Kumar, R., Rana, P.S.: Self-healing neural model for stabilization against failures over networked UAVs. IEEE Commun. Lett. 19(11), 2013\u20132016 (2015)","journal-title":"IEEE Commun. Lett."},{"key":"33_CR6","doi-asserted-by":"crossref","unstructured":"Ju, J., Liu, Z., Chen, W., Wang, J.: Switched topology control and negotiation of distributed self-healing for mobile robot formation. In: LSMS 2014 and ICSEE 2014, pp. 562\u2013574 (2014)","DOI":"10.1007\/978-3-662-45261-5_59"},{"key":"33_CR7","doi-asserted-by":"crossref","unstructured":"Cloth, L., Haverkort, B.R.: Model checking for survivability! In: Proceedings Second International Conference on the Quantitative Evaluation of SysTems (QEST 2005), vol. 2005, pp. 145\u2013154 (2005)","DOI":"10.1109\/QEST.2005.21"},{"issue":"1","key":"33_CR8","first-page":"77","volume":"7","author":"E Serral","year":"2014","unstructured":"Serral, E., Valderas, P., Pelechano, V.: Supporting ambient assisting living by using executable context-adaptive task models. Int. J. Adv. Softw. 7(1), 77\u201387 (2014)","journal-title":"Int. J. Adv. Softw."},{"issue":"Ant","key":"33_CR9","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1016\/j.procs.2013.06.072","volume":"19","author":"M Hilia","year":"2013","unstructured":"Hilia, M., Chibani, A., Djouani, K.: Trends and challenges in formal specification and verification of services composition in ambient assisted living applications. Procedia Comput. Sci. 19(Ant), 540\u2013547 (2013)","journal-title":"Procedia Comput. Sci."}],"container-title":["Advances in Intelligent Systems and Computing","Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection - 15th International Conference, PAAMS 2017"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61578-3_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,19]],"date-time":"2024-10-19T18:05:01Z","timestamp":1729361101000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-61578-3_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319615776","9783319615783"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61578-3_33","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2018]]}}}