659 search results - page 101 / 132 » Using formal models to design user interfaces: a case study |
COMCOM
2008
13 years 8 months ago
2008
In this paper, we study using game theory the problem of detecting intrusions in wired infrastructure networks. Detection is accomplished by sampling a subset of the transmitted p...
CHI
2008
ACM
14 years 9 months ago
2008
ACM
Displaying scanned book pages in a web browser is difficult, due to an array of characteristics of the common user's configuration that compound to yield text that is degrade...
WWW
2003
ACM
14 years 9 months ago
2003
ACM
This paper introduces a framework for modeling and specifying the global behavior of e-service compositions. Under this framework, peers (individual e-services) communicate throug...
RECSYS
2009
ACM
14 years 1 months ago
2009
ACM
To understand users’ acceptance of the emerging trend of personality-based recommenders (PBR), we evaluated an existing PBR using the technology acceptance model (TAM). We also ...
AVI
2008
13 years 11 months ago
2008
Pointing on screen edges is a frequent task in our everyday use of computers. Screen edges can help stop cursor movements, requiring less precise movements from the user. Thus, po...