Sciweavers

CIE
2009
Springer
14 years 7 months ago
Members of Random Closed Sets
Abstract. The members of Martin-L¨of random closed sets under a distribution studied by Barmpalias et al. are exactly the infinite paths through Martin-L¨of random Galton-Watson...
David Diamondstone, Bjørn Kjos-Hanssen
CIE
2009
Springer
14 years 7 months ago
First-Order Universality for Real Programs
J. Raymundo Marcial–Romero and M. H. Escard´o described onal programming language with an abstract data type Real for the real numbers and a non-deterministic operator rtest: Re...
Thomas Anberrée
CIE
2009
Springer
14 years 7 months ago
Stability under Strategy Switching
We suggest that a process-like notion of strategy is relevant in the context of interactions in systems of self-interested agents. In this view, strategies are not plans formulated...
Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simo...
ATC
2009
Springer
14 years 7 months ago
Formal Development of Self-organising Systems
Graeme Smith, Jeffrey W. Sanders
ATC
2009
Springer
14 years 7 months ago
Management without (Detailed) Models
We present a resource management algorithm based upon guided “walks” within a system state space. Walks are guided via simple predictions of optimum behavior whose accuracy inc...
Alva L. Couch, Mark Burgess, Marc Chiarini
ATC
2009
Springer
14 years 7 months ago
A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems
Abstract. An Organic Computing system has the ability to autonomously (re-)organize and adapt itself. Such a system exhibits so called self-x properties (e.g. self-healing) and is ...
Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-P...
WOLLIC
2009
Springer
14 years 7 months ago
Classic-Like Analytic Tableaux for Finite-Valued Logics
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
Carlos Caleiro, João Marcos
WOLLIC
2009
Springer
14 years 7 months ago
The Arrow Calculus as a Quantum Programming Language
Juliana Kaizer Vizzotto, André Rauber Du Bo...
WOLLIC
2009
Springer
14 years 7 months ago
Spoilt for Choice: Full First-Order Hierarchical Decompositions
Abstract. Database design aims to find a database schema that permits the efficient processing of common types of queries and updates on future database instances. Full first-ord...
Sebastian Link
WOLLIC
2009
Springer
14 years 7 months ago
Recognizability in the Simply Typed Lambda-Calculus
Abstract. We define a notion of recognizable sets of simply typed λterms that extends the notion of recognizable sets of strings or trees. This definition is based on finite mo...
Sylvain Salvati