2004 (400 KB) - KIT – Fakultät für Informatik

Veröffentlichungen und Vorträge Diplomarbeiten
Umsetzung in Geschäftsmodelle für mobile
Applikationen.
Betreuer: Stucky, W.; Kölmel, B. (FZI)
Maier-Collin , M.:
OntoOffice - Ontologiebasierte Unterstützung des
Wissensprozesses in Office-Anwendungen.
Betreuer: Rudi Studer, Siegfried Handschuh
Mardine, C.:
Erlernen zweihändiger Handhabungen aus beobachteten
Beispielen - Erzeugung von Makrooperatoren.
Betreuer: Dillmann, R.; Zöllner, R.-D.
Mareth, N. J.:
Entwurf eines Verfahrens zur geeigneten Auswahl
von Daten bei der Speicherung mit einer digitalen
Unterschrift von Dokumenten im WWW.
Betreuer: Tichy, W. F.; Schanne, M.; Judt, A.
Matheis, J. S.:
Entwurf und Erprobung eines Metamodells zur
Kosten- und Machbarkeitsanalyse beim Entwurf
von verteilten eingebetteten Systemen am Fallbeispiel
einer verteilten Steuerung.
Betreuer: Müller-Glaser, K. D.
Mayer, M.:
Realisierung eines OBDD-Moduls und Anbindung
an einen Modellprüfer.
Betreuer: Goos, G.; Pulvermüller, E.
Meinecke, J.:
Installation, Verwaltung und Austausch von
Software-Komponenten für Web-Anwendungen
unter Berücksichtigung von Web-Services und
UDDI.
Betreuer: Juling, W.; Nußbaumer, M.; Gaedke, M.
Meisel, S.:
Optimierung stochastischer Probleme mit Simulated
Annealing.
Betreuer: Schmeck, H.; Branke, J.
Mihutoni, J. C.:
Unterstützung mobiler Empfänger für senderbasiertes
Multicastsystem.
Betreuer: Zitterbart, M.; Schöller, M.
400
Oppitz, M.:
Integration von Web-Browsern in eine dienstbasierte
MPLS-Managementarchitektur.
Betreuer: Juling, W.; Thurm, B.
Oser, S. M.:
Routing in mobilen Ad-hoc-Netzen mit Internet-
Anbindung.
Betreuer: Zitterbart, M.; Weniger, K.; Stanze, O.
Otterstätter, A.:
Entwurf und Implementierung eines Rahmens zur
dynamischen Integration und Auswertung heterogener
Umweltdatenbanken.
Betreuer: Lockemann, P.; Kazakos, W.
Pacher, M.:
Ve rgleich von statischen und dynamischen
Methoden zur Verbesserung des Regelverhaltens
von einem echtzeitfähigen mehrfädigen Mikroprozessor.
Betreuer: Brinkschulte, U.
Pänke, I.:
Efficient Search for Robust Solutions by Means
of Evolutionary Algorithms and Fitness Approximation.
Betreuer: Schmeck, H.; Branke, J.
Pampus, C.:
Entwurf und Implementierung eines Konzepts zur
Multicast-Kommunikation in mobilen Ad-hoc-
Netzwerken mit Internetanbindung.
Betreuer: Zitterbart, M.; Stanze, O.
Pech, T.:
Zentrale Fragestellung des Projektportofolio-
Managements und deren Abbildung in IT-
Systeme.
Betreuer: N.N.
Plagemann, C.:
Ansichtsbasierte Erkennung und Lokalisierung
von Objekten zur Initialisierung eines Verfolgungsprozesses.
Betreuer: Steusloff, H.
Platzer, A.:
An Object-Oriented Dynamic Logic with Updates.
Betreuer: Schmitt, P. H.; Beckert, B.
Polakovic, J.:
Studie und Implementierung der dynamischen
Rekonfigurierung im Komponentensystem
THINK.
Betreuer: Calmet, J.
Probst, F. K.:
Mobile vertrauenswürdige Rechnerplattformen in
Unternehmensanwendungen.
Betreuer: Beth, T.; Geiselmann, W.
Rabe, F.:
Eine Dynamische Logik mit temporalen Operatoren
für PROMELA.
Betreuer: Schmitt, P. H.; Schlager, S.
Rahn, M.:
Leader Election in zellulären Automaten.
Betreuer: Vollmar, R.; Worsch, T.
Rashid, A.:
Nutzenpotentiale von mobilen Endgeräten in
Krankenhäusern der Maximalversorgung.
Betreuer: Stucky, W.; Hertweck, D. (FZI)
Raub, D. L.:
Algebraische Spezifikation von Privacy Policies.
Betreuer: Beth, T.; Steinwandt, R.
Reinhardt, S.:
SoDA: Ein Webservice-basiertes verteiltes Dokumenten-Management-System.
Betreuer: Tichy, W.; Padberg, F.
Rezek, R.:
Innovative Benutzerschnittstellen für das Uni-
Cats-System.
Betreuer: Lockemann, P.; Christoffel, M.
Rheinwalt, D.:
Szenario für eine Unternehmens-IT-Struktur im
Jahr 2010.
Betreuer: Stucky, W.; Schröder , F.;
Riese, S.:
Mobilität in Netzen der vierten Generation.
Betreuer: Zitterbart, M.; Küfner, T.
Rodriguez, M.:
Ant Colony Optimization for the Time-dependent
Traveling Salesman Problem.
Betreuer: Schmeck, H.
Rümmer, P. P.:
Interaktive Verifikation von JCSP-basierten,
nebenläufigen Java-Programmen.
Betreuer: Schmitt, P. H.; Schlager, S.
Saadaoui, S.:
Modellierungswerkzeug für die Personalisierung
von Bank- und PKI Smartcards.
Betreuer: Calmet, J.
Sautter, G. J.:
Wandler in digitalen Bibliotheken: Vollautomatische
Generierung.
Betreuer: Lockemann, P.; Christoffel, M.
Schmid, N.:
Entwicklung eines Portals zur Unterstützung ausgewählter
Geschäftsanwendungsfälle in der Ausund
Weiterbildung.
Betreuer: Abeck, S.; Krutz, K.
Schneider, C.:
Entwurf und Implementierung eines Webservice
basierten Vertragsdienstes.
Betreuer: Lockemann, P.; Dietrich, A.
Schorradt, F.:
Vision-based interaction for human robot cooperation.
Betreuer: Dillmann, R.
Schrempf, O.:
Systemtheoretischer Ansatz zur Intentionserkennung
in der Mensch-Maschine-Interaktion.
Betreuer: Hanebeck, U. D.
Schroff, D.:
Entwurf und Realisierung eines komponentenbasierten
Systems zur Darstellung von Messwertverläufen
in einem Prozeßleitsystem.
Betreuer: Goos, G.; Heuzeroth, D.
Schroff, F. G.:
Selbstkalibrierung einer Videokamera ausgehend
401