1952 search results - page 137 / 391 » Designing for appropriation |
168
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
212
click to vote
MOBIQUITOUS
2008
IEEE
16 years 24 days ago
2008
IEEE
A fundamental requirement for autonomic computing is to be able to automatically infer how human users react in similar contextual conditions. This paper examines the problem of a...
158
click to vote
SASN
2006
ACM
16 years 10 days ago
2006
ACM
We investigate the design space of sensor network broadcast authentication. We show that prior approaches can be organized based on a taxonomy of seven fundamental proprieties, su...
201
click to vote
LCPC
2005
Springer
15 years 12 months ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
158
click to vote
MHCI
2005
Springer
15 years 12 months ago
2005
Springer
This paper reports the user study and design of a concept to improve mobile messaging for teens. A study of current mobile phone use by teens (16-18) showed that, while they prefe...