An Integrated Formal Task Specification Method for Smart Environments

An Integrated Formal Task Specification Method for Smart Environments

Paperback (15 Oct 2011)

  • $88.40
Add to basket

Includes delivery to the United States

3 copies available online - Usually dispatched within 2-3 weeks

Publisher's Synopsis

This thesis is concerned with the development of interactive systems for smart environments. One of the characteristic of smart environments is the need to support different interaction paradigms at runtime. On the one hand interaction is performed explicitly: the user performs an action in order to interact with the system (e.g., pressing a button to adjust the light). On the other hand actions of the user are interpreted by the smart environment, even though they have not been performed primarily to interact with the system: implicit interactions (e.g., walking to the speaker's desk to give a talk). A smart environment tries to infer those interactions to assist the user in her work (e.g., display slides at the projection canvas). Both interaction paradigms originate from different research fields and are currently treated independently although implicit and explicit interaction mutually influence each other and occur interleaved. The thesis introduces a task modeling language in order to cope with the given requirements of smart environments which can be used to perform interaction development for smart environments in a model-based fashion for both interaction paradigms.

Book information

ISBN: 9783832529482
Publisher: Logos Verlag Berlin
Imprint: Logos Verlag Berlin
Pub date:
Language: English
Number of pages: 226
Weight: 399g
Height: 210mm
Width: 145mm
Spine width: 0mm