Search
Now showing items 1-10 of 16
Learning Finite State Machine Specifications from Test Cases
(2010-08-05)
Moderne Software-Systeme sind häufig modular aufgebaut, müssen dabei aber Ansprüchen an Wartbarkeit und Änderbarkeit genügen. Während man einerseits annimmt, dass modulare Software mit ...
Delay Management in Public Transportation: Capacities, Robustness, and Integration
(2010-02-17)
In dieser Arbeit beschäftigen wir uns hauptsächlich mit dem Anschlusssicherungsproblem mit Kapazitätsrestriktionen, einem wichtigen Aspekt im operativen Betrieb öffentlicher Verkehrsunternehmen. ...
Julia Set as a Martin Boundary
(2010-11-18)
Die Julia-Menge der Klasse hyperbolischer rationaler Abbildungen, deren Julia-Menge vollständig unzusammenhängend ist, wird hier identifiziert als die Martin-Grenze (Martin boundary) einer ...
Reference Framework for Distributed Repositories
(2010-02-17)
Unsere Erwartungen an IT Infrastruktur ändern sich rasant. Vor nicht allzu langer Zeit transportierten wir Daten im Kilobyte-Bereich über einen Stapel Floppy-Disketten, während heutzutage ...
Some Aspects on Coarse Homotopy Theory
(2010-01-08)
Die wichtigsten Beispiele von groben Räumen ergeben sich aus der proper Metriken auf Räume oder aus metrisierbaren Kompaktifizierungen. In beiden Fällen sind die beschränkten Teilmengen genau die relativ Kompakten. ...
Twisted K-theory with coefficients in a C*-algebra and obstructions against positive scalar curvature metrics
(2010-03-17)
Zur geometrischen Realisierung von getwisteter K-Theorie mit Koeffizienten in einer C*-Algebra A führen wir den Begriff des getwisteten Hilbert A-Modulbündels ein. Dies ist eine Konstruktion, ...
Discrete and Profinite Groups Acting on Regular Rooted Trees
(2010-01-14)
Wir entwickeln eine neue Methode um
Gruppen zu untersuchen, die auf regulären Bäumen mit einem Fixpunkt
operieren. Hierzu betrachten wir die Menge aller stetigen
Funktionen von der Automorphismengruppe $\operatorname{ ...
Quality Assurance of Test Specifications for Reactive Systems
(2010-08-20)
Umfassendes Testen von modernen kommunizierenden Systemen beinhaltet oft große und komplexe Testsuiten, die über den Lebenszyklus des getesteten Systems hinweg gewartet werden müssen. Daher ...
A Comparison of Models and Methods for Spatial Interpolation in Statistics and Numerical Analysis
(2010-06-18)
Die Interpolation räumlicher Daten ist eine sehr allgemeine, mathematische Problemstellung mit vielen Anwendung wie zum Beispiel Oberflächenrekonstruktion, numerische Lösung partieller ...