DSVIS
2005
Springer
14 years 5 months ago
2005
Springer
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...
DSVIS
2005
Springer
14 years 5 months ago
2005
Springer
The mapping problem has been defined as the way to map models involved throughout the development life cycle of user interfaces. Model-based design of user interfaces has followed ...
DSVIS
2005
Springer
14 years 5 months ago
2005
Springer
Abstract. In this paper we attempt to formalise some of the basic attributes of performative interaction against a background of sociological analysis in order to better understand...
DSVIS
2005
Springer
14 years 5 months ago
2005
Springer
We introduce a formal model of inconsistency-related mode confusion. This forms the basis of a heuristic methodology for critiquing user interfaces, using a matrix algebra approach...
DSVIS
2005
Springer
14 years 5 months ago
2005
Springer
DSVIS
2005
Springer
14 years 5 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
DSVIS
2005
Springer
14 years 5 months ago
2005
Springer
Multimodal interactive systems offer a flexibility of interaction that increases their complexity. ICARE is a component-based approach to specify and develop multimodal interfaces...
DIGRA
2005
Springer
14 years 5 months ago
2005
Springer
The Game Ontology Project (GOP) is creating a framework for describing, analyzing and games, by defining a hierarchy of concepts abstracted from an analysis of many specific games...
DIGRA
2005
Springer
14 years 5 months ago
2005
Springer
DIGRA
2005
Springer
14 years 5 months ago
2005
Springer
