805 search results - page 80 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
108
click to vote
CHI
2008
ACM
16 years 3 months ago
2008
ACM
This paper presents a new information visualization framework that supports the analytical reasoning process. It consists of three views - a data view, a knowledge view and a navi...
113
click to vote
CHI
2004
ACM
16 years 3 months ago
2004
ACM
Abstract. In this paper we describe a virtual laboratory that is designed to accelerate scientific exploration and discovery by minimizing the time between the generation of a scie...
118
click to vote
TSE
1998
15 years 2 months ago
1998
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...
144
click to vote
CHI
2011
ACM
14 years 6 months ago
2011
ACM
Despite the tremendous popularity of social network sites both on the web and within enterprises, the relationship information they contain may be often incomplete or outdated. We...
126
click to vote
EKAW
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...