Andreas Koller
Informatik
-
-
Hans Stadtherr
Bd. 29: Work Efficient Parallel Scheduling Algorithms
-
Maria-Athina Mountzia
Bd. 28: Flexible Agents in Integrated Network and Systems Management
-
Cornel Klein
Bd. 27: Anforderungsspezifikation durch Transitionssysteme und Szenarien
-
Stefan Schwerdtner
Bd. 26: Eine Methodik zur Analyse und Spezifikation des Abrechnungsmanagements von Dienstleistungen eines Rechnernetzes
-
Joachim Loos
Bd. 25: Konstruktion von Flächen mit vorgegebenen Krümmungseigenschaften und Anwendungen in der Augenoptik
Die Arbeit beschreibt neue Verfahren, um Flächen mit vorgegebenem Krümmungsverhalten zu konstruieren. Diese finden u.a. in der interaktiven Optimierung von Gleitsichtgläsern Anwendung. Hier wird ein geometrisch basiertes, sowie ein auf Wellenfronten-Raytracing basierendes Verfahren vorgestellt.
-
Christian Schittenkopf
Bd. 24: Dynamische Übertragung von Information in nichtlinearen Systemen
-
Siegfried Schreiber
Bd. 23: Spezifikationstechniken und Generierungswerkzeuge für graphische Benutzungsoberflächen
-
Daniela Rothenhöfer
Bd. 22: Ein Konzept für ein intelligentes Tutorsystem zum Erlernen des Testens und Debugging paralleler Prozeßsysteme
-
Kirsten Heiler
Bd. 21: Eine Methodik zur Modellierung von Konfigurationsvorgängen für Szenarien im Netz- und Systemmanagement
Fuer die Konfiguration einer verteilten Umgebung mit deren gewaltiger Menge an Netz- und Verwaltungsdaten gibt es bislang kaum Unterstuetzung in bezug darauf, wie Heterogenitaet und Komplexitaet solcher Umgebungen effizient handhabbar gemacht werden koennen.
-
Leopoldo Altamirano Robles
Bd. 20: Automatisierung des Vorgangs zur Generierung und Optimierung von geometrischen Modellen aus 2D Objekten
Die Arbeit stellt verschiedene Techniken zur Automatisierung der Generierung eines 2D Objektmodells vor. Eingabebilder, die das zu modellierende Objekt zeigen, werden mit Hilfe von Bildmerkmalen klassifiziert.
-
Werner Schreiber
Bd. 19: Generierung von Dokumentverarbeitungssystemen aus formalen Spezifikationen von Dokumentarchitekturen
-
Weishi Zhang
Bd. 18: Formal Description and Development of Graphical User Interfaces
This thesis deals with issues in the interplay between two important fields of research in computer science: Graphical user interfaces (GUIs) and formal techniques in software engineering.
-
Bernhard Rumpe
Bd. 17: Formale Methodik des Entwurfs verteilter objektorientierter Systeme
In dieser Arbeit wird eine formale Grundlage für eine objektorientierte Methodik entwickelt. Zur Spezifikation von Struktur und Verhalten verteilter objektorientierter Systeme werden Beschreibungstechniken für Objektmodelle, Klassen und Transitionssysteme definiert.
-
Bernhard Bauer
Bd. 16: Attributed Algebraic Specifications
-
Walter Huber
Bd. 15: Turbulenzsimulation mit der Kombinationsmethode auf Workstation-Netzen und Parallelrechnern
-
Steffen Stempel
Bd. 14: Transparente Netzwerktrennung zur Erhöhung der Sicherheit
-
Hans-Michael Windisch
Bd. 13: Speicherverwaltung für konzeptionell strukturierte verteilte Systeme
In der Arbeit werden Konzepte und Verfahren vorgestellt und bewertet, die einen Beitrag zur effizienten Realisierung der verteilten Programmiersprache INSEL leisten.
-
Christoph Pleier
Bd. 12: Prozeßverlagerung in heterogenen Rechnernetzen basierend auf einer speziellen Übersetzungstechnik
Prozeßverlagerung ist die Verschiebung eines sich in Ausführung befindenden Programmes von einem Rechner auf einen anderen. Durch die zunehmende Vernetzung von Rechnern in allen Bereichen und durch die vermehrte Nutzung der Rechnernetze als Ressourcenverbund gewinnt...
-
Dedy Dewanto Tjhie
Bd. 11: Zeitkritischer Verkehr in Wartesystemen von Hochgeschwindigkeitsnetzen: Modellbildung und Mathematische Analyse