English  |  正體中文  |  简体中文  |  Post-Print筆數 : 27 |  Items with full text/Total items : 111316/142225 (78%)
Visitors : 48397581      Online Users : 687
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
Scope Tips:
  • please add "double quotation mark" for query phrases to get precise results
  • please goto advance search for comprehansive author search
    •  Adv. Search
    Home ‧ Login ‧ Upload ‧ Help ‧ About ‧ Administer Goto mobile version
    政大機構典藏 > 資訊學院 > 資訊科學系 > 會議論文 >  Item 140.119/111617


    Please use this identifier to cite or link to this item: https://nccur.lib.nccu.edu.tw/handle/140.119/111617


    Title: A Formal Model for Robust Spatial-Aware Service Management in IoT-Enriched Smart Home
    Authors: Liao, Chun-Feng
    廖峻鋒
    Contributors: 資訊科學系
    Keywords: Automation;Internet of things;Ambient;Computing capability;Independent research;Service compositions;Service management;Smart homes;Spatial abstractions;Theoretical aspects;Intelligent buildings
    Date: 2017-03
    Issue Date: 2017-08-03 14:12:18 (UTC+8)
    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.
    Relation: 2017 International Conference on Platform Technology and Service, PlatCon 2017 - Proceedings,
    4th International Conference on Platform Technology and Service, PlatCon 2017; Haeundae Grand HotelBusan; South Korea; 13 February 2017 到 15 February 2017; 類別編號CFP17B77-ART; 代碼 127064
    Data Type: conference
    DOI 連結: http://dx.doi.org/10.1109/PlatCon.2017.7883676
    DOI: 10.1109/PlatCon.2017.7883676
    Appears in Collections:[資訊科學系] 會議論文

    Files in This Item:

    File Description SizeFormat
    index.html0KbHTML2662View/Open


    All items in 政大典藏 are protected by copyright, with all rights reserved.


    社群 sharing

    著作權政策宣告 Copyright Announcement
    1.本網站之數位內容為國立政治大學所收錄之機構典藏，無償提供學術研究與公眾教育等公益性使用，惟仍請適度，合理使用本網站之內容，以尊重著作權人之權益。商業上之利用，則請先取得著作權人之授權。
    The digital content of this website is part of National Chengchi University Institutional Repository. It provides free access to academic research and public education for non-commercial use. Please utilize it in a proper and reasonable manner and respect the rights of copyright owners. For commercial use, please obtain authorization from the copyright owner in advance.

    2.本網站之製作，已盡力防止侵害著作權人之權益，如仍發現本網站之數位內容有侵害著作權人權益情事者，請權利人通知本網站維護人員(nccur@nccu.edu.tw)，維護人員將立即採取移除該數位著作等補救措施。
    NCCU Institutional Repository is made to protect the interests of copyright owners. If you believe that any material on the website infringes copyright, please contact our staff(nccur@nccu.edu.tw). We will remove the work from the repository and investigate your claim.
    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - Feedback