5964 search results - page 193 / 1193 » A theory of speculative computation |
322
click to vote
Publication
Foundations of Mechanism Design: A Tutorial - Part 2: Advanced Concepts and Results
205
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...
194
click to vote
ATAL
2004
Springer
16 years 14 days ago
2004
Springer
Product Distribution (PD) theory is a new framework for controlling Multi-Agent Systems (MAS’s). First we review one motivation of PD theory, as the information-theoretic extens...
173
click to vote
JITECH
2008
15 years 7 months ago
2008
: The use of information technology (IT) in organizations has undergone dramatic changes the past 30 years. As a result, it has become increasingly common to adopt a services rathe...
182
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...