| dc.contributor | 資訊科學系 | zh_Tw |
| dc.creator (作者) | Liao, Chun-Feng | en_US |
| dc.creator (作者) | 廖峻鋒 | zh_TW |
| dc.date (日期) | 2017-03 | en_US |
| dc.date.accessioned | 3-Aug-2017 14:12:18 (UTC+8) | - |
| dc.date.available | 3-Aug-2017 14:12:18 (UTC+8) | - |
| dc.date.issued (上傳時間) | 3-Aug-2017 14:12:18 (UTC+8) | - |
| dc.identifier.uri (URI) | http://nccur.lib.nccu.edu.tw/handle/140.119/111617 | - |
| dc.description.abstract (摘要) | We can perceive the advent of Smart Home attributed to the rapid emerging of embedded and tiny intelligent devices and sensors. However, most of current Smart Home systems are still being developed based on the so-called "the system is the application" philosophy, causing the developers to take care of all technical details from ground up. There is relatively little research focuses on the theoretical aspects so that the independent research achievements or results are not interoperable. The concept of the "Ambient", which refers to a bounded place with computing capability, is one of the most important issues when implementing a system in Smart Home. The results of a service composition are not optimized if the concept of Ambient is not taken into account. This paper aims to investigate the spatial issues systematically from theoretical aspects. We propose several new spatial abstractions and a spatial-aware service management scheme on top of a UPnP-based robust service management protocol. Formal validation is also performed to verify the robustness of the proposed approach. © 2017 IEEE. | en_US |
| dc.format.extent | 212 bytes | - |
| dc.format.mimetype | text/html | - |
| dc.relation (關聯) | 2017 International Conference on Platform Technology and Service, PlatCon 2017 - Proceedings, | en_US |
| dc.relation (關聯) | 4th International Conference on Platform Technology and Service, PlatCon 2017; Haeundae Grand HotelBusan; South Korea; 13 February 2017 到 15 February 2017; 類別編號CFP17B77-ART; 代碼 127064 | en_US |
| dc.subject (關鍵詞) | Automation; Internet of things; Ambient; Computing capability; Independent research; Service compositions; Service management; Smart homes; Spatial abstractions; Theoretical aspects; Intelligent buildings | en_US |
| dc.title (題名) | A Formal Model for Robust Spatial-Aware Service Management in IoT-Enriched Smart Home | en_US |
| dc.type (資料類型) | conference | |
| dc.identifier.doi (DOI) | 10.1109/PlatCon.2017.7883676 | |
| dc.doi.uri (DOI) | http://dx.doi.org/10.1109/PlatCon.2017.7883676 | |
