2022 search results - page 212 / 405 » Trust in Multi-Agent Systems |
SEMWEB
2004
Springer
14 years 2 months ago
2004
Springer
The Semantic Web is bound to be untrustworthy and inconsistent. In this paper, we present an initial approach for obtaining useful information in such an environment. In particular...
GLOBECOM
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— For many evolving application scenarios like ubiquitous and autonomic computing systems, trustworthy computing solutions are essential. However the fact that the autono...
FMCAD
2000
Springer
14 years 27 days ago
2000
Springer
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...
PERCOM
2010
ACM
13 years 7 months ago
2010
ACM
—Mobile devices are becoming the largest sensor network around the world. They could be used to collect a large amount of data with little effort and cost which is leading to a p...
IDC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Based on the plethora of proposals and standards for logic- and rulebased reasoning for the Semantic Web (SW), a key factor for the success of SW agents is interoperabili...