An Integrated Formal Task Specification Method for Smart Environments

An Integrated Formal Task Specification Method for Smart Environments
Author :
Publisher : Logos Verlag Berlin GmbH
Total Pages : 228
Release :
ISBN-10 : 9783832529482
ISBN-13 : 3832529489
Rating : 4/5 (489 Downloads)

Book Synopsis An Integrated Formal Task Specification Method for Smart Environments by : Maik Wurdel

Download or read book An Integrated Formal Task Specification Method for Smart Environments written by Maik Wurdel and published by Logos Verlag Berlin GmbH. This book was released on 2011 with total page 228 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


An Integrated Formal Task Specification Method for Smart Environments Related Books

An Integrated Formal Task Specification Method for Smart Environments
Language: en
Pages: 228
Authors: Maik Wurdel
Categories: Computers
Type: BOOK - Published: 2011 - Publisher: Logos Verlag Berlin GmbH

DOWNLOAD EBOOK

This thesis is concerned with the development of interactive systems for smart environments. One of the characteristic of smart environments is the need to supp
An Integrated Formal Task Specification Method for Smart Environments
Language: en
Pages: 0
Authors: Maik Wurdel
Categories:
Type: BOOK - Published: 2011 - Publisher:

DOWNLOAD EBOOK

Human-Computer Interaction: Human-Centred Design Approaches, Methods, Tools and Environments
Language: en
Pages: 654
Authors: Masaaki Kurosu
Categories: Computers
Type: BOOK - Published: 2013-07-03 - Publisher: Springer

DOWNLOAD EBOOK

The five-volume set LNCS 8004--8008 constitutes the refereed proceedings of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in
The Handbook of Formal Methods in Human-Computer Interaction
Language: en
Pages: 577
Authors: Benjamin Weyers
Categories: Computers
Type: BOOK - Published: 2017-04-24 - Publisher: Springer

DOWNLOAD EBOOK

This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of wh
Tools and Methods of Program Analysis
Language: en
Pages: 216
Authors: Anna Kalenkova
Categories: Computers
Type: BOOK - Published: 2021-03-16 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgi