Informatik Schriftenreihe
Forschungsergebnisse zur Informatik
ISSN 1435-6260 | 74 lieferbare Titel | 18 eBooks
Andreas Wölling
Das Führerschaftsprinzip bei Inspektionsspielen
Hamburg 2002, Band 59
Im Mittelpunkt der Arbeit steht die spieltheoretische Modellierung und Analyse des sog. Führerschaftsprinzips, d.h. von Situationen, bei denen eine Person oder Gruppe ihre Handlungen im vorhinein ankündigt. [...]
Angewandte MathematikDatenverifikationInformatikSpieltheorieStrategienConrad Kuck
or How to construct semi-rings Part III
Hamburg 2001, Band 58
Hilbert‘s Program is completed by a finite method, which constructs propositions. The constructed propositions can make assertions about infinitive sets. Intuitionistic Set Theory generalizes the construction of an algebraic-real number u.u is a…
InformatikMargita Altus
Decision Support for Conceptual Database Design Based on the Evidence Theory
An Intelligent Dialogue Interface for Conceptual Database Design
Hamburg 2001, Band 57
The aim of this work is to present a database design information system, which integrates two important cornerstones of communication. On the on side, it provides an intelligent dialogue interface for conceptual database design; the interactive…
CommunicationInformatikStefan Leboch
Institutionalisierte Wiederverwendung von Software-Bausteinen und deren Komposition
Am Beispiel von Software-Werkzeugen aus dem Schaltungsentwurf
Hamburg 2001, Band 56
Die zunehmende Komplexität technischer Systeme, die heutzutage in nahezu allen Lebensbereichen Einzug halten, erfordert bei deren Entwicklung einen massiven Einsatz von Entwurfswerkzeugen auf Software-Basis. Die extrem kurzen Innovationszyklen in…
EntwurfswerkzeugeInformatikObjektorientierungSoftware EngineeringRoswitha 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-EntwicklungKarl 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äfteSystemanalyseErnö 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 SystemeClaudia 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ÖkonometrieRegressionsanalyseZeitreihenanalyseManfred 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…
InformatikArnulf 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