1115 search results - page 12 / 223 » An Abstract Look at Realizability |
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...
TCS
2011
13 years 2 months ago
2011
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
FOSSACS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— Stigmergy is a mechanism that allows the coordination of actions within the same agent or across different agents by means of traces left in the environment. We propose...
UCS
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. This paper proposes an extended framework for service provision for ubiquitous spaces based on Kerberos. The framework allows groups of services and information about ord...