An Integrated Formal Task Specification Method for Smart Environments is popular PDF and ePub book, written by Maik Wurdel in 2011, it is a fantastic choice for those who relish reading online the Computers genre. Let's immerse ourselves in this engaging Computers book by exploring the summary and details provided below. Remember, An Integrated Formal Task Specification Method for Smart Environments can be Read Online from any device for your convenience.

An Integrated Formal Task Specification Method for Smart Environments Book PDF Summary

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.

Detail Book of An Integrated Formal Task Specification Method for Smart Environments PDF

An Integrated Formal Task Specification Method for Smart Environments
  • Author : Maik Wurdel
  • Release : 22 September 2024
  • Publisher : Logos Verlag Berlin GmbH
  • ISBN : 9783832529482
  • Genre : Computers
  • Total Page : 228 pages
  • Language : English
  • PDF File Size : 11,7 Mb

If you're still pondering over how to secure a PDF or EPUB version of the book An Integrated Formal Task Specification Method for Smart Environments by Maik Wurdel, don't worry! All you have to do is click the 'Get Book' buttons below to kick off your Download or Read Online journey. Just a friendly reminder: we don't upload or host the files ourselves.

Get Book

Tools and Methods of Program Analysis

Tools and Methods of Program Analysis Author : Anna Kalenkova,Jose A. Lozano,Rostislav Yavorskiy
Publisher : Springer Nature
File Size : 8,6 Mb
Get Book
This book constitutes the refereed proceedings of the 5th International Conference on Tools and Meth...

Integrated Formal Methods

Integrated Formal Methods Author : Carlo A. Furia,Kirsten Winter
Publisher : Springer
File Size : 11,6 Mb
Get Book
This book constitutes the refereed proceedings of the 14th International Conference on Integrated Fo...

Multiagent System Technologies

Multiagent System Technologies Author : Franziska Klügl,Sascha Ossowski
Publisher : Springer
File Size : 45,9 Mb
Get Book
This book constitutes the proceedings of the 9th German Conference on Multiagent System Technologies...

Software Engineering and Formal Methods

Software Engineering and Formal Methods Author : Peter Csaba Ölveczky,Gwen Salaün
Publisher : Springer Nature
File Size : 42,6 Mb
Get Book
This book constitutes the refereed proceedings of the 17th International Conference on Software Engi...