121
click to vote
DSVIS
15 years 6 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 ...
129
click to vote
DSVIS
15 years 6 months ago
2005 Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
100
Voted
DSVIS
15 years 6 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...
109
click to vote
DSVIS
15 years 6 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
15 years 2 months ago
2005 Springer
This paper presents an approach, and the associated environment, aiming to support designers to intuitively model interactive applications. The goal is to make modelling activity m...
|
Human Computer Interaction