{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T20:54:44Z","timestamp":1730235284974,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/icci-cc.2015.7259412","type":"proceedings-article","created":{"date-parts":[[2015,9,14]],"date-time":"2015-09-14T21:20:07Z","timestamp":1442265607000},"page":"368-374","source":"Crossref","is-referenced-by-count":2,"title":["Use of Denotational Mathematics for the formal description of autonomous migration and polymorphism as prerequisites for mobility in home UbiHealth"],"prefix":"10.1109","author":[{"given":"John","family":"Sarivougioukas","sequence":"first","affiliation":[]},{"given":"Aristides","family":"Vagelatos","sequence":"additional","affiliation":[]},{"given":"Isaac","family":"Lagaris","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"116","article-title":"Toward an Ontological Treatment of Disease and Diagnosis","author":"scheuermann","year":"2009","journal-title":"Proceedings of the 2009 AMIA Summit on Translational Bioinformatics"},{"key":"ref11","first-page":"20","article-title":"Biodynamic Ontology: Applying BFO in the Biomedical Domain","author":"smith","year":"2004"},{"key":"ref12","first-page":"71","article-title":"Vital Sign Ontology, Proceedings of the Workshop on Bio-Ontologies","author":"goldfain","year":"2011"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1142\/S1793351X10001061"},{"key":"ref14","first-page":"282","article-title":"Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing","volume":"90","author":"wang","year":"2009","journal-title":"Fundamental Informatics"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.4018\/jcini.2008040103"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.4018\/jssci.2009010105"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.4018\/jssci.2010040106"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.4018\/jssci.2010070106"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.4018\/jssci.2009040103"},{"key":"ref4","article-title":"A Framework for enabling Service migration in Ubiquitous Computing","volume":"4","author":"antony","year":"2013","journal-title":"International Journal of UbiComp (IJU)"},{"key":"ref3","first-page":"7","article-title":"A comparison of Model View Controller and Model View Presenter","volume":"25","author":"rizwan","year":"2013","journal-title":"Science International (Lahore)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.7.2.333-340"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1186\/1472-6947-13-42"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/11916246_19"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/11839569_14"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MOBIQ.2004.1331747"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0991-94"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2012.6386119"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.4018\/jssci.2010040103"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.4018\/IJCINI.2011070101"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87563-5_4"}],"event":{"name":"2015 IEEE 14th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)","start":{"date-parts":[[2015,7,6]]},"location":"Beijing, China","end":{"date-parts":[[2015,7,8]]}},"container-title":["2015 IEEE 14th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7235859\/7259359\/07259412.pdf?arnumber=7259412","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,25]],"date-time":"2017-03-25T01:50:19Z","timestamp":1490406619000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7259412\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/icci-cc.2015.7259412","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}