1022 search results - page 115 / 205 » Towards an Evaluation Methodology for Computational Trust Sy... |
CCGRID
2007
IEEE
14 years 3 months ago
2007
IEEE
Data Grids provide transparent access to heterogeneous and autonomous data resources. The main contribution of this paper is the presentation of a data sharing system that (i) is ...
AAI
1998
13 years 8 months ago
1998
In the Intelligent Robotics Laboratory (IRL) at Vanderbilt University we seek to develop service robots with a high level of social intelligence and interactivity. In order to ach...
KBSE
1997
IEEE
14 years 1 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
ICDCSW
2005
IEEE
14 years 2 months ago
2005
IEEE
When computer intrusions occur, one of the most costly, time-consuming, and human-intensive tasks is the analysis and recovery of the compromised system. At a time when the cost o...
SAC
2006
ACM
14 years 3 months ago
2006
ACM
Traditional semantic web query languages support a logicbased access to the semantic web. They offer a retrieval (or reasoning) of data based on facts. On the traditional web and...