http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : Sucha (검색결과 1 건)
- 무료
- 기관 내 무료
- 유료
-
Formal Mirror Models: an Approach to Just-in-Time Reasoning for Device Ecologies
Seng W. Loke,Sucha Smanchat,Sea Ling,Maria Indrawan 보안공학연구지원센터 2008 International Journal of Smart Home Vol.2 No.1
Pervasive computing calls for new ways of thinking about software and new ways of applying software development techniques. In pervasive computing environments, users will need to interact with collections of devices surrounding them (such as the “system” of smart devices in a user’s home), which we metaphorically term device ecologies. A user can interact with these devices with embedded software and hardware, either directly via the device’s own interface, or automated through scripts executed by a central coordinator. For the latter, we employ a workflow abstraction for the collective operation of devices, which we call decoflow. While executable formal models are typically used at specification time, we maintain and use such models, calling them mirror models, to record the on-going states of devices, their relationships, and the effects that such devices have on the environment. Users effectively update a mirror model of the devices s/he interacts with. The model can be used to predict the effects of decoflows just before execution. Generalizing from mirror models for device ecologies, we propose the novel paradigm of continually updated mirror models for on-going tracking and reasoning about pervasive computing systems which cohabitates with the user.
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
