Literatur im Fachgebiet Informatik System

Eine schlagwort­basierte Auswahl unserer Fachbücher

Kooperative Informationsagenten im Internet (Forschungsarbeit)

Kooperative Informationsagenten im Internet

Forschungsergebnisse zur Informatik

Die Arbeit liefert einen Ansatz für eine rational kooperative Informationssuche in einer Menge von heterogenen und autonomen Datenbanken. Dabei werden erstmals Methoden aus den verschiedenen Forschungsgebieten der verteilten künstlichen Intelligenz, der terminologischen Wissensrepräsentation und der…

Datenbanken Inferenz Informatik Informationssuche Intelligente Softwareagenten Internet
Datenabhängigkeitsanalyse in Programmen mit Zeigern (Dissertation)

Datenabhängigkeitsanalyse in Programmen mit Zeigern

Forschungsergebnisse zur Informatik

Die Bestimmung von Datenabhängigkeiten spielt eine entscheidende Rolle in vielen Bereichen der Softwareentwicklung, wie beispielsweise in der Optimierungsphase herkömmlicher Übersetzer oder in der Analysephase von Restrukturierungssystemen. Für die Datenabhängigkeitsanalyse von Programmen, die ausschließlich auf…

Informatik Übersetzer
Fehlertolerantes Workflow-Management (Forschungsarbeit)

Fehlertolerantes Workflow-Management

Eine Architektur für die zuverlässige Ausführung verteilter Geschäftsprozesse

Studien zur Wirtschaftsinformatik

Gegenstand dieser Arbeit ist die zuverlässige Ausführung von langandauernden Geschäftsprozessen auf Datenbanken und anderen gemeinsam genutzten Ressourcen. Bei komplexen Produkten kann sich beispielsweise der Prozess Auftragsabwicklung von der Anfrage eines Kunden über die Angebotserstellung, Vorbereitung…

Informatik Verteilte Systeme Workflow
Entwicklung objektorientierter Konzepte zur Erstellung paralleler und verteilter Systeme des rechnergestützten Schaltungsentwurfs (Forschungsarbeit)

Entwicklung objektorientierter Konzepte zur Erstellung paralleler und verteilter Systeme des rechnergestützten Schaltungsentwurfs

Forschungsergebnisse der Programmentwicklung

Der rechnergestützte Entwurf von integrierten Schaltungen muss vor allem die ständige Weiterentwicklung der Schaltkreistechnologie berücksichtigen. Durch immer feinere Strukturgrößen bei gleichzeitig zunehmender Chipfläche wurde es möglich, immer umfassendere und komplexere Schaltungen auf einem Chip zu…

Informatik Schaltungsentwurf Verteilte Systeme
Ein Modell für  Informationssuchsysteme im medizinischen Umfeld (Forschungsarbeit)

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…

Informatik Information Retrieval
Refinements in HOLCF: Implementation of Interactive Systems (Forschungsarbeit)

Refinements in HOLCF: Implementation of Interactive Systems

Forschungsergebnisse zur Informatik

Verfeinerung (Refinement) ist ein Konzept zur mathematischen Modellierung von Software und Systementwicklung. Dabei werden die Softwaresysteme in einer Logik formal beschrieben und durch die Verfeinerungsrelation in Beziehung gesetzt. Mit Verfeinerungen läßt sich die Korrektheit von Systemen bezüglich einer…

Informatik Verifikation
Pfadanalyse stochastischer Netzwerke (Forschungsarbeit)

Pfadanalyse stochastischer Netzwerke

Forschungsergebnisse zur Informatik

Viele reale Systeme wie z.B. Kommunikationsnetze, Fertigungs– oder Rechnersysteme, lassen sich durch stochastische Netzwerke beschreiben. Darunter versteht man ein System miteinander verbundener Stationen. Entlang der Verbindungen zwischen den Stationen bewegen sich Einheiten, auch als Kunden bezeichnet,…

Informatik Pfadanalyse
Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen (Forschungsarbeit)

Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen

Forschungsergebnisse zur Informatik

Da Software in zunehmendem Maße auch in sicherheitsrelevanten Anwendungen eingesetzt wird, steigt der Bedarf an Software-Prüfung, die über das Testen hinausgeht. In dieser Arbeit wird ein System zur Prüfung von mit Zusicherungen angereicherten Programmen entwickelt, dessen Kern konstant ist und bei dem die…

Informatik Programmierung Qualitätssicherung Software
Plattformübergreifende Konstruktion graphischer Benutzeroberflächen (Forschungsarbeit)

Plattformübergreifende Konstruktion graphischer Benutzeroberflächen

Forschungsergebnisse der Programmentwicklung

Beim Entwurf graphischer Benutzeroberflächen lassen sich drei wesentliche Problembereiche unterscheiden: Fenstersysteme, Entwurfswerkzeuge und Entwurfsmethoden. Fenstersysteme bilden die Grundlage von graphischen Benutzeroberflächen. Dabei kommen häufig Toolkits mit vorgefertigten Oberflächenelementen zum Einsatz,…

Entwurfswerkzeuge Informatik
Kommunikation und Synchronisation multimedialer Datenströme in verteilten Systemen (Forschungsarbeit)

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…

EDV Informatik Multimedia Schnittstelle System