Sciweavers

2413 search results - page 84 / 483
» Models for universal usability
Sort
View
ATVA
2008
Springer
99views Hardware» more  ATVA 2008»
14 years 10 days ago
Model Checking Recursive Programs with Exact Predicate Abstraction
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
Arie Gurfinkel, Ou Wei, Marsha Chechik
CHI
2008
ACM
14 years 10 months ago
Security practitioners in context: their activities and interactions
This study investigates the context of interactions of IT security practitioners, based on a qualitative analysis of 30 interviews and participatory observation. We identify nine ...
Rodrigo Werlinger, Kirstie Hawkey, Konstantin Bezn...
CSCW
2004
ACM
14 years 3 months ago
Instant messages: a framework for reading between the lines
A framework is described for analyzing keystroke level data from instant messages (IM). This is unlike other analyses of IM which employ server-based logs of messages. This framew...
Jeffrey D. Campbell
BCSHCI
2007
13 years 11 months ago
Agile human-centered software engineering
We seek to close the gap between software engineering (SE) and human-computer interaction (HCI) by indicating interdisciplinary interfaces throughout the different phases of SE an...
Thomas Memmel, Fredrik Gundelsweiler, Harald Reite...
ICONFERENCE
2011
13 years 1 months ago
Barriers to the adoption and use of personal health record systems
Personal health records (PHR) have enormous potential to improve both documentation of health information and patient care. The adoption of these systems, however, has been relati...
Leslie S. Liu, Patrick C. Shih, Gillian R. Hayes