805 search results - page 62 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
124
click to vote
NORDICHI
2006
ACM
15 years 9 months ago
2006
ACM
In this paper we want to reconsider the role anthropology (both its theory and methods) can play within HCI research. One of the areas anthropologists can contribute to here is to...
125
click to vote
ARTS
1999
Springer
15 years 7 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
130
click to vote
LAWEB
2003
IEEE
15 years 8 months ago
2003
IEEE
So far, conceptual modeling of Web applications has been used primarily in the upper part of the life cycle, as a driver for system analysis. Little attention has been put on expl...
107
click to vote
CHI
2002
ACM
16 years 3 months ago
2002
ACM
We discuss findings from observation, interviews, and textual analysis of instant messaging use in a university research lab setting. We propose a method for characterizing the te...
137
click to vote
HCI
2009
15 years 27 days ago
2009
Categorical data appears in various places, and dealing with it has been a major concern in analysis fields. However, representing not only global trends but also local trends of d...