659 search results - page 77 / 132 » Using formal models to design user interfaces: a case study |
TMC
2012
11 years 11 months ago
2012
—A number of protocols and mechanisms have been proposed to address the problem of initial secure key deployment in wireless networks. Most existing approaches work either with a...
WADT
1998
Springer
14 years 8 days ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
WAIM
2010
Springer
13 years 7 months ago
2010
Springer
In this paper we propose a generic model to generate basic multi-partite graphs obtained by associations found in arbitrary data. The interest of such a model is to be the formal ...
ISWC
1998
IEEE
14 years 28 days ago
1998
IEEE
This paper describes a preliminary investigation of how the capabilities of wearable computers may be used to provide task guidance in mobile environments. Specifically, this stud...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
An understanding of how people allocate their visual attention when viewing Web pages is very important for Web authors, interface designers, advertisers and others. Such knowledg...