Informatik Schriftenreihe
Forschungsergebnisse zur Informatik
ISSN 1435-6260 | 74 lieferbare Titel | 18 eBooks

Klaus Rinderle
Mehrstufige sequentielle Inspektionsspiele mit statistischen Fehlern erster und zweiter Art
Hamburg 1996, Band 26
In dieser Arbeit werden Überwachungssituationen im Rahmen von vertraglichen Vereinbarungen zwischen einem Inspektor und einem Inspizierten als Inspektionsspiele modelliert und analysiert. Typische Anwendungsmöglichkeiten in der Praxis liegen u.a.…
GleichgewichtInformatikNashSpieltheorieStatistische FehlerStrategie
Guido Piehlmeier
Spieltheoretische Untersuchung von Problemen der Datenverifikation
Hamburg 1996, Band 25
Ein Datenverifikationsproblem im Sinne der vorliegenden Arbeit ergibt sich aus der folgenden Situation: Eine Vertragspartei (der Inspizierte) verpflichtet sich aufgrund festgelegter Vereinbarungen zu legalem, d.h. zu vertragskonformem Verhalten…
DatenverifikationEDVInformatikNashSpieltheorieStatistische Fehler
Michael Ryba
Planung und Durchführung methodischer Entwurfsaktivitäten
Hamburg 1996, Band 24
Für den Entwurf integrierter Schaltungen steht eine Vielzahl hochentwickelter rechnergestützter Werkzeuge auf der Basis integrierter Entwurfsumgebungen zur Verfügung. Trotzdem ist auch der rechnergestützte Schaltungsentwurf nicht frei von…
EntwurfsumgebungInformatikPlanungSchaltungsentwurf
Timo Hickl
Rechtwinkliges Layout von hierarchisch strukturierten Graphen
Hamburg 1996, Band 23
Zunächst führt Hickl in alle graphentheoretischen und geometrischen Begriffe ein, die zur Beschreibung des Ansatzes nötig sind. Sodann befaßt er sich mit Graph–Grammatiken, insbesondere mit Ableitungen in Graph–Grammatiken, der…
Informatik
Frank Rabe
Schnelle Bilddatenkompression für Raumfahrtanwendungen
Hamburg 1995, Band 22
Der Autor beschreibt ein spezialisiertes Verfahren zur Kompression der Bilddaten einer CCD-Kamera. Es wird bei der wissenschaftlichen Weltraummission Cassini zum Planeten Saturn eingesetzt (Start geplant für 1997). Sämtliche Darstellungen werden…
InformatikTransformation
Jürgen Feldkamp
Kontextermittlung und -berücksichtigung in Hypertextinformationssystemen
Hamburg 1995, Band 21
In dieser Arbeit wird ein neuer Ansatz vorgestellt, der das Problem der unvollständigen Vernetzung innerhalb von großen Hypertextinformationssystemen wesentlich verringert. Es werden zusätzliche Navigationsmöglichkeiten hergeleitet, die den…
GenerierungHypertextInformatik
Thomas Fritsch
Neuronale Netze in Planung und Optimierung von mobilen Kommunikationssystemen
Hamburg 1996, Band 20
Thema des Buches ist die Anwendung neuronaler Netze auf Planungsprobleme mobiler Kommunikationssysteme. Deren Planung ist dadurch gekennzeichnet, daß aufgrund von Erfahrungswerten und Expertenwissen bislang nur Speziallösungen für…
InformatikKommunikationssystemeNeuronalOptimierungPlanung
Jürgen Schwille
Dokumenten- und Prozeßmodelle für die Software-Verwaltung
Hamburg 1995, Band 19
In einem Software-Projekt entsteht eine riesige Zahl verschiedenartiger Informationen. Festgehalten werden diese Informationen in Dokumenten. Solche Dokumente zu verwalten, ist Aufgabe der Software-Verwaltung. Die Software-Verwaltung muss die…
InformatikProzessmodelleSoftware
Ruggero Costantini
Abstraktion in ereignisbasierten Modellen verteilter Systeme
Ein Beitrag zum formalen Entwurf verteilter Systeme
Hamburg 1995, Band 18
Der Entwurf und die Verifikation verteilter Systeme stellen den Entwicklungsingenieur immer noch vor große Probleme. Das komplexe parallele Verhalten solcher Systeme entzieht sich wegen der Nicht-Determiniertheit der zeitliche Abläufe der…
ImplementierungInformatikSpracheVerifikation
Uwe Langer
Ein Konzept zur entwurfsbegleitenden Leistungsanalyse von Rechensystemen
Hamburg 1995, Band 17
Kurze Innovationszyklen und die ständig wachsende Komplexität von Rechensystemen erfordern eine möglichst frühzeitige Aufdeckung von Entwurffehlern und Leistungs-Engpässen. Daher sind entwurfsbegleitende quantitative Leistungsanalysen meist zu…
Informatik