Qualitative and quantitative formal model-based safety analysis : push the safety button

Magdeburg, Univ., Fak. für Informatik, Diss., 2011

Refactoring feature modules : disciplined generation of reusable modules

Magdeburg, Univ., Fak. für Informatik, Diss., 2011

Adaptive methods for user-centered organization of music collections

Zugl.: Magdeburg, Univ., Fak. für Informatik, Diss., 2011

Emotion recognition within spoken dialog systems

Magdeburg, Univ., Fak. für Elektrotechnik und Informationstechnik, Diss., 2011

Architektur für verteilte, fehlertolerante Sensor-Aktor-Systeme

Magdeburg, Univ., Fak. für Informatik, Diss., 2011

JAVADAPTOR : unrestricted dynamic updates of Java applications

In dieser Arbeit wird mit JAVADAPTOR ein Ansatz präsentiert, der die statisch getypte Programmiersprache Java um die Möglichkeit erweitert, Programme zur Laufzeit und ohne die genannten Einschränkungen zu aktualisieren. Das vorgestellte Konzept kombiniert das schemaverändernde Nachladen von Klassen mit Referenzaktualisierungen auf der Basis von Java HotSwap, Containern und Proxies. Zentrale Beiträge der Arbeit sind detaillierte Beschreibungen der Konzepte und deren Implementierung, sowie der Nachweis der Praxvistauglichkeit der Lösung anhand verschiedener Fallstudien. Weiterhin wird untersucht, ob die präsentierte Lösung Einschränkungen bezüglich Flexibilität, Performanz, Plattform, Programmarchitektur oder Änderungsgranularität unterliegt.

Community analysis in dynamic social networks

Magdeburg, Univ., Fak. für Informatik, Diss., 2009

Rechenzentrum als Produktionsstätte für IT-Dienstleistungen : Kapazitätswirtschaft in virtualisierten Rechenzentren

Magdeburg, Univ., Fak. für Informatik, Diss., 2009

Reusability evaluation of component-based embedded automative software systems

Magdeburg, Univ., Fak. für Informatik, Diss., 2012

Modeling, evaluation and predicting of IT human resources performance

Magdeburg, Univ., Fak. für Informatik, Diss., 2012

Optimierung biometrischer Hash-Algorithmen für die dynamische Handschrift

Magdeburg, Univ., Fak. für Informatik, Diss., 2015

Framework for measuring program comprehension

Magdeburg, Univ., Fak. für Informatik, Diss., 2012

Measuring and predicting non-functional properties of customizable programs

Magdeburg, Univ., Fak. für Informatik, Diss., 2012

Beitrag zur frühzeitigen Abschätzung der Produktkomplexität und zur Definition einfacher Produkte

Magdeburg, Univ., Fak. für Maschinenbau, Diss., 2013

Electron Beam Welding In-Process Control and Monitoring

This work presents the results of an investigation of processes in the melting zone during Electron Beam Welding(EBW) through analysis of the secondary current in the plasma.The studies show that the spectrum of the secondary emission signal during steel welding has a pronounced periodic component at a frequency of around 15–25 kHz. The signal contains quasi-periodic sharp peaks (impulses). These impulses have stochastically varying amplitude and follow each other inseries, at random intervals between series. The impulses have a considerable current (up to 0.5 A). It was established that during electron-beam welding with the focal spot scanning these impulses follow each other almost periodically. It was shown that the probability of occurrence of these high-frequency perturbation increases with the concentration of energy in the interaction zone. The paper also presents hypotheses for the mechanism of the formation of the high-frequency oscillations in the secondary current signal in the plasma.