Search
Now showing items 1-10 of 25
Supporting workflow schema evolution by efficient compliance checks
Rinderle, Stefanie; Reichert, Manfred; Dadam, Peter (2005)
Arbeitspapier
Ein Rahmenwerk zur Einführung von Leistungspunktesystemen
Gehring, Wolfgang (2005)
Arbeitspapier
Combined space-variant maps for optical flow based navigation
Baratoff, Gregory; Toepfer, Christian; Neumann, Heiko (2005)
Arbeitspapier
Fehlersuche in Formalen Spezifikationen
Reif, Wolfgang; Schellhorn, Gerhard; Thums, Andreas (2005)
Arbeitspapier
Intelligent prefetching and buffering for interactive streaming of MPEG Videos
Boll, Susanne; Heinlein, Christian; Klas, Wolfgang; Wandel, Jochen (2005)
Arbeitspapier
RBF network classification of ECGs as a potential marker for sudden cardiac death
Kestler, Hans A.; Schwenker, Friedhelm; Palm, Günther (2005)
Arbeitspapier
Effiziente Verträglichkeitsprüfung und automatische Migration von Workflow-Instanzen bei der Evolution von Workflow-Schemata
Rinderle, Stefanie; Reichert, Manfred; Dadam, Peter (2005)
Arbeitspapier
Deriving an applicative heapsort algorithm
Guttmann, Walter (2005)
Arbeitspapier
Vertical, horizontal, and behavioural extensibility of software systems
Heinlein, Christian (2005)
Arbeitspapier
Dynamic class methods in Java
Heinlein, Christian (2005)
Arbeitspapier