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

Roswitha Bardohl
GENGED: Visual Definition of Visual Languages
based on Algebraic Graph Transformation
Hamburg 2000, Band 55
Master Ittei said, „In calligraphy it is progress when the paper, brush and ink are in harmony“ [Yam79]. Today in software modeling and specification we are far away from this principle. Visual specifications might be a step in the right…
InformatikProgrammierspracheSoftware-Entwicklung
Karl A. Schniz
Zur prozessorientierten Analyse interaktiver Gefechtssimulationen
Hamburg 2000, Band 54
Interaktive Gefechtssimulationen modellieren komplexe militärische Abläufe und erzeugen während des Simulationslaufs einen umfangreichen Satz verschiedenster Ereignisdaten; die Möglichkeit des steuernden Eingriffs in den Simulationslauf durch den…
AIArtificial IntelligenceInformatikKIKünstliche IntelligenzOperations ResearchStreitkräfteSystemanalyse
Ernö Kovács
Vermittlung und Management von Diensten in offenen Systemen
Hamburg 1999, Band 53
Die Arbeit beschreibt ein neues Systemkonzept zur Vermittlung und Verwaltung von Diensten in verteilten Systemen. Die Grundlage bildet ein Dienstmodell, welches Dienste als ein konfigurierbares System aus verteilten Komponenten auffasst. Der…
InformatikManagementVerteilte Systeme
Claudia Funke
Ökonometrische Schätzungen bei generell nicht stationären datengenerierenden Prozessen
Hamburg 1999, Band 52
In dieser Arbeit wird ein Zeitreihenmodell entwickelt, das sowohl eine flexible Funktionsform wie auch den Einbezug nichtstationärer Zeitreihen ermöglicht. Dazu wird zunächst als Ausgangspunkt die Problematik fehlspezifizierter Modelle…
InformatikÖkonometrieRegressionsanalyseZeitreihenanalyse
Manfred Schölzke
Timing-driven Foorplanning beim hierarchischen VLSI-Entwurf
Hamburg 1999, Band 51
Ziel dieser Arbeit ist die Darstellung und Implementierung von Konzepten zum timing-driven Floorplanning beim hierarchischen VLSI-Entwurf. Kernpunkte eines solchen Entwurfsverfahrens, wie es z.B. das PLAYOUT-System prototypisch verwirklicht, sind…
Informatik
Arnulf Deinzer
Patchen in Realzeitsystemen am Beispiel von SPC-Rechnern
Hamburg 1999, Band 50
Wie erhält man ununterbrechbar laufende (Computer-)Systeme am Leben?
Dieses Problem stellt sich für Knotenrechner der Telekommunikation (Vermittlungsanlagen), aber auch für Kernkraftwerksteuerungen, Systemen der Flugkontrolle oder der…
Informatik
Sönke S. Gold
Transparenter Schutz der Aufenthaltsinformation in Mobilfunksystemen
Hamburg 1999, Band 49
Gerätemobilität, eine wesentliche Eigenschaft von Mobilfunksystemen, setzt eine Infrastruktur voraus, mit der einer Mobilstation funkgebundener Netzzugang über die nächstgelegene Basisstation gewährt werden kann. Mobility Management-Prozeduren…
DatenschutzInformatikIT-SicherheitMobilkommunikation
Jan-Juan Hiemer
Ein Prozeßmodell in CSP zur Analyse von STATEMATE-Statecharts
Hamburg 1999, Band 48
Graphische Notationen werden heute standardmäßig zur Modellierung komplexer Softwaresysteme eingesetzt. Eine gängige Notation für die Entwicklung von Steuerungssystemen sind die von Harel eingeführten Statecharts, die durch das Werkzeug Statemate…
CSPInformatikVerifikation
Thomas Kühne
A Functional Pattern System for Object-Oriented Design
Hamburg 1999, Band 47
This book integrates the vital areas of object-orientation, functional programming, design patterns, and language design. The most important concepts from functional programming are captured with six design patterns: [...]
Informatik
Sybille Hellebrand
Strukturen und Syntheseverfahren
Hamburg 1999, Band 46
Die großen Fortschritte in der Fertigungstechnologie für mikroelektronische Systeme erlauben mittlerweile, hochkomplexe Systeme auf einem Chip zu realisieren. Solche Systeme, die in der Regel verschiedene Komponenten, wie zum Beispiel…
HabilitationInformatik