Informatik Schriftenreihe
Forschungsergebnisse zur Informatik

ISSN 1435-6260 | 74 lieferbare Titel | 18 eBooks








 Dissertation: Performancebewertung und sicherung von orchestrierten Serviceangeboten

Performancebewertung und -sicherung von orchestrierten Serviceangeboten

Hamburg 2009, Band 64

Serviceorientierte Architektur (SOA) stellt einen vielversprechenden Versuch dar, die ständig wachsende Komplexität gegenwärtiger IT-Anwendungslandschaften durch flexible und standardkonforme Integration wiederverwendbarer fachlicher Komponenten…

BPMGeschäftsprozessmanagementInformatikIntegrationsprojektModellierungPerformanceQualitätServiceorientierte ArchitekturSOA
 Doktorarbeit: Dezentrale Ablaufplanung für selbstverteilende parallele Systeme

Dezentrale Ablaufplanung für selbstverteilende parallele Systeme

Hamburg 2009, Band 63

Seit den Anfängen des Computerzeitalters fordern immer komplexer werdende Applikationen immer leistungsfähigere Rechnersysteme. Eine Möglichkeit zur Leistungssteigerung besteht im Einsatz mehrerer Prozessoren, die parallel an der auszuführenden…

AblaufplanungDatenflussInformatikSchedulingSimulation
 Doktorarbeit: Integrating Smart Devices in Java Applications

Integrating Smart Devices in Java Applications

Hamburg 2006, Band 62

This book deals with the question of how to integrate Smart Devices in Java applications. Therefore, it provides a motivation why Smart Devices should be integrated in Java applications. This motivation basically looks at the CSCL/CSCW domain and…

CSCLInformatikIntegrationJavaModellingSmart Devices
 Forschungsarbeit: Intuitionistic Set Theory

Intuitionistic Set Theory

or How to construct semi-rings. Part IV

Hamburg 2002, Band 61

The logical problem is an old problem. Leibniz developed a „mathesis universalis“, which he estimated to be the Logic of sciences. His approach was rational calculable. Frege took Leibniz‘s ideas and prepared a logic, which was composed by…

Informatik
 Doktorarbeit: Rechnergestützte Simulation und Planung auf der Grundlage von Tabellenkalkulation

Rechnergestützte Simulation und Planung auf der Grundlage von Tabellenkalkulation

Hamburg 2002, Band 60

Tabellenkalkulationsprogramme werden heute oft zur Simulation und Planung eingesetzt. Da sie dafür aber ursprünglich nicht vorgesehen waren, haben sie in diesem Bereich einige Beschränkungen.

In dieser Arbeit werden diese Beschränkungen…

ConstraintsInformatikModellierungPlanungSimulationVisualisierung
 Dissertation: Das Führerschaftsprinzip bei Inspektionsspielen

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 MathematikDatenverifikationInformatikSpieltheorieStrategien
 Forschungsarbeit: Intuitionistic Set Theory

Intuitionistic Set Theory

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…

Informatik
 Doktorarbeit: Decision Support for Conceptual Database Design Based on the Evidence Theory

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…

CommunicationInformatik
 Dissertation: Institutionalisierte Wiederverwendung von SoftwareBausteinen und deren Komposition

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 Engineering
 Dissertation: GENGED: Visual Definition of Visual Languages

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

Weitere Reihen neben „Forschungsergebnisse zur Informatik“