Autoren: Thomas Bauer, Peter Dadam

In verteilten Workflow-Management-Systemen ist es essentiell, die Kommunikationslast zu reduzieren. In diesem technischen Bericht wird detailliert beschrieben, wie dies erreicht werden kann, indem zur Modellierungszeit geeignete Serverzuordnungen für die Aktivitäten berechnet werden. Dabei wird der praktisch relevante Fall berücksichtigt, dass die potentiellen Bearbeiter einer Aktivität von anderen Aktivitäten abhängen.

PDF

Autoren: Gregory Baratoff, Christian Toepfer, Heiko Neumann

We present a set of optical flow based behaviors which allow a robot moving on a ground plane to navigate through an unstructured environment while avoiding obstacles.

PDF

Autoren: Wolfgang Gehring

Als Reaktion auf die Zunahme des Wettbewerbs in der Hochschulausbildung empfehlen Hochschulrektorenkonferenz und Kultusministerkonferenz die Einführung von Leistungspunktesystemen. Auch im neuen Universitätsgesetz von Baden-Württemberg ist dies ausdrücklich gewünscht. Vielfach herrscht aber noch Unklarheit darüber, welche Maßnahmen durchzuführen sind, um ein solches Leistungspunktesystem einzuführen. Dieses Rahmenwerk soll Abhilfe schaffen. Es ist ein Leitfaden zur Einführung von Leistungspunktesystemen; es bietet Hilfestellungen und kann auch als Nachschlagewerk dienen. Angestrebt ist ein Akkumulierungs- und Transfersystem, welches sich an ECTS (dem European Credit Transfer System) orientiert. Insgesamt soll ein Leistungspunktesystem einen erheblichen Beitrag zur Qualitätssicherung in Studium und Lehre beitragen.

PDF

Autoren: Susanne Boll, Christian Heinlein, Wolfgang Klas, Jochen Wandel

In diesem technischen Bericht wird eine intelligente Puffer und Prefetching Strategie MPEG-L/MRP vorgestellt, die sich mit der adaptiven und kontinuierlichen Übertragung von MPEG-1 Videos über IP-Netzwerke beschäftigt. Die Strategie ist speziell darauf ausgerichtet, schnelle und nahtlose Reaktionen auf Benutzerinteraktionen wie z.B. Vorspulen, Rückspulen oder Sprünge zu Lesezeichen zu erzielen.

PDF

Autoren: Wolfgang Reif, Gerhard Schellhorn, Andreas Thums

Hier wird eine Methode vorgestellt, die Gegenbeispiele auch für nicht zustandsendliche Systeme erzeugt und damit auch in interaktiven Beweisern eingesetzt werden kann.

PDF

Autoren: Gerhard Schellhorn, Wolfgang Reif (eds.)

PDF

Autoren: Thomas Bauer, Manfred Reichert, Peter Dadam

Bei zahlreichen verteilten Workflow-Management-Systemen werden Prozessmigrationen durchgeführt, die aber das Kommunikationssystem u.U. stark belasten. Deshalb werden in diesem Beitrag Verfahren vorgestellt, mit denen die bei Migrationen zu übertragenden Datenmenge deutlich reduziert werden kann.

PDF

Autoren: Thomas Bauer, Peter Dadam

Bisherige Arbeiten zur Skalierbarkeit in ADEPT beschäftigten sich hauptsächlich mit der Fragestellung, wie die Überlastung des eines Workflow-Management-Systems zugrunde liegenden Kommunikationssystems verhindert werden kann. In diesem Beitrag wenden wir uns der Belastung von Workflow-Servern zu.

PDF

Autoren: Thomas Bauer, Manfred Reichert, Peter Dadam

Dynamische Änderungen und verteilte Workflow-Ausführung sind essentiell für den unternehmensweiten Einsatz von Workflow-Management-Systemen. In dieser Arbeit wird das Zusammenspiel dieser beiden Aspekte untersucht.

PDF

Autoren: Christian Heinlein

Interaction expressions and graphs are proposed as a simple yet powerful formalism for the specification and implementation of synchronization conditions in general and inter-workflow dependencies in particular.

PDF