10568 search results - page 364 / 2114 » Computer Intelligence and Formalization |
169
click to vote
TIME
2006
IEEE
15 years 10 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
169
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...
140
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
162
click to vote
TCC
2005
Springer
15 years 9 months ago
2005
Springer
We address the problem of using untrusted (potentially malicious) cryptographic helpers. We provide a formal security definition for securely outsourcing computations from a comp...
129
click to vote
DBSEC
2007
15 years 5 months ago
2007
Abstract. The database server is a crucial bottleneck in traditional inference control architecture, as it enforces highly computation-intensive auditing for all users who query th...