5964 search results - page 405 / 1193 » A theory of speculative computation |
220
click to vote
IFIP
2004
Springer
16 years 29 days ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
199
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Multi-agent learning is a crucial method to control or find solutions for systems, in which more than one entity needs to be adaptive. In today's interconnected world, such s...
212
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
It is well known that, in theory, the general secure multiparty computation problem is solvable using circuit evaluation protocols. However, the communication complexity of the re...
203
click to vote
SIGECOM
2006
ACM
16 years 1 months ago
2006
ACM
We investigate the space of two-sided multiattribute auctions, focusing on the relationship between constraints on the offers traders can express through bids, and the resulting c...
189
click to vote
PODC
2009
ACM
16 years 8 months ago
2009
ACM
d Abstract] Prosenjit Bose School of Computer Science Carleton University Ottawa, Canada jit@scs.carleton.ca Paz Carmi Dept. of Computer Science Ben-Gurion Univ. of the Negev Beer-...