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

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 ...

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 ...

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.

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 ...

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 ...

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.

We show that every sparse set S can be many-one reduced to an appropriate tally set T by a polynomial-time, randomized reduction (see formal definitions below). Since T is in NP if S is in NP, this result can be used to ...

Many experiments in the biomedical field generate vast amounts of data. This is especially true for microarray experiments which measure the expression levels of thousands of genes simultaneously. In this context the display ...

In this paper we introduce a new formal model for the concept of syntax--directed semantics, called macro attributed tree transducer (for short: mat tree transducer). This model is based on (noncircular) attributed tree ...