805 search results - page 37 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
121
click to vote
IANDC
2010
15 years 1 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
138
click to vote
ICCAD
2002
IEEE
15 years 12 months ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
115
click to vote
EICS
2009
ACM
15 years 6 months ago
2009
ACM
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...
129
click to vote
CHI
1998
ACM
15 years 7 months ago
1998
ACM
Designers and researchers of human-computer interaction need tools that permit the rapid exploration and management of hypotheses about complex interactions of designs, task condi...
118
click to vote
CHI
1999
ACM
15 years 7 months ago
1999
ACM
A prerequisite to the effective design of user interfaces is an understanding of the tasks for which that interface will actually be used. Surprisingly little task analysis has ap...