163 search results - page 18 / 33 » What Instills Trust |
SIGADA
2005
Springer
14 years 26 days ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
NDQA
2003
13 years 8 months ago
2003
The World Wide Web lacks support for explaining information provenance. When web applications return results, many users do not know what information sources were used, when they ...
CHI
2008
ACM
14 years 7 months ago
2008
ACM
What happens when the domains of HCI design and money intersect? This paper presents analyses from an ethnographic study of virtual currency use in China to discuss implications f...
VLDB
2007
ACM
14 years 7 months ago
2007
ACM
We consider systems for data sharing among heterogeneous peers related by a network of schema mappings. Each peer has a locally controlled and edited database instance, but wants ...
ACSAC
2008
IEEE
14 years 1 months ago
2008
IEEE
A large number of papers have proposed cryptographic protocols for establishing secure group communication. These protocols allow group members to exchange or establish keys to en...