Wissenschaftliche Literatur Informationswissenschaft
Eine Auswahl unserer Fachbücher
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.

Tobias Helbig
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 Anwendungen sind wegen der zeitlichen Eigenschaften der Daten jedoch schwierig und zeitaufwendig.
Unterstützung für den Entwurf und die Laufzeitsteuerung…
ASPDienstprogrammEDVInformatikMultimediaSchnittstelleSychronisationSystem
Thomas Fritsch
Neuronale Netze in Planung und Optimierung von mobilen Kommunikationssystemen
Forschungsergebnisse zur Informatik
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 Mobilfunksysteme gefunden werden. Der Autor zeigt die Grundlagen der mobilen Kommunikation wie auch deren Problematik eingehend auf. Die unter dem Begriff „neuronale Netze“ bekanntgewordenen „intelligenten“ Verfahren lehnen sich in ihrem Aufbau…
InformatikKommunikationssystemeMobilNetzNeuronalOptimierungPlanung
Michael Ryba
Planung und Durchführung methodischer Entwurfsaktivitäten
Forschungsergebnisse zur Informatik
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 Problemen.
Einerseits hat die Komplexität integrierter Schaltungen aufgrund ständiger technologischer Verbesserungen drastisch zugenommen, so dass mit der Entwicklung einer einzelnen Schaltung Gruppen von Entwerfern befasst sind,…
EntwurfsablaufEntwurfsprojektEntwurfsumgebungInformatikintegrierte SchaltungPlanungProjektdurchführungrechnergestütztSchaltungsentwurf
Guido Piehlmeier
Spieltheoretische Untersuchung von Problemen der Datenverifikation
Forschungsergebnisse zur Informatik
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 und berichtet Daten, die dieses legale Verhalten bestätigen sollen. Eine Überwachungsbehörde (der Inspektor) verifiziert diese Daten mit Hilfe unabhängiger Beobachtungen und hat daraufhin zu entscheiden, ob sich der Inspizierte…
DatenverifikationEDVFixpunktInformatikMaterialbilanzNashNeyman-Pearson-TestSpieltheorieStatistische Fehler
Klaus Rinderle
Mehrstufige sequentielle Inspektionsspiele mit statistischen Fehlern erster und zweiter Art
Forschungsergebnisse zur Informatik
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. im Bereich der Kernmaterialbilanzierung, der Abrüstungskontrolle, der Überwachung von Industrieschadstoffen in der Umwelt und der Buch- und Steuerprüfung.
Inspektionsspiele sind durch eine gewisse Asymmetrie…
GleichgewichtInformatikInspektionsspielKonfliktsituationNashSpieltheorieStatistische FehlerStrategie
Thomas Dettmer
Ein Modell für CAD-Entwurfsumgebungen
Beschreibung und Formalisierung wesentlicher Konzepte auf der Basis von Hypermedia
Forschungsergebnisse zur Informatik
Dieses Buch präsentiert ein formales Modell zur Verwaltung der Entwurfsdaten mikroelektronischer Systeme. Das vorgestellte Modell kann als Grundlage für die Entwicklung von Frameworks und Entwicklungsumgebungen verwendet werden. Im Gegensatz zu anderen Ansätzen bestimmen die Bedürfnisse von Benutzern die Beschreibung. Wartung und Wiederverwendung mikroelektronischer Systeme stellen dabei den Schlüssel für die Effizienz zukünftiger Entwurfsprozesse dar. [...]
CADCFIEntwurfsumgebungFrameworkHypermediaInformatikKonfigurationskonzeptVDMVHDL
Timo Hickl
Rechtwinkliges Layout von hierarchisch strukturierten Graphen
Forschungsergebnisse zur Informatik
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 Sprache einer Graph–Grammatik und speziellen Eigenschaften von Ableitungen und Graph–Sprachen, die zur Klassifikation der nachfolgenden Layout–Probleme herangezogen werden. [...]
Informatik
Jörg Röhrle
Ein regelbasierter Testdatengenerator für das Rapid Prototyping von Datenbankanwendungen
Studien zur Datenbankforschung
Die Unterstützung der Analysephase mittels Rapid Prototyping ist charakterisiert durch die Erstellung von Prototypen, die Aufschluss über nur vage vorhandene Vorstellungen über das zu erstellende Endprodukt geben sollen. Wesentlich bei dieser Vorgehensweise ist die Einbeziehung des Endbenutzers, der durch Beurteilung des Systemverhaltens das Design der nachfolgenden Implementierung beeinflusst. Voraussetzung hierfür ist jedoch, dass die implementierten Funktionen des…
Datenbankexploratives PrototypingInformatikrapid prototypingregelbasierterSoftwareentwicklungTestdatengenerator
Jürgen Dammert
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, die in Form von Bibliotheken bereitgestellt werden. Selbst unter Verwendung solcher Toolkits gestaltet sich der Entwurfsprozess äußerst kompliziert. Daher…
BenutzeroberflächeEntwurfswerkzeugeEntwurfsystemeFenstersystemeInformatikPortierungTools
Werner Hans
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Forschungsergebnisse der Programmentwicklung
Diese Arbeit beschäftigt sich mit der compilergestützten Parallelisierung der funktionallogischen Programmiersprache BABEL. Hiebei werden unter Berücksichtigung der verwendeten Auswertungsstrategie im Parallelisierungsprozess sich gegenseitig nicht-beeinflussende Ausdrücke durch Datenflussanalysemethoden und Programmtransformation approximativ bestimmt und zugehörige Annotationen in das zu übersetzende Quellprogramm eingebettet. [...]
BABELCompilercompilergestütztDatenflussInformatikParallelisierungsprozessPrallelisierungProgrammierspracheProgrammtransformation