Sciweavers

1636 search results - page 158 / 328
» From Usability Lab to
Sort
View
WWW
2004
ACM
14 years 11 months ago
Browser-based applications: positive transference or interference?
Applications that run on top of web browsers dominate the Internet today. Given the many similarities among these applications' features, positive transference from one to an...
Mark S. Silver, Sidne G. Ward
PERCOM
2006
ACM
14 years 10 months ago
The Master Key: A Private Authentication Approach for Pervasive Computing Environments
We propose a novel entity authentication approach for pervasive computing environments. A person uses a single device, the Master Key, which aggregates all his digital forms of ac...
Feng Zhu, Matt W. Mutka, Lionel M. Ni
OZCHI
2009
ACM
14 years 5 months ago
Beyond the user: use and non-use in HCI
For many, an interest in Human-Computer Interaction is equivalent to an interest in usability. However, using computers is only one way of relating to them, and only one topic fro...
Christine Satchell, Paul Dourish
ICDAR
2009
IEEE
14 years 5 months ago
A Self-Adaptive Method for Extraction of Document-Specific Alphabets
Recognition and encoding of digitized historical documents is still a challenging and difficult task. A major problem is the occurrence of unknown glyphs and symbols which might n...
Stefan Pletschacher
FM
2009
Springer
95views Formal Methods» more  FM 2009»
14 years 5 months ago
Industrial Practice in Formal Methods: A Review
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
Juan Bicarregui, John S. Fitzgerald, Peter Gorm La...