Implementierung

Demetrius Paparoditis

Ein Modell für Informationssuchsysteme im medizinischen Umfeld

Forschungsergebnisse der Programmentwicklung

Medizinische Information ist eine unverzichtbare Voraussetzung ärztlicher und pflegerischer Handlungen. Allerdings ist in einer Domäne wie der Medizin, die durch eine anwachsende Zahl autonomer, dezentraler und hinsichtlich ihrer Terminologien, Interaktionsschnittstellen und inhaltlichen Orientierung hochgradig heterogener Informationsquellen gekennzeichnet ist, die Suche nach der jeweils behandlungsrelevanten medizinischen Information eine Aufgabe mit vielen Barrieren. […]

Matthias Fuchs

Learning Search Heuristics for Automated Deduction

Forschungsergebnisse zur Informatik

Viele Probleme in der Informatik, speziell im Teilgebiet der Künstlichen Intelligenz (KI), werden mit Verfahren bearbeitet, die auf Suche basieren. Zu diesen Suchproblemen zählt auch die automatische Deduktion. Probleme aus diesem Bereich gehören zu den schwierigsten Suchproblemen. Gerade hier ist es unbestritten, dass die oftmals eigentlich unintelligenten Suchmethoden (Suchstrategien bzw. Suchheuristiken) Schwächen haben, die auch schnelle Rechner und ausgeklügelte […]

Jörg Röhrle

Ein regelbasierter Testdatengenerator für das Rapid Prototyping von Datenbankanwendungen

Studien zur Datenbankforschung

Die Unterstützung der Analysephase mittels Rapid Prototyping ist charakterisiert durch die Erstellung von Prototypen, die Aufschluss über nur vage vorhandene Vorstellungen über das zu erstellende Endprodukt geben sollen. Wesentlich bei dieser Vorgehensweise ist die Einbeziehung des Endbenutzers, der durch Beurteilung des Systemverhaltens das Design der nachfolgenden Implementierung beeinflusst. Voraussetzung hierfür ist jedoch, dass die implementierten Funktionen des […]

Tobias Helbig

Kommunikation und Synchronisation multimedialer Datenströme in verteilten Systemen

Forschungsergebnisse zur Informatik

Durch Fortschritte in der Kommunikations- und Computertechnik wird die Einbeziehung von Audio- und Videodaten in Computeranwendungen möglich. Beispiele hierfür sind Telekonferenzanwendungen am Arbeitsplatz oder die Verarbeitung von digitalem Filmmaterial in Studios. Der Entwurf und die Implementierung solcher Anwendungen sind wegen der zeitlichen Eigenschaften der Daten jedoch schwierig und zeitaufwendig.

Unterstützung für den Entwurf und die Laufzeitsteuerung […]

Jörg Kottsieper

Synthese assoziativer Steuerwerke

Forschungsergebnisse zur Informatik

Mit Ausweitung der Forschungs- und Entwicklungstätigkeiten auf dem Arbeitsgebiet der Schaltungssynthese auf höhere Abstraktionsebenen gewannen in jüngster Zeit die in diesen Zusammenhängen auftauchenden Fragestellungen und Vorgehensweisen zunehmend Einfluss auf die Steuerwerkssynthese. So stellen insbesondere die Optimierungsprobleme der Zerlegung eines Steuerwerks in mehrere untereinander kommunizierende Steuerwerke und der Bestimmung einer individuellen Zielarchitektur […]

Thomas Dettmer

Ein Modell für CAD-Entwurfsumgebungen

Beschreibung und Formalisierung wesentlicher Konzepte auf der Basis von Hypermedia

Forschungsergebnisse zur Informatik

Dieses Buch präsentiert ein formales Modell zur Verwaltung der Entwurfsdaten mikroelektronischer Systeme. Das vorgestellte Modell kann als Grundlage für die Entwicklung von Frameworks und Entwicklungsumgebungen verwendet werden. Im Gegensatz zu anderen Ansätzen bestimmen die Bedürfnisse von Benutzern die Beschreibung. Wartung und Wiederverwendung mikroelektronischer Systeme stellen dabei den Schlüssel für die Effizienz zukünftiger Entwurfsprozesse dar. [...]

Andreas Geppert

Methodical Construction of Database Management Systems

Studien zur Datenbankforschung

Datenbankverwaltungssysteme (DBVSe) spielen eine immer größere Rolle in der Datenverarbeitung von Organisationen. Sie dringen in immer neue Bereiche vor, und ihre Funktionalität wird zunehmend erweitert. Angesichts der deshalb "großen" Anzahl zu realisierender DBVSe ist es ein dringendes Problem, ihre Konstruktion auf methodische Art und Weise zu unterstützen. Das Ziel ist dabei nicht nur die methodische Implementierung einer bestimmten Funktionalität, sondern besonders […]

Stefan Scherrer

Specification and Prototypical Execution of Integrity Concepts for Domain-Specific Database Management Systems

Studien zur Datenbankforschung

Die Datenqualität ist ein kritischer Erfolgsfaktor in der Informationsverarbeitung. Komponenten in Datenbankver-waltungssystemen (DBVSen), die es dem Anwendungsentwickler erlauben, Integritätsbedingungen zu definieren und die Konzepte für deren Überwachung anbieten, tragen entscheidend zur Sicherung der Qualität von gespeicherten Daten bei.

In dieser Studie untersuchen wir den Problemkreis, wie solche Komponenten kostengünstiger konstruierbar sind, als wenn […]

Stella Gatziu

Events in an Active, Object-Oriented Database System

Studien zur Datenbankforschung

Neue Entwicklungen der Datenbanktechnologie haben häufig zum Ziel, mehr Umweltsemantik in der Datenbank selbst modellieren zu können. Aktive Datenbanksysteme sind Repräsentanten für dieses Bestreben; sie sind in der Lage, zusätzlich zu den bekannten Fähigkeiten eines konventionellen Datenbanksystems definierte Ereignisse zu erkennen und als Folge davon bestimmte (ebenfalls definierte) Reaktionen auszulösen. Dafür werden in einem aktiven Datenbanksystem sogenannte ECA […]

Peter Luksch

Parallelisierung ereignisgetriebener Simulationsverfahren auf Mehrprozessorsystemen mit verteiltem Speicher

Forschungsergebnisse zur Informatik

Ziel dieser Arbeit ist es, einen objektiven Vergleich unterschiedlicher Ansätze zur Parallelisierung ereignisgetriebener Simulationsverfahren zu ermöglichen. In der Vergangenheit sind eine Reihe von Parallelisierungsansätzen für die ereignisgetriebene Simulation vorgeschlagen, auf verschiedene Simulationsprobleme angewandt und auf unterschiedlichen Mehrprozessorsystemen implementiert worden. Die Studien kommen aufgrund der unterschiedlichen Rahmenbedingungen zu sehr […]