382 search results - page 10 / 77 » A Formalization of Trust Alignment |
128
click to vote
SIGADA
2005
Springer
15 years 9 months 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...
112
click to vote
IAT
2009
IEEE
15 years 11 months ago
2009
IEEE
For an information agent to support a human in a personalized way, having a model of the trust the human has in information sources may be essential. As humans differ a lot in the...
158
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
In federated and pervasive networks, trust management has become a cornerstone for information security and privacy. Although people have recognized the importance of privacy and ...
139
click to vote
VISSYM
2007
15 years 6 months ago
2007
We present TrustNeighborhoods, a security trust visualization for situational awareness on the Internet aimed at novice and intermediate users of a distributed file sharing system...
132
click to vote
CSSW
2007
15 years 5 months ago
2007
The proliferation of Geo-Information (GI) production in web-based collaboration environments such as mapping mashups built on top of mapping APIs such as GoogleMaps API poses new c...