7075 search results - page 1265 / 1415 » Models and heterogeneous reasoning |
149
click to vote
NMR
2004
Springer
15 years 7 months ago
2004
Springer
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance bo...
109
click to vote
SACRYPT
2004
Springer
15 years 7 months ago
2004
Springer
A reasonably efficient password based key exchange (KE) protocol with provable security without random oracle was recently proposed by Katz, et al. [18] and later by Gennaro and Li...
118
click to vote
SGAI
2004
Springer
15 years 7 months ago
2004
Springer
The requirement for Grid middleware to be largely transparent to individual users and at the same time act in accordance with their personal needs is a difficult challenge. In e-...
123
click to vote
WDAG
2004
Springer
15 years 7 months ago
2004
Springer
We apply the classic theory of linearizability to operations that must wait for some other thread to establish a precondition. We model such an operation as a request and a follow-...
111
click to vote
WEBI
2004
Springer
15 years 7 months ago
2004
Springer
The future success of Grid-enabled e-Science depends on the availability of semantic/knowledge-rich resources on the Grid, i.e., the so-called semantic Grid. This requires not onl...