402 search results - page 22 / 81 » Verification of Distributed Knowledge in Semantic Knowledge ... |
129
click to vote
KR
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...
106
click to vote
SIGCOMM
2009
ACM
15 years 7 months ago
2009
ACM
Service oriented access in a multi-application, multi-access network environment poses interesting research challenges. One of these challenges refers to cross-layer interoperabil...
102
click to vote
WWW
2006
ACM
16 years 2 months ago
2006
ACM
Increasingly, manufacturing companies are shifting their focus from selling products to providing services. As a result, when designing new products, engineers must increasingly c...
113
click to vote
TCC
2010
Springer
15 years 10 months ago
2010
Springer
We present a variant of Regev’s cryptosystem first presented in [Reg05], but with a new choice of parameters. By a recent classical reduction by Peikert we prove the scheme sema...
151
click to vote
SEMWEB
2004
Springer
15 years 6 months ago
2004
Springer
SemanticOrganizer is a collaborative knowledge management system designed to support distributed NASA projects, including multidisciplinary teams of scientists, engineers, and acci...