Zur Färbung von Blut- und Eiterpräparaten mit Eosin-Methylenblau

Zur Integration von Struktur- und Verhaltensmodellierung mit OCL

Das werkzeuggestützte Validieren von in der Unified Modeling Language (UML) spezifizierten Modellen ist zu einem wichtigen Forschungszweig in der modellgetriebenen Softwareentwicklung geworden. Durch eine frühzeitige Validierung sollen Designfehler bereits zu Beginn des Entwicklungsprozesses aufgedeckt werden, um spätere aufwändige Korrekturen zu vermeiden. Herkömmliche Werkzeuge in diesem Kont...

Zur Lösung von zahlentheoretischen Problemen mit klassischen und Quantencomputern

In this thesis, we will present and analyze algorithms for classical and quantum computers which solve some number theoretical problems. Moreover we will investigate their impact on current public key cryptosystems. In [Sho94] Shor presented quantum algorithms which determine the period lattice of some functions in quantum polynomial time. These algorithms can be applied to solve the factoring ...

Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen: Konzeption und Realisierung eines Formalismus zur Spezifikation und Implementierung von Synchronisationsbedingungen

Heutige Workflow-Management-Systeme − egal ob kommerzielle Produkte oder Forschungsprototypen − betrachten einzelne Workflows im wesentlichen als separate, in sich abgeschlossene Prozesse, die unabhängig voneinander ausgeführt werden. In der Regel werden weder Beschreibungsmittel zur Spezifikation noch Laufzeitmechanismen zur Überwachung von workflowübergreifenden Synchronisationsbedingungen an...

Bereitstellung von Geodaten mit Marktplätzen und Portalen

Ggw. bestehen Probleme bezüglich der Transparenz des Angebots und insbesondere in der physischen Verfügbarkeit der vorhandenen amtlichen und privatwirtschaftlichen Geodaten. Grundsätzliche Abhilfe können hierzu Geodatenhandelsplattformen schaffen, deren prinzipieller Wirkungsmechanismus am folgenden Beispiel erläutert wird. Mit einer solchen Geodatenhandelsplattform werden die Nutzenspotentiale...

Vergleich von Verfahren zur Lösung von Entscheidungsproblemen mit mehrfacher Zielsetzung