1941 search results - page 204 / 389 » Reasoning about Computations Using Two-Levels of Logic |
134
Voted
ICNS
2007
IEEE
15 years 10 months ago
2007
IEEE
Market-based compute grids encompass service providers offering limited resources to potential users with varying demands and willingness to pay. Providers face difficult decisions...
146
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic resul...
123
Voted
CIA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Agent’s meta-reasoning is a computational process that implements agent’s capability to reason on a higher level about another agent or a community of agents. There i...
143
Voted
SIGCSE
1999
ACM
15 years 8 months ago
1999
ACM
The wide-spread use of microprocessor based systems that utilize cache memory to alleviate excessively long DRAM access times introduces a new dimension in the quest to obtain goo...
126
Voted
ECCC
2007
15 years 3 months ago
2007
In cryptography, there has been tremendous success in building primitives out of homomorphic semantically-secure encryption schemes, using homomorphic properties in a blackbox way...