Bøger i Informatik-Fachberichte / Subreihe Kunstliche Intelligenz serien

Originally presented as the author's thesis (doctoral)--Universit'at Karlsruhe under the title: Automatische Synthese rekursiver Algorithmen als Beweisverfahren.

Diese Arbeit befa~t sich mit der piktoriellen (bildhaften) Repr{sentation von Wissen in maschinellen und biologischen informationsverarbeitenden Systemen. Der Leser bekommt einerseits einen ]berblick }ber den Stand der Forschungen in diesem sowohl von Ergebnissen der k}nstlichen Intelligenz als auch von Experimenten der kognitiven Psychologie beeinflu~ten Forschungsgebiet. Andererseits wird eine konkrete Berechnungstheorie f}r ein bekanntes Problem der k}nstlichen Intelligenz entwickelt und mit Berechnungsexperimenten untermauert: die Repr{sentation von raumzeitlichen Ereignissen, beispielsweise von Objektbewegungen in Stra~enverkehrsszenen. Die entworfene Berechnungstheorie basiert wesentlich auf einer piktoriellen Repr{sentation und belegt deren vorteilhafte Eigenschaften f}r eine bestimmte Klasse von Repr{sentationsproblemen.

Originally presented as the author's thesis (doctoral)--Universit'at Dortmund.

Papers presented at a workshop held at the Universit'at Rostock.

German and English with summaries in both languages.

Originally presented as the author's thesis (doctoral)--Universit'at Karlsruhe.

Mit der zunehmenden Leistungsfähigkeit verteilter Rechnersysteme und dem wachsenden Bedarf für verteilte Anwendungen steigen auch die Anforderungen an die Entwicklungsunterstützung für solche Anwendungen. In den letzten Jahren gewannen daher verteilte objektorientierte Techniken nach dem Vorbild das Systems Smalltalk zunehmende Bedeutung. Dieses Buch führt zunächst in den verteilten objektorientierten Ansatz ein und vergleicht diesen mit anderen Mechanismen zur Erstellung verteilter Anwendungen. In ihrem Kernteil befaßt sich die Arbeit dann mit der Erweiterung dieses Ansatzes um neue Konzepte zur Steuerung von Objektmigrationen und zur Verwaltung einer verteilten Anwendungskonfiguration. Dabei werden integrierte Methoden und Werkzeuge zur statischen und dynamischen Plazierung der Objekte einer verteilten Anwendung auf einem verteilten Rechnersystem angeboten. Die Migrationssteuerung hat die dynamische Zusammenführung kommunizierender Objekte zum Ziel und umfaßt ein verteiltes Laufzeitprotokoll zur Realisierung von Objektmigrationen, ein Monitorsystem zur Analyse von Migrationsentscheidungen und eine Beschreibungsnotation zur Vergabe von Migrationsanforderungen. Die Konfigurationsverwaltung stellt eine deklarative Konfigurationssprache zur Beschreibung von Anwendungsstrukturen sowie eine Änderungsnotation zur Anforderung dynamischer Konfigurationsänderungen zur Verfügung.

3. Fachtagung "Informatik und Schule", veranstaltet vom Fachbereich 7 "Ausbildung und Beruf" der GI und dem Institut fur Film und Bild in Wissenschaft und Unterricht (FWU)

Papers presented at a meeting held October 1990 at the Schloss Reisensburg bei G'unzburg.

Universitiit Karlsruhe bei der Entwicklung komplexer verteilter Systeme und ent­ wicklungsunterstiitzender Werkzeuge gewinnen konnte. Der Text wurde von der Fakultiit fUr Informatik der Universitiit Karlsruhe im Jull 1989 als Habilitationsschrift anerkannt.