DSVIS
2005
Springer
14 years 28 days 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 28 days 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 28 days 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 28 days 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 28 days ago
2005
Springer
DSVIS
2005
Springer
14 years 28 days 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 28 days 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 28 days 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 28 days ago
2005
Springer
DIGRA
2005
Springer
14 years 28 days ago
2005
Springer
