1052 search results - page 179 / 211 » SUIDT: safe user interface design tool |
CHI
2005
ACM
14 years 10 months ago
2005
ACM
This paper presents X-PRT, a new cognitive modeling tool supporting activities ranging from interface design to basic cognitive research. X-PRT provides a graphical model developm...
ACSAC
2009
IEEE
14 years 4 months ago
2009
IEEE
—The amount of dynamic content on the web has been steadily increasing. Scripting languages such as JavaScript and browser extensions such as Adobe’s Flash have been instrument...
WIDM
1999
ACM
14 years 2 months ago
1999
ACM
Analyzing Web Logs for usage and access trends can not only provide important information to web site developers and administrators, but also help in creating adaptive web sites. ...
WWW
2006
ACM
14 years 10 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
CHI
2007
ACM
14 years 10 months ago
2007
ACM
We introduce research on information scraps ? short, self-contained personal notes that fall outside of traditional filing schemes. We report on a preliminary study of information...