Table of Contents

• Die parametrisierte Komplexität des Student Sectioning ProblemsMaria Dostert. 15-18
• Symbolic Execution of Discrete Event Systems with Uncertain TimeOscar Soria Dustmann. 19-22
• Tangent-Linear and Adjoint Derivative Code for the Non-Linear Least Squares Solver CeresFlorian Kliem. 23-26
• Zyklizität in empirischen und künstlichen NahrungsnetzenMarcus Pöckelmann. 27-30
• Sampling perfekter Matchings in Bezug auf die Struktur des unterliegenden GraphenSteffen Rechner. 31-34
• Indikatorengestützte Betrugsprognose anhand von Jahresabschluss-und Buchführungsdaten in einem probabilistischen wissensbasierten SystemAykut Bußian. 35-38
• Echtzeiterkennung von Umgebungsgeräuschen mit AndroidDominik Kreuz, Matthias Mielke, Rainer Brück 0001. 39-42
• Improving Ontology Construction Using Crowdsourcing and Machine LearningLukas Georgieff. 43-46
• Implementation of a Transformation System for Knowledge Bases Consisting of Relational, Probabilistic ConditionalsMarcus Marto. 47-50
• Crowdsourcing slang identification and transcription in twitter languageBenjamin Milde. 51-54
• Limits of SROIQ in the Context of Reasoning Support for Multi-Agent Plan ModelingStephan Opfer. 55-58
• Model-View-Controller Pattern in a distributed SystemFranziska Anders, Michael Däubler, Kolja Hick, Denis Krajcevic. 59-62
• Integration modellbasierten Testens in die Entwicklungsprozesse eines mittelständischen Unternehmens der AutomatisierungsbrancheKai Beckmann. 63-66
• Universelle Traversierung von NAT-GerätenAlexander Diener, Thomas Zink, Oliver Haase, Jürgen Wäsch. 67-70
• Quelltextgenerierung für LEGO Mindstorms-RoboterJohannes Geismann. 71-74
• FASL: Skriptsprache zur Programmierung mobiler GeräteManuel Grandheit, Christoph Romstöck, Patrick Kreutzer. 75-78
• Ein Pattern Katalog für Qualitätsbewertungsmethoden für Software ArchitekturenThomas Gutenberger, Perihan Bulut, Meryem Cetinkaya, Yasemin Guruhan, Philip Maier, Buket Oezmen, Mehtap Yilmaz. 79-82
• Reverse Engineering des Windows Phone Process Execution ModelsNorman Hansen, Dominik Franke. 83-86
• Systematisches Reengineering eines Softwaresystems am Beispiel einer Sprachtherapie-SoftwareDaniel Krämer. 87-90
• Anwendung der Nutzwertanalyse zur Auswahl von Frameworks zur Unterstützung testgetriebener SoftwareentwicklungSebastian Kunze. 91-94
• Bootstrapping of component based software systemsJohannes Schauer. 95-98
• Aufbau und Auswertung wiederverwendbarer Strukturen aus Ticketsystem- und Versionskontrollsystem-Daten für multiple AnalysenJochen Wierum. 99-102
• Dokumentation von Software ArchitekturenMehtap Yilmaz, Andrew Page, Markus Riegger. 103-106
• Konzeption und Implementierung eines Risiko- und Chancen-Management-Moduls für die Projekt + Business Software admileoDennis Ziegenhagen. 107-110
• eTaddy - Ein integratives Framework für die Erstellung, Durchführung und Analyse von Eyetracking-DatenTanja Blascheck, Michael Raschke, Thomas Ertl. 111-114
• Fog of Triage: Usage of the Fog of War concept for the Triage in a Mass Casualty Incident (MCI)Sebastian Klingenbeck, Tayfur Coskun, Teodora Velikova, Johannes Roith, Gudrun Klinker. 115-118
• Koaktivitäts- und Interaktivitätsbewertung kooperativer Software-WerkzeugeRüdiger Marwein. 119-122
• Markerloses, modellbasiertes Echtzeit-Tracking für AR-ApplikationenJessica Millberg. 123-126
• Ambient Assisted Living: Aktueller Stand und AusblickAlexander Phleps. 127-132
• Mobile Augmented Reality Browser in Combination with Magazines: Problems Concerning Usability and ContentCarolin Reichherzer, Jens Epe. 133-136
• Gestairboard: A gesture-based touch typing keyboard using the Kinect cameraJohannes Roith, Teodora Velikova, Sebastian Klingenbeck, Tayfur Coskun, Gudrun Klinker. 137-140
• Analysieren und Bewerten der Einsatzmöglichkeiten des EPOC Neuroheadsets von EmotivNicolas Simon. 141-144
• Ein Fehlertoleranzkonzept für dynamische, verteilte OSGi-AnwendungenBenjamin Vogler, Jan Schäfer. 145-148
• ORESTES: ein System für horizontal skalierbaren Zugriff auf Cloud-DatenbankenFelix Gessert, Florian Bücklers. 149-152
• Optimierte Speicherzuteilung an Operatoren in DatenbanksystemenJan Kristof Nidzwetzki. 153-156
• Bewertung von Diskriminierungsnetzwerken für regelbasierte SystemeFabian Ohler, Kai Schwarz. 157-160
• Thesis: The Distributed Radix Join Algorithm - Efficient Distributed Join Processing on Modern HardwareAlexander van Renen, Wolf Rödiger. 161-164
• Analyse von Mikro-Blog-DatenRicardo Usbeck. 165-168
• Query Optimization for Large Sets of Predicates in the Database Management System SECONDOGero Willmes. 169-172
• Modellbasierte Hardwareentwicklung am Beispiel eingebetteter Prozessoren für die optische MesstechnikSebastian Berschneider. 177-180
• SLOTH ON TIME: Effiziente Zeitsteuerung in einem unterbrechungsgesteuerten EchtzeitbetriebssystemDaniel Danner. 181-184
• Entwicklung und Evaluation eines Navigationssystems für ElektrorollstühleDzenan Dzafic, Dominik Franke. 185-188
• Browser-basierte SIP-Telefonie auf Grundlage von WebRTCThomas Falkenberg. 189-192
• Self-Optimizing Binary Search Trees - A Game Theoretic ApproachThim Strothmann. 193-196
• Animation-based requirements analysis of a map application user interface to support critical MCI situationsTeodora Velikova, Tayfur Coskun, Sebastian Klingenbeck, Johannes Roith, Eva Artinger, Gudrun Klinker. 197-200
• Konzeption und Implementierung einer medizinischen Multi-Touch-AnwendungNatalie Wenz, Anja Rothbart. 201-204
• Abschätzung des Disparitätsraums für das Stereo-Matching mithilfe von BildmerkmalenChristoph Drexler. 205-208
• Entwicklung einer Kleidungssimulation für 3D-Charaktere auf Basis eines Masse-Feder-SystemsJorin Guderian. 209-212
• Computational Fluid Dynamics within LibGeoDecompStephan Helou. 213-216
• ArchäologieDavid A. Plecher. 217-220
• Approximation von Reflektanzmessungen mit Vektorraummodellen und Latent Semantic IndexingRuben Reiser. 221-224
• Positionsabhängige perspektivische Darstellung von 3D-Inhalten auf mobilen EndgerätenKai Stenkamp. 225-228
• A Real-Time Visualization InfrastructureJan Sutter. 229-232
• Methode zur Evaluierung von Public Cloud IaaS Providern unter Berücksichtigung individueller AnforderungenAdnan Ademovic, Christian Kovac, Denise Uslu, Betlul Ackeza, Adil Sahiner. 233-236
• Service Technologien - SOA IntegrationsmodellMichael Däubler, Franziska Anders, Kolja Hick, Denis Krajcevic, Philipp Maier, Daniel Stiefel. 237-240
• Effektivität von Multiagenten-Organisationstrukturen am Beispiel der Störgeräuscherkennung in FahrzeugenChristopher Jud. 241-244
• Wissensbasiertes automatisiertes IT-ManagementFabian Meyer. 245-248
• Informationslogistisches Rahmenwerk für bedarfsgerechte Informationsversorgung in UnternehmenDirk Stamer. 249-252
• Campus2Go - Content Enrichment Using Enterprise Integration PatternsDaniel Stiefel, Eberhard Heber. 253-256
• Einführung in Business Process Managment und die Entwicklung von Business Process Model & Notation PatternsMehtap Yilmaz, Markus Riegger, Benjamin Hasimov, Usama Mir, Agim Imeraj, Dino Delic. 257-260
• Improving Performance and Precision of UniLoG's Load Generation Process by Utilizing Realtime Enhancing Features of the Operating SystemAlexander Beifuß. 261-264
• Verschlüsselte Sprachkommunikation zwischen Android-SmartphonesAndré Gimbut. 265-268
• Analyse und Vergleich von Autorensystemen für ein WBT zu VorlesungsinhaltenMichael Gruben, Johannes Freudenmann. 269-270
• Design and Implementation of the UULM Network LabMichael Müller. 271-274