1368 search results - page 35 / 274 » Personality-Based Practical Reasoning |
81
Voted
CHI
2009
ACM
15 years 6 months ago
2009
ACM
The use of examples serves a critical role in creative design practice, but details of this process remain an enigma. This is problematic for both the understanding of design acti...
115
Voted
INTERACT
1997
15 years 3 months ago
1997
ABSTRACT Do developers use proven usability techniques like user involvement, usability testing, and iterative design in industrial practice? Based on inside knowledge of many diff...
100
Voted
CCS
2010
ACM
15 years 8 months ago
2010
ACM
Many authorization system models include some notion of obligation. Little attention has been given to user obligations that depend on and affect authorizations. However, to be u...
199
Voted
AICT
2009
IEEE
15 years 8 months ago
2009
IEEE
Unlike other wireless technologies, the deployment of 802.11 networks is not limited to operators: access points can easily be installed by end-users for domestic use. This singul...
130
Voted
TPHOL
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...