2022 search results - page 400 / 405 » Trust in Multi-Agent Systems |
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Without trust, most prudent business operators and clients may decide to forgo use of the Internet and revert back to traditional methods of doing business. To counter this trend,...
PLDI
2010
ACM
14 years 20 days ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
ECRIME
2007
14 years 14 days ago
2007
We propose a scheme that exploits scale to prevent phishing. We show that while stopping phishers from obtaining passwords is very hard, detecting the fact that a password has bee...
ICDCS
2010
IEEE
14 years 14 days ago
2010
IEEE
—There are several analytical results on distributed hash tables (DHTs) that can tolerate Byzantine faults. Unfortunately, in such systems, operations such as data retrieval and ...
SOUPS
2010
ACM
14 years 13 days ago
2010
ACM
An increasing number of high-tech devices, such as driver monitoring systems and Internet usage monitoring tools, are advertised as useful or even necessary for good parenting of ...