ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 020 学位論文
  2. 複合科学研究科
  3. 17 情報学専攻

A Model Checking based Framework for Context-Aware Systems

https://ir.soken.ac.jp/records/1502
https://ir.soken.ac.jp/records/1502
1080b5d3-a092-4cf7-a023-3a0c10a44b18
名前 / ファイル ライセンス アクション
甲1287_要旨.pdf 要旨・審査要旨 (293.8 kB)
甲1287_本文.pdf 本文 (2.9 MB)
Item type 学位論文 / Thesis or Dissertation(1)
公開日 2010-06-09
タイトル
タイトル A Model Checking based Framework for Context-Aware Systems
タイトル
タイトル A Model Checking based Framework for Context-Aware Systems
言語 en
言語
言語 eng
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_46ec
資源タイプ thesis
著者名 HOAREAU, Christian

× HOAREAU, Christian

HOAREAU, Christian

Search repository
フリガナ ワロ, クリスチャン

× ワロ, クリスチャン

ワロ, クリスチャン

Search repository
著者 HOAREAU, Christian

× HOAREAU, Christian

en HOAREAU, Christian

Search repository
学位授与機関
学位授与機関名 総合研究大学院大学
学位名
学位名 博士(情報学)
学位記番号
内容記述タイプ Other
内容記述 総研大甲第1287号
研究科
値 複合科学研究科
専攻
値 17 情報学専攻
学位授与年月日
学位授与年月日 2009-09-30
学位授与年度
値 2009
要旨
内容記述タイプ Other
内容記述 CONTEXT-AWARE COMPUTING refers to the idea that computing devices can sense<br />and react to the physical environment where they are deployed. For example,<br />a context-aware corporate office would intelligently respond to peoples locations and<br />activities by self-adjusting its lighting and temperature automatically, thus reducing<br />its energy footprint.<br />  Context-aware systems model the real world by using increasingly complex and<br />refined contextual-data representations. As a result, their design and management raise<br />several challenges. An important and somewhat unexplored one is to guarantee that<br />context-aware systems correctly capture the intent of their designers once deployed. For<br />example, we might want to assure that the energy conservation of the aforementioned<br />corporate office is actually preserved.<br />  We propose in this thesis a query processing and specification framework that alle-<br />viates designing and building context-aware systems. It guarantees the management of<br />contextual information, and can be used for specifying the underlying rules of context-<br />aware systems. Our approach encourages a high-level of abstraction for retrieving<br />contextual information in a robust manner, and supports building "provably-correct"<br />context-aware systems incrementally, by providing modularity and separation of con-<br />cerns.<br />  The proposed approach aims at complementing existing context-aware service<br />wherein contextual information about the physical and computational environment<br />- information about people, objects, and services - is modeled in a symbolic fashion,<br />and is independent of any particular sensing technology. In current pervasive com-<br />puting plateform, contextual information and their underlying models are queried an<br />ad-hoc manner. Which makes it impossible to guarantee the quality of the results<br />being returned, and hence the reliability of context-aware services.<br />  The main idea behind our framework is to apply and adapt the principles of model <br />checking to query the contextual data structures. Because such query mechanisms have<br />to be sound, our approach is build upon a logic-based query language. We therefore<br />ensure that the results of any query (i) do not miss any information that satisfy its<br />necessary and sufficient conditions and (ii) ,do not contain any information that does<br />not satisfy the conditions. We describe the implementation of our framework and<br />discuss its applicability to existing graph-based contextual models.
所蔵
値 有
戻る
0
views
See details
Views

Versions

Ver.1 2023-06-20 15:58:04.439957
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR 2.0
  • OAI-PMH JPCOAR 1.0
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3