98 search results - page 16 / 20 » Towards a Formal Framework for Computational Trust |
ACISP
2006
Springer
14 years 8 days ago
2006
Springer
Abstract. The emergence of computing environments where smart devices are embedded pervasively in the physical world has made possible many interesting applications and has trigger...
CCS
2008
ACM
13 years 8 months ago
2008
ACM
In wireless systems, neighbor discovery (ND) is a fundamental building block: determining which devices are within direct radio communication is an enabler for networking protocol...
SAC
2004
ACM
13 years 11 months ago
2004
ACM
Until recently, issues in image retrieval have been handled in DBMSs and in computer vision as separate research works. Nowadays, the trend is towards integrating the two approach...
BRAIN
2010
Springer
13 years 7 months ago
2010
Springer
Cognitive informatics studies the natural intelligence and the brain from a theoretical and a computational approach, which rigorously explains the ms of the brain by a fundamental...
LICS
2007
IEEE
14 years 17 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...