2436 search results - page 124 / 488 » Comonadic Notions of Computation |
129
click to vote
TGC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this survey paper we consider the class of protocols for informationhiding which use randomization to obfuscate the link between the observables and the information to...
132
click to vote
FOCS
2005
IEEE
15 years 9 months ago
2005
IEEE
How does a search engine company decide what ads to display with each query so as to maximize its revenue? This turns out to be a generalization of the online bipartite matching p...
129
Voted
ITRUST
2005
Springer
15 years 9 months ago
2005
Springer
The Grid vision is to allow heterogeneous computational resources to be shared and utilised globally. Grid users are able to submit tasks to remote resources for execution. Howeve...
120
click to vote
RTA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We show that the structures of binding algebras and Σmonoids by Fiore, Plotkin and Turi are sound and complete models of Klop’s Combinatory Reduction Systems (CRSs). T...
141
click to vote
CA
2003
IEEE
15 years 9 months ago
2003
IEEE
Agent design has to date concerned itself with the issues pertaining to a single body embedded in a single environment, whether virtual or real. This paper discusses the notion of...