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.

PDF

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.

PDF

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.

PDF

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.

PDF

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.

PDF

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.

PDF

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.

PDF

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.

PDF

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.

PDF