Sciweavers

465 search results - page 34 / 93
» Extracting usability information from user interface events
Sort
View
ICSE
1999
IEEE-ACM
13 years 12 months ago
A Practical Method for Verifying Event-Driven Software
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
Gerard J. Holzmann, Margaret H. Smith
ICAD
2004
13 years 9 months ago
A Generic, Semantically-Based Design Approach for Spatial Auditory Computer Displays
This paper describes a design approach for creating generic computer user interfaces with spatial auditory displays. It proposes a structured depiction process from formulating mo...
Christopher Frauenberger, Robert Höldrich, Al...
CORR
2010
Springer
166views Education» more  CORR 2010»
13 years 7 months ago
I-Interaction: An Intelligent In-Vehicle User Interaction Model
The automobile is always a point of interest where new technology has been deployed. Because of this interest, human-vehicle interaction has been an appealing area for much resear...
Li Liu, Edward Dillon
CHI
2003
ACM
14 years 8 months ago
Personal media exploration with semantic regions
Computer users deal with large amount of personal media data and they often face problems in managing and exploring them. The paper presents an innovative approach, Semantic Regio...
Hyunmo Kang
ACSW
2006
13 years 9 months ago
Event sequence mining to develop profiles for computer forensic investigation purposes
Developing profiles to describe user or system behaviour is a useful technique employed in Computer Forensic investigations. Information found in data obtained by investigators ca...
Tamas Abraham