1
Published 2008
Table of Contents: ... -- Multimodality for Plastic User Interfaces: Models, Methods, and Principles -- Face and Speech Interaction...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Interaction Specifications -- State Space Reduction Techniques for Component Interfaces -- Model Checking...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Engineering Methods -- Unifying Hardware and Software Components for Embedded System Development...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ...Chapter 1. Conversational Interfaces -- Chapter 2. Developing Dialogue Managers from Limited...
View full text
Electronic eBook
5
Table of Contents: ...Component-Based and Model-Driven Development with UML -- Model-Based Testing with UML -- Built...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Tools for User Interface Design -- From Task to Dialog Model in the UML -- Towards Method Engineering...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ...-up Languages -- XICL — An Extensible Mark-up Language for Developing User Interface and Components...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... -- Developing Character Input Methods for Driver Information Systems -- Linguistic Analysis of Websites: A New...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... the digital.me Project -- Priming Categorization in a Card Sort -- User Interface Design and Development Methods...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... Development Process -- From Global Terminology to Local Terminology: A Review on Cross-Cultural Interface...
View full text
Electronic eBook
11
Table of Contents: ...List of Figures -- 1. Introduction -- 2. An Overview of Formal Methods Tools and Techniques -- 3...
View full text
Electronic eBook
12
Published 2012
Table of Contents: ... Components, Changing Interfaces, Varying Compositions.- An Object Group-Based Component Model.- Automated...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ...New Challenges in the Development of Critical Embedded Systems – An “aeromotive” Perspective -- New...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... for Security and Trust -- A Formal Security Analysis of an OSA/Parlay Authentication Interface -- Composition...
View full text
Electronic eBook
15
Table of Contents: ... Routines -- Developing a Console Application -- Creating and Using Dynamic-Link Libraries -- Creating COM...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... Database System Development for Design and Manufacturing of Micro-Electro-Mechanical Systems (MEMS...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Membrane Interface -- Localization of rDNA at Nucleolar Structural Components by Immunoelectron Microscopy...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... for Formal Development of Web-Based Applications in B-Method....
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... -- Areal filtering methods -- Areal form removal -- Areal fractal methods -- Choosing the appropriate...
View full text
Electronic eBook
20
Published 2012
Table of Contents: ... -- References -- Computing the evolution of interfaces using multi-component flow equations, by Fatma Ghangir...
View full text
Electronic eBook