Sciweavers

21430 search results - page 3776 / 4286
» Abstract Effective Models
Sort
View
ATC
2009
Springer
16 years 1 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...
ATVA
2009
Springer
142views Hardware» more  ATVA 2009»
16 years 1 months ago
Synthesis of Fault-Tolerant Distributed Systems
Abstract. A distributed system is fault-tolerant if it continues to perform correctly even when a subset of the processes becomes faulty. Faulttolerance is highly desirable but oft...
Rayna Dimitrova, Bernd Finkbeiner
CALCO
2009
Springer
166views Mathematics» more  CALCO 2009»
16 years 1 months ago
Distributive Lattice-Structured Ontologies
Abstract. In this paper we describe a language and method for deriving ontologies and ordering databases. The ontological structures arrived at are distributive lattices with attri...
Hans Bruun, Dion Coumans, Mai Gehrke
CIE
2009
Springer
16 years 1 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
COSIT
2009
Springer
133views GIS» more  COSIT 2009»
16 years 1 months ago
A Metric Conceptual Space Algebra
Abstract. The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations t...
Benjamin Adams, Martin Raubal
« Prev « First page 3776 / 4286 Last » Next »