Interactive Systems. Design, Specification, and Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540705680, 9783540705697

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards a Library of Workflow User Interface Patterns

Interactive Systems. Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70569-7_9 ◽

2008 ◽

pp. 96-101 ◽

Cited By ~ 4

Author(s):

Josefina Guerrero García ◽

Jean Vanderdonckt ◽

Juan Manuel González Calleros ◽

Marco Winckler

Keyword(s):

User Interface

Download Full-text

An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces

Interactive Systems. Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70569-7_20 ◽

2008 ◽

pp. 208-224 ◽

Cited By ~ 5

Author(s):

David Navarre ◽

Philippe Palanque ◽

Jean-François Ladry ◽

Sandra Basnyat

Keyword(s):

User Interfaces ◽

Formal Description ◽

Formal Description Technique ◽

Design And Implementation ◽

Description Technique

Download Full-text

Lightweight Coding of Structurally Varying Dialogs

Interactive Systems. Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70569-7_14 ◽

2008 ◽

pp. 149-154

Author(s):

Michael Dunlavey

Download Full-text

Towards Characterizing Visualizations

Interactive Systems. Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70569-7_26 ◽

2008 ◽

pp. 287-293 ◽

Cited By ~ 2

Author(s):

Christophe Hurter ◽

Stéphane Conversy

Download Full-text

EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System

Interactive Systems. Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70569-7_1 ◽

2008 ◽

pp. 1-14

Author(s):

Ann Blandford ◽

Paul Curzon ◽

Joanne Hyde ◽

George Papatzanis

Keyword(s):

Navigation System ◽

Satellite Navigation ◽

Satellite Navigation System

Download Full-text

Designing Graphical Elements for Cognitively Demanding Activities: An Account on Fine-Tuning for Colors

Interactive Systems. Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70569-7_13 ◽

2008 ◽

pp. 136-148

Author(s):

Gilles Tabart ◽

Stéphane Conversy ◽

Jean-Luc Vinot ◽

Sylvie Athènes

Keyword(s):

Fine Tuning

Download Full-text

An Attentive Groupware Device to Mitigate Information Overload

Interactive Systems. Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70569-7_3 ◽

2008 ◽

pp. 29-42 ◽

Cited By ~ 1

Author(s):

Antonio Ferreira ◽

Pedro Antunes

Keyword(s):

Information Overload

Download Full-text

Executable Models for Human-Computer Interaction

Interactive Systems. Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70569-7_22 ◽

2008 ◽

pp. 238-251 ◽

Cited By ~ 13

Author(s):

Marco Blumendorf ◽

Grzegorz Lehmann ◽

Sebastian Feuerstack ◽

Sahin Albayrak

Keyword(s):

Human Computer Interaction ◽

Computer Interaction ◽

Executable Models

Download Full-text

A Model-Based Approach to Supporting Configuration in Ubiquitous Systems

Interactive Systems. Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70569-7_17 ◽

2008 ◽

pp. 167-180 ◽

Cited By ~ 3

Author(s):

Tony McBryan ◽

Phil Gray

Keyword(s):

Model Based ◽

Ubiquitous Systems

Download Full-text

Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B

Interactive Systems. Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70569-7_10 ◽

2008 ◽

pp. 102-107 ◽

Cited By ~ 2

Author(s):

Leila Jemni Ben Ayed ◽

Fatma Siala

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Interaction Protocols ◽

Multi Agent ◽

Specification And Verification

Download Full-text

Interactive Systems. Design, Specification, and Verification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Towards a Library of Workflow User Interface Patterns

An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces

Lightweight Coding of Structurally Varying Dialogs

Towards Characterizing Visualizations

EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System

Designing Graphical Elements for Cognitively Demanding Activities: An Account on Fine-Tuning for Colors

An Attentive Groupware Device to Mitigate Information Overload

Executable Models for Human-Computer Interaction

A Model-Based Approach to Supporting Configuration in Ubiquitous Systems

Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B

Interactive Systems. Design, Specification, and Verification - Lecture Notes in Computer Science
Latest Publications