UBI-1999-01 A Comparison of Multimedia Document Models Concerning Advanced Requirements
Autoren: Susanne Boll, Wolfgang Klas, Utz Westermann
Traditionally, multimedia document models had to cope with the modeling of the spatial, temporal, and interactive course of a multimedia presentation. In this technical report, we motivate and present new, advanced requirements arising from modern multimedia information systems. Along these requirements, we discuss and analyze the traditional models HTML, HyTime, MHEG, SMIL, and ZYX, a new document model developed with special focus on reusability and adaptation. This analysis shows the limitations of the traditional models and points the way to the need for new, flexible document models.
UIB-1999-02 Verteilungsmodelle für Workflow-Management-Systeme - Klassifikation und Simulation
Autoren: Thomas Bauer, Peter Dadam
In der Literatur wurden zahlreiche Verteilungsmodellen für skalierbare WfMSe vorgeschlagen. Diese Verteilungsmodelle werden in diesem Beitrag analysiert, verglichen und klassifiziert. Außerdem wird für zwei Beispielszenarien die bei den verschiedenen Verteilungsmodellen für die einzelnen Systemkomponenten entstehende Last simuliert und verglichen.
UIB-1999-03 On the Complexity of Constraint Satisfaction
Autoren: Uwe Schöning
A simple prohabilistic algorithm is presented to solve k-SAT, and a generalization, to solve contraint satisfaction problems. The complexity of the k-SAT algorithms is within a polynomial factor of (2k/(k+1))^n.
UIB-1999-04 Model-Checking zur Analyse von Message Sequence Charts über Statecharts
Autoren: Ercument Canver
Die Unified Modeling Language (UML) enthält sowohl Statecharts als auch mit Sequence Diagrams eine Variante von Message Sequence Charts (MSCs). Da beide eingesetzt werden können, um verschiedene Aspekte eines Systems zu beschreiben, ist es sinnvoll, die Konsistenz zwischen beiden Beschreibungstechniken zu prüfen. Dazu werden beide Ansätze miteinander notationell und semantisch integriert; die eigentliche Analyse erfolgt werkzeuggestützt unter Einsatz eines Model-Checkers.
UIB-1999-05 Derandomizing RP if Boolean Circuits are not Learnable
Autoren: Johannes Köbler, Wolfgang Lindner, Rainer Schuler
We show that every language in RP has subexponential-time approximations for infinitely many input lengths if boolean circuits are not polynomial-time pac-learnable with membership queries under the uniform distribution.
UIB-1999-06 Architecture of a DataBlade Module for the Integrated Management of Multimedia Assets
Autoren: Utz Westermann, Wolfgang Klas
Moderne Multimedia-Anwendungen benötigen eine adequate Datenbankunterstützung für das integrierte Management, Retrieval und den Zugriff auf Mediendaten unterschiedlichen Typs. Während sich bisherige Ansätze isoliert mit der Erweiterung von Datenbanksystemen um die Unterstützung einzelner Medientypen beschäftigen, stellen wir in diesem technischen Bericht die Architektur und den Entwurf des Media Integration DataBlade für das objekt- relationale DBMS IDS/UD vor. Es erlaubt das einheitliche Retrieval von Mediendaten unterschiedlichen Typs nach deren technischen Charakteristiken und Inhalt und bietet eine offene Schnittstelle zu evtl. vorhandener medientypspezifischer Datenbankunterstützung.
UIB-1999-07 Enterprise-wide and Cross-enterprise Workflow Management: Concepts, Systems, Applications. Paderborn, Germany, October 6, 1999, GI--Workshop Proceedings, Informatik '99
Autoren: Peter Dadam, Manfred Reichert
Proceedings of the Workshop on Enterprise-wide and Cross-enterprise Workflow Management: Concepts, Systems, Applications (Unternehmensweite und unternehmesübergreifende Workflows: Konzepte, Systeme, Anwendungen), Paderborn, Germany, October 6, 1999.
UIB-1999-08 Graph Isomorphism is Low for ZPP^NP and other Lowness results
Autoren: Vikraman Arvind, Johannes Köbler
We show the following new lowness results for the probabilistic class ZPP^NP. - The class AMcapcoAM is low for ZPP^NP. As a consequence it follows that Graph Isomorphism and several group-theoretic problems known to be in AMcapcoAM are low for ZPP^NP. - The class IP[P/poly], consisting of sets that have interactive proof systems with honest provers in P/poly are also low for ZPP^NP. We consider lowness properties of nonuniform function classes: NPMV/poly, NPSV/poly, NPMV_t/poly, NPSV_t/poly. Specifically, we show that - Sets whose characteristic functions are in NPSV/poly\ and that have program checkers (in the sense of Blum and Kannan~[BK95]) are low for AM and ZPP^NP. - Sets whose characteristic functions are in NPMV_t/poly\ are low for Sigma^p_2.
UIB-1999-09 Efficient Distributed Workflow Management Based on Variable Server Assignments
Autoren: Thomas Bauer, Peter Dadam
In distributed workflow management systems it is essential to reduce the communication load. In order achieve this goal, we calculate appropriate server assignments for the activities at build time. Thereby, the case is respected that the potential actors of an activity may depend on previous activities.