129 search results - page 26 / 26 » From HCI to Software Engineering and Back |
ECAI
2004
Springer
13 years 10 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
SOUPS
2005
ACM
13 years 10 months ago
2005
ACM
Secure email has struggled with signifcant obstacles to adoption, among them the low usability of encryption software and the cost and overhead of obtaining public key certificat...
CHI
2007
ACM
14 years 5 months ago
2007
ACM
Understanding the relation between usability measures seems crucial to deepen our conception of usability and to select the right measures for usability studies. We present a meta...
CANDC
2009
ACM
13 years 11 months ago
2009
ACM
Crafters today blend age-old techniques such as weaving and pottery with new information and communication technologies such as podcasts, online instructions, and blogs. This inte...