348 search results - page 13 / 70 » Planning and User Interface Affordances |
DSVIS
2005
Springer
14 years 1 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...
ECBS
2010
IEEE
13 years 5 months ago
2010
IEEE
Software development and testing of Enterprise Resource Planning (ERP) systems demands dedicated methods to tackle its special features. As manual testing is not able to systematic...
PERVASIVE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Many work environments can benefit from integrated computing devices to provide information to users, record users’ actions, and prompt users about the next steps to t...
INTERACT
2003
13 years 9 months ago
2003
: The Augmented Round Table provides a collaborative interactive AR environment, where users can interact naturally and intuitively. They may create and manipulate complex 3D geome...
UIST
2004
ACM
14 years 1 months ago
2004
ACM
We describe a new widget and interaction technique, known as a “Frisbee,” for interacting with areas of a large display that are difficult or impossible to access directly. A ...