30 search results - page 6 / 6 » Trust building with explanation interfaces |
CHI
2005
ACM
14 years 6 months ago
2005
ACM
We report on a study (N=36) of user preferences for balancing awareness with privacy. Participants defined permissions for sharing of location, availability, calendar information ...
SACMAT
2009
ACM
14 years 8 days ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...
ICFP
2008
ACM
14 years 5 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
SOUPS
2009
ACM
14 years 8 days ago
2009
ACM
Initiating and bootstrapping secure, yet low-cost, ad-hoc transactions is an important challenge that needs to be overcome if the promise of mobile and pervasive computing is to b...
CHI
2003
ACM
14 years 6 months ago
2003
ACM
We describe two games in which online participants collaborated with mobile participants on the city streets. In the first, the players were online and professional performers wer...