Datenbestand vom 19. Juni 2013
Tel: 089 / 66060798 Mo - Fr, 9 - 12 Uhr
Impressum Fax: 089 / 66060799
aktualisiert am 19. Juni 2013
Ulrich LampeMonetary Efficiency in Infrastructure Clouds – Solution Strategies for Workload Distribution and Auction-based Capacity Allocation
Richard MembarthCode Generation for GPU Accelerators from a Domain-Specific Language for Medical Imaging
Matthias NiederhausenMethoden zur aspektorientierten Entwicklung adaptiver Webanwendungen
Marc ZellerSelbst-Adaptivität in vernetzten eingebetteten Systemen unter Berücksichtigung nicht-funktionaler Anforderungen
Josef AngermeierConcepts and Algorithms to Increase the Efficiency and Reliability of Reconfigurable Computers
Holger FrankenMachine Learning and Computational Mass Spectrometry for the Discovery of Metabolite Biomarkers Involved in Type 2 Diabetes
Christoph NeumannDistributed Case Handling
Michael DeynetKontextsensitiv lernende Sequenzvorhersage zur erfahrungsbasierten Unterstützung bei der Softwareprozessausführung
Sven EisenhardtVorausschauende Rekonfiguration dynamisch rekonfigurierbarer Prozessoren in einem System on Chip
Sebastian BlankA Biological Inspired Approach for Sensor Data Management in Modular Agricultural Machines
Daniela WeinbergDeciding Service Substitution - Termination guaranteed
Christian FeichtingerDesign and Performance Evaluation of a Software Framework for Multi-Physics Simulations on Heterogeneous Supercomputers
Mehwish SaleemiCoding Theory via Groebner Bases
Anne-Kathrin BraunOptimizing the user experience of mobile Augmented Reality applications
Yi OuCaching for flash-based databases and flash-based caching for databases
Rainer LüdeckeInfinite-Valued Least Model and Game Semantics for Formula-Based and Normal Logic Programs
Elmar MairEfficient and Robust Pose Estimation Based on Inertial and Visual Sensing
Andreas NauerzAdapting and Recommending Content and Expertise in Highly Collaborative Web Portals
Torsten HoppMultimodal Registration of X-Ray Mammograms with 3D Volume Datasets
Tim WortmannAutomatic Image Analysis in Micro- and Nanorobotic Environments
Benjamin WeyersReconfiguration of User Interface Models for Monitoring and Control of Human-Computer Systems
Marc SchlimbachKonzeptionierung und Realisierung eines modularen Softwareframeworks zur interaktiven Planung und Durchführung computerassistierter chirurgischer Ei…
Marcel BrücknerActive Self-Calibration of Multi-Sensor Systems
Simon PabstAdvances in Physically Based Deformable Object Simulation
Tobias BöhlerDeformable Image Registration Methods for Clinical Applications of Magnetic Resonance Mammography
Timo SchairerIntegrating Sensing, Localization and Visualization in the Robot Control Loop
Christoph RingelsteinData Provenance and Destiny in Distributed Environments
Stefan HerrmannDirekte und proportionale Ansteuerung einzelner Finger von Handprothesen
Oliver Christian FortmeierParallel Re-Initialization of Level Set Functions and Load Balancing for Two-Phase Flow Simulations
Oliver SchaudtThe Structure of Dominating Subgraphs
Bernhard MillaMonte Carlo Complexity of Initial Value Problems and Indefinite Integration
Bernhard JäckschA Plan For OLAP: Optimization Of Financial Planning Queries In Data Warehouse Systems
Carsten HennegesFeature Selection and Data Mining for Proteomics and Metabolomics
Ulf Mario BlankeRecognizing Complex Human Activity Based on Activity Spotting
Ulrich ReffleAlgorithmen und Methoden zur dokumentenspezifischen Analyse historischer und OCR-erfasster Texte
Maximilian KögelOperation-based Model Evolution
Gerrit HanselmannOn the principle of heterogeneous redundancy based Bayesian approach to integrate static and dynamic fault prediction models
Tim PulsLokalisations- und Regelungsverfahren für einen 4-Rotor-Helikopter
Patricia MarcuArchitekturkonzepte für interorganisationales Fehlermanagement
Annette GotscharekLexikalische Ressourcen zur Erschließung historischer Dokumentkollektionen
Philipp SengerDatenbasierte Methode zur automatischen Generierung elektrischer Verhaltensmodelle in der Automobilindustrie
Matthias MüllerModellierung und Bewertung eingebetteter Hardware/Software-Systeme unter Berücksichtigung von Echtzeitbetriebssystemen
Christian BarteltKollaborative Modellierung im Software Engineering
Sebastian FröhlerAlgorithms for the analysis of the primary and tertiary structure of genomes.
Torben WichersAllgemeines Bottom-Up Parsing Modell
Andreas DrägerComputational Modeling of Biochemical Networks
Ekaterina EltsErweiterung der Molekulardynamik um innere Freiheitsgrade: Modellierung und verteilte Simulationen auf dem Grid
Nikolas FechnerStructured Kernel-based Machine Learning for Cheminformatics
Markus KalbUnterstützung von Periodizität in Informationssystemen
Nadja BetzlerA Multivariate Complexity Analysis of Voting Problems
Thomas FranzSemantic Personal Information Management
Andreas GrünerTesting Object Interactions
Dirk NiebuhrDependable Dynamic Adaptive Systems - Approach, Model, and Infrastructure
Daniel ZienerTechniques for Increasing Security and Reliability of IP Cores Embedded in FPGA and ASIC Designs
Manuel MöllerFusion of Spatial Information Models with Formal Ontologies in the Medical Domain
Alexander BöhmBuilding Scalable, Distributed Applications with Declarative Messaging
Silke-Maria LechnerEddySim: A Problem Solving Environment for Hardware-Related Eddy Current Simulations in Magnetic Resonance Imaging
Dirk PflügerSpatially Adaptive Sparse Grids for High-Dimensional Problems
Walid MaalejIntention-Based Integration of Software Engineering Tools
Martin HoffmannSystem Management Algorithms for Distributed Vision Networks
Boris StummÄnderungsmanagement in großen Informationssystemen
Thomas SauerAutomated Enactment Tracking for Dynamic Workflows
Mark YampolskiyMaßnahmen zur Sicherung von E2E-QoS bei Verketteten Diensten
Alsayed AlgergawyManagement of XML Data by Means of Schema Matching
Mariana Kessler BortoluzziMapping across Medical Vocabularies
Dominic MüllerManagement datengetriebener Prozessstrukturen
Peter WeißgerberAutomatic Refactoring Detection in Version Archives
Patrick MaaßNeue rechnergestützte Methoden zum Scaffold-Hopping unter Verwendung von Kristallstrukturen kleiner Moleküle
Adrian UlgesVisual Concept Learning from User-tagged Web Video
Frank HannigScheduling Techniques for High-Throughput Loop Accelerators
Christian MathisStoring, Indexing, and Querying XML Documents in Native XML Database Management Systems
Christian MathissenWeighted Automata and Weighted Logics over Tree-like Structures
Tobias WeinzierlA Framework for Parallel PDE Solvers on Multiscale Adaptive Cartesian Grids
Carsten AmelunxenMetamodel-based Design Rule Checking and Enforcement
Frank A. ZdarskySelf-Coordinated Radio Resource Management for Dense and Chaotic Wireless Networks
Niklas RöberInteraction with Sound - Explorations beyond the Frontiers of 3D Virtual Auditory Environments
Irma LindtAdaptive 3D User Interfaces
Robert KalcklöschGossip-Based Diagnosis of Arbitrary Component-Oriented Systems
Stefan ConradImmersive interaktive Entwicklung projektionsbasierter virtueller Umgebungen
Ina SchaeferIntegrating Formal Verification into the Model-Based Development of Adaptive Embedded Systems
Jochen ReichSupporting the execution of knowledge intensive processes by means of expert and best- practice mediation
Sven FleckPrivacy Sensitive Surveillance - Smart Camera based Distributed Scene Analysis Reflected in an Integrated 3D Environment
Alexander TartakovskiReasoning with Generalized Cases
Thomas PohlHigh Performance Simulation of Free Surface Flows Using the Lattice Boltzmann Method
Harald KöstlerA Multigrid Framework for Variational Approaches in Medical Image Processing and Computer Vision
Alexander Hilliger von ThileDatenbereitstellung für Business-Intelligence-Analysen aus komplexen ad-hoc Prozessen
Philipp DopichajContent-oriented retrieval on document-centric XML
Ingo LückModellbasierte Konfiguration von Sicherheitsdiensten
Andreas HanemannAutomated IT Service Fault Diagnosis Based on Event Correlation Techniques
Tobias SchüleVerification of Infinite State Systems Using Presburger Arithmetic
Nils ThüreyPhysically based Animation of Free Surface Flows with the Lattice Boltzmann Method
Peter BiberMap Building and Localization for Long-Term Operation of Mobile Robots in Dynamic Environments
Michael KrauseKontextbereitstellung in offenen, ubiquitären Systemen
Sebastian WernickeCombinatorial Algorithms to Cope with the Complexity of Biological Networks
Manuela KunzeLinguistische Analysen für die semantische Auszeichnung natürlichsprachlicher Dokumente
Frank MöhleA Modular Concept and a Computer Language for Modeling and Simulation of a Passive Boiling Water Reactor
Viktor SchuppanLiveness Checking as Safety Checking to Find Shortest Counterexamples to Linear Time Properties
Stefan KlinkIQForCE - Intelligent Query (Re-)Formulation with Concept-based Expansion
Michael P. HausteinFeingranulare Transaktionsisolation in nativen XML-Datenbanksystemen
Silke SalewskiFloorplanning von vertikal integrierten Schaltungen (3D-ICs) unter Berücksichtigung der Temperaturverteilung
Mario TrappModeling the Adaptation Behavior of Adaptive Embedded Systems
Bernhard KempterKonfliktbehandlung im policy-basierten Management mittels a priori Modellierung
Katja DaubertHardware-Supported Cloth Rendering
Sabine TrochimSituiertes Lernen in Augmented-Reality-basierten Trainingssystemen am Beispiel der Echokardiographie
Jörg DomaschkaA Comprehensive Approach to Transparent and Flexible Replication of Java Services and Applications
Martin SpülerAssessing the Benefit of Adaptive Brain-Computer Interfacing
Holger KlusAnwendungsarchitektur-konforme Konfiguration selbstorganisierender Softwaresysteme
Stefan DöbrichPerformance Improvement of Adaptive Processors
Martin RapusComponent-based Pedestrian Recognition for Advanced Driver Assistance Systems
Daniel SchmidtSafe Navigation of a Wall-Climbing Robot - Risk Assessment and Control Methods
Johannes StrassnerParametrisierbare Menschmodelle für Dialogumgebungen
Harald KleinCollaborative Processes of Enterprises: Supporting Global Development
Alexander WiethoffPrototyping Tools for Hybrid Interactions
Alexander KettlerWerkzeuge für den Entwurf und die Analyse von Algorithmen in der Kollektiven Robotik
André SeffrinA Process-Algebraic Approach to Security-Aware Scheduling of Dynamic Partial Reconfiguration on FPGA Devices
Quirin Nikolaus MeyerReal-Time Geometry Decompression on Graphics Hardware
Philipp AdlerSpekulative Optimierungen in interpretativen virtuellen Maschinen
Robert LasowskiServiceorientiertes Mehrkanal-Beaconing in Fahrzeug-Ad-hoc-Netzen
Jochen HirthTowards Socially Interactive Robots – Designing an Emotion-based Control Architecture
Matthias GruhneExtraction and Evaluation of Mid-level Features for Semantic Music Analysis
Alexander ViehlQuantitative Synchronisationsanalyse kommunizierender Prozesse zum Echtzeitnachweis verteilter eingebetteter Systeme
Henning JostReasoning on Domain Knowledge and Technical Standards to Support the Development of Safety-Critical Automotive Systems
Axel SchröpferLaufzeitmodell und Protokollsprache zur Erhöhung der Einsatzfähigkeit Sicherer Zwei-Parteien-Berechnung
Frank BauerVerfahren zur Darstellung von Constraintsystemen am Beispiel der interaktiven bildbasierten Rekonstruktion
Christopher TuotA Collaborative Knowledge Management Approach to Provide Better Agricultural Decision Support
Stefanie SchraufstetterA Pricing Framework for the Efficient Evaluation of Financial Derivatives based on Theta Calculus and Adaptive Sparse Grids
Nikolas NehmerException Handling - A Systematic Log-Based Approach
Frank BöhrModel-Based Statistical Testing of Embedded Real-Time Software with Continuous and Discrete Signals in a Concurrent Environment: The Usage Net Approach
Kerstin BauerA New Modelling Language for Cyber-physical Systems
Sebastian UllrichBimanual Interaction for Medical Virtual Environments: Palpation and Needle Intervention
Adrian SchröderInference of gene-regulatory networks in primary human hepatocytes
Sebastian StoberAdaptive Methods for User-Centered Organization of Music Collections
Benjamin HuhleAcquisition and Reconstruction of 3D Scenes with Range and Image Data
Joachim BöttgerComplex-Logarithmic Views and Map Warping
Jonas HelmingMerging Project Management with System Modeling
Daniel BurkhartSubdivision for Volumetric Finite Elements
Sascha KirstanKosten und Nutzen modellbasierter Entwicklung eingebetteter Softwaresysteme im Automobil
Sebastian HeroldArchitectural Compliance in Component-Based Systems
Daniel ZaumSystem Level Analysis of Mixed-Signal Systems using State Space Models
Andreas M. WeinerCost-Based XQuery Optimization in Native XML Database Systems
Karin EngelStructural Analysis of Patterns and Shapes using Hierarchical Vibrations
Gregor L. PardellaEfficient Polynomial-Time Algorithms for Special Graph Partitioning Problems
Birgit EngelsA Generalized Network Model for Freight Car Distribution
Norbert SchmitzDynamic Modeling of Communication Partners for Socially Interactive Humanoid Robots
Alexander GeraldyAdaptive Routingprotokolle für drahtlose, mobile Ad-hoc-Netzwerke
Lothar SchmitzProgrammentwicklung mit Kontrollabstraktionen
Michael PiefelCeeJay – Ein Metamodell zur Codegenerierung
Alexander BuckschRevealing the skeleton from imperfect point clouds
Pinar WennerbergCorpus based methods for ontology modularization in healthcare
Björn SanderEntwurfsraumexploration eingebetteter Multi-Core-Systeme auf Architekturebene unter Berücksichtigung von Performanz, Energie und Zuverlässigkeit
Jan SchäferA Programming Model and Language for Concurrent and Distributed Object-Oriented Systems
Klaas Ole KürtzSecure Two-Round Message Exchange
Klaus IglbergerSoftware Design of a Massively Parallel Rigid Body Framework
Roland NeumannOrthogonale Softwaremaße in der Fehlerprognose
Ulrich SteinhoffExploring Location Technologies – Alternative Location Technologies for Mobile Users & Potential of Long Term Tracking
Christian ThielMultiple Classifier Systems Incorporating Uncertainty
Sven LachmundAuto-Generation of Least Privileges Access Control Policies for Applications Supported by User Input Recognition
Thomas SchweizerVerfahren und Schaltkreis zur Ladungswiederverwendung in Schaltungen mit mehrfacher und abschaltbarer Spannungsversorgung
Jana BlaschkeOptimierung des ASIC-Entwicklungsprozesses für heterogene Mixed-Signal Projekte unter Berücksichtigung dynamischer Effekte
Ricardo Alejandro TauroA New Approach Towards a Generic Unloading System
Nadine Shanthi PereraCLIoS: Cross-Lingual Induction of Speech Recognition Grammars for the Localization of Spoken Dialog Systems
Martin BuchholzFramework zur Parallelisierung von Molekulardynamiksimulationen in verfahrenstechnischen Anwendungen
Joost van BeusekomOptical Document Security in High Volume Office Environments
Jan Karl WarzelhanObject Recognition in Video Surveillance Camera Networks
Robert FischerMethodik für die Verlustleistungsabschätzung von Prozessoren mit Pipeline-Strukturen
Julio Alexandrino Oliveira FilhoDescription and Specialization of Coarse-grained Reconfigurable Architectures
Daniel KlinkThree-Valued Abstraction for Stochastic Systems
Thorsten SchüttRange Queries on Distributed Hash Tables
Kirsten MewesDomain-specific Modelling of Railway Control Systems with Integrated Verification and Validation
Bernd HentschelInteractive Feature Analysis in Virtual Environments
Christian SchüllerAutomatisierte Feedbackgenerierung in der benutzerzentrierten Softwareentwicklung am Beispiel mobiler Anwendungen
Elmar SchochSecure Communication in Inter-Vehicle Networks
Thomas Martin GawlitzaStrategieverbesserungsalgorithmen für exakte Programmanalysen
Stefan RiegerVerification of Pointer Programs
Milan GnjatovićAdaptive Dialogue Management in Human-Machine Interaction
Karsten RinkLocally Adaptive Speed Functions for Level Set Methods in Image Segmentation
Philipp JenkeA Statistical Reconstruction Framework for Surfaces with Features and for Animations
Ingmar FliegeComponent-based Development of Communication Systems
Thomas KuhnModel Driven Development of MacZ - A QoS Medium Access Control Layer for Ambient Intelligence Systems
Matthias GöhnerEin diensteorientiertes Abrechnungssystem für dynamische Virtuelle Organisationen
George-Sava BrancoviciArchitecture and Framework for Trustworthy Autonomous Systems
Tobias LehmannOntologische Modellintegration und wissensbasierte Entscheidungsunterstützung in strukturheterogenen, effektbasierten Planungsräumen
Ioan Lucian MunteanEfficient Distributed Numerical Simulation on the Grid
Martin LätschSchranken für den minimalen orientierten Durchmesser
Alexander JesserMixed-Signal Circuit Verification Using Symbolic Model Checking Techniques
Tobias OppoldEntwurf und Bewertung von Architekturen dynamisch rekonfigurierbarer Prozessoren
Arno WagnerEntropy-Based Worm Detection for Fast IP Networks
Ruben BartholomäAutomatische Synthese von Hardware-Architekturen aus Lifting-basierten Filterbankspezifikationen
Torsten BierzIntuitive Interaction for Immersive Visualization Systems
Stefan AgneBenchmarking der Text-basierten Anteile eines exemplarischen DAU-Systems
Yvette TeikenSemi-automatische Überwachung Annotierter Strategy Maps
Alexander WeberMulti-layered Browsing
Wolfgang HommelArchitektur- und Werkzeugkonzepte für föderiertes Identitäts-Management
Patrick ReutherNamen sind wie Schall und Rauch - Ein semantisch orientierter Ansatz zum Personal Name Matching
Sascha SeifertBiomechanische Modellierung der Halswirbelsäule basierend auf tomografischen Bilddaten
Henning DaumStörfaktorbezogenes Grenzwertverhalten biometrischer Gesichtserkennung
Felix WeigelEfficient XML Retrieval with Structural Summaries
Jens TeubnerPathfinder: XQuery Compilation Techniques for Relational Database Targets
Alaa H. HalawaniLocal Integral Invariants for Image Retrieval
Christian HagemeierOptimale Sternüberdeckungen von Graphen
Zein I. SalahSegmentation and Illustrative Visualization of Medical Data
Martin StumpfGestaltungsempfehlung für neue Zahlungssysteme - Geschäftspartnerabhängige Analyse und Bewertung des Webzahlungsumfeldes, Untersuchung der Gründe fü…
Thomas BuchholzSkalierbare kontextsensitive Dienste
Chun XiaoCorpus-based Approaches for the Processing of the English Sublanguage of Biomedical Abstracts
Dirk RäbigerSemi-Präemptives Transportieren
Thomas KolligEfficient Sampling and Robust Algorithms for Photorealistic Image Synthesis
Igor RadisicEin prozessorientierter, policy-basierter Ansatz für ein integriertes, dienstorientiertes Abrechnungssystem
Markus HolzerEntwurf datendurchsatzoptimierter Hardware-Architekturen morphologischer Bildverarbeitungsoperationen
Stefan StattelmannSource-Level Performance Estimation of Compiler-Optimized Embedded Software Considering Complex Program Transformations
Christopher SchulzA detailed process model for large scale data migration projects
Sandra EbertSemi-Supervised Learning for Image Classification
Jens KohlEffiziente Diagnose von verteilten Funktionen automobiler Steuergeräte
Sebastian BächleSeparating Key Concerns in Query Processing – Set orientation, Physical Data independence, and Parallelism
Marc HermannDer Interaktionsprozess bei Tangible Interaction Entwicklung und Analyse eines Interaktionsmodells - Richtlinien zur Verwendung beim Design.
Michael NagelThe QUARC Metamodel: A Communication-Based Generic Project Model
Stefan WeinbrennerSQLSpaces – A Platform for Flexible Language-Heterogeneous Multi-Agent Systems
Andreas ThielSicherheitskonzept für die medizinische Bildverarbeitung in unsicheren Grid-Umgebungen
Darko ObradovićComputational Social Network Analysis of Authority in the Blogosphere
Boris NeubertComputer Graphics and Nature
Vesna MilijićSprachspezifikation und formales Modell als semantisch äquivalente Repräsentationen komplexen Systemverhaltens
Christian LemkePhysische Datenbankoptimierung in hauptspeicherbasierten Column-Store-Systemen
Jan GötzMassively Parallel Direct Numerical Simulation of Particulate Flows
Kai StapelInformationsflusstheorie der Softwareentwicklung
Andreas JahnMolecular Flexibility Encodings for Virtual Screening and Machine Learning
Mathias FrischVisualization and Interaction Techniques for Node-Link Diagram Editing and Exploration
Daniel UlmerZeitlich präzises Steuergerätetestsystem auf der Basis einer nicht-echtzeitfähigen Plattform
Silvia KnittlWerkzeugunterstützung für interorganisationales IT-Service-Management – ein Referenzmodell für die Erstellung einer ioCMDB –
Gabriele WeilerConsistency Checking for Ontology-Based Workflows
Michael DullerManagement and Federation of Stream Processing Applications
Jochen Björn SüßmuthSurface Reconstruction from Static and Dynamic Point Data
Dominik DomisIntegrating Fault Tree Analysis and Component-Oriented Model-Based Design of Embedded Systems
Johann SchusterTowards faster numerical solution of Continuous Time Markov Chains stored by symbolic data structures
Adisa MusovicIntegrierte Performance- und Leistungsverbrauchsanalyse eingebetteter Systeme mittels SCPowerEQN
Erik RodnerLearning from Few Examples for Visual Recognition Problems
Houssam HaitofA Framework for Autonomic Service-based Resource Management Using a Semantic Approach
Christoph EdelerModellierung und Validierung der Krafterzeugung mit Stick-Slip-Antrieben für nanorobotische Anwendungen
Rainer ScholzOptimierung der Rechenleistung pro Fläche von Prozessorarchitekturen durch Rekonfiguration von Funktionseinheiten
Karsten SchmidtSelf-Tuning Storage and Indexing for Native XML DBMSs
Axel BerndtMusik für interaktive Medien: Arrangement- und Interpretationstechniken
Marcel KronfeldNiching Methods in Heuristic Optimization
Natalja KehlDigitale Schaltungen zur Sensorsignalverarbeitung mit integrierter Fehlererkennung und -korrektur
Alexander SteigerInteraktive Projektionsbasierte Erweiterte Realität in der Robotik
Stefan DonathWetting Models for a Parallel High-Performance Free Surface Lattice Boltzmann Method
Sebastian HalderPrediction of Brain-Computer Interface Performance: For P300 and Motor Imagery Brain-Computer Interfaces
Georg HinselmannData Mining on Chemical Graphs Using Kernel Algorithms
Daniel JasperSEM-based motion control for automated robotic nanohandling
Christoph KniekeModellierung und Validierung von ausführbaren Anforderungsspezifikationen mit erweiterten UML Aktivitätsdiagrammen
Stefan LämmermannDomänenübergreifende temporale Eigenschaftsverifikation heterogener Systeme
Bernd ReutherEin serviceorientierter Ansatz zur Abstraktion von Kommunikationsprotokollen im Internet
Matthias KrauseAutomatisierte Erstellung und Verfeinerung virtueller Prototypen für den Entwurf verteilter eingebetteter Systeme
Jürgen RückertAusführbare Dialogmodelle für reichhaltige und kontextabhängige Benutzungsschnittstellen
Michael GlaßDependability-Aware System-Level Design for Embedded Systems
Steffen GroßmannEntwurf und Bewertung kombinierbarer Fehlertoleranzmaßnahmen bezüglich Betriebsfehlern in verteilten Simulationen
Michael PetterInterprocedural Polynomial Invariants
Abdul RehmanProcess and Data Management Support for Scientific Applications – Theoretical and Practical Issues
Sergey GoncharovKleene monads
Thomas TernitéVariability of Development Models
Edward FischerOperationalisierung des Projektcontrollings
Manuel GötzEntwicklung Domänenspezifischer Software - Dargestellt am Beispiel des Prozessmanagements
Kálmán GraffiMonitoring and Management of Peer-to-Peer Systems
Christian SeidelSystem zur dynamischen Erfassung domänenspezifischer Texteinheiten und Texte mit Hilfe von Eigenvektormethoden
Leonardo Andrade RibeiroA Framework for XML Similarity Joins
Bernhard ThomaszewskiEfficient Computational Methods for Physically-based Simulation
Isabel DietrichSyntony: A Framework for UML-Based Simulation, Analysis, and Test with Applications in Wireless Networks
Georg BuscherAttention-Based Information Retrieval
Matthias RöcklCooperative Situation Awareness in Transportation
Guido de MeloModellbasierte Entwicklung von Interaktionsanwendungen
Christian WebelA Formal Approach to the Development of Network Quality-of-Service
David SchmitzAutomated Service-Oriented Impact Analysis and Recovery Alternative Selection
Sven SchwarzContext-Awareness and Context-Sensitive Interfaces for Knowledge Work Support
Jürgen GöresA Model Management Framework for Information Integration
Florian SchintkeManagement verteilter Daten in Grid- und Peer-to-Peer-Systemen
Marcel ShirvanianOptimierung von Datenbanksystemen zur Verwaltung von Fuzzy-Daten
Tobias GermerSelbstorganisierende Systeme für die Computergrafik
Stefan NeuhausEigenschaften kleinster dominierender Mengen und Dominanzzahlen von Damengraphen
Stefan WirtzSimultane Homogenisierung und Registrierung von Bildern histologischer Serienschnitte
Jochen SupperComputational inference of gene regulatory networks
Dirk StaskiewiczDocument-Centred Electronic Negotiations
Tobias NeckelThe PDE Framework Peano: An Environment for Efficient Flow Simulations
Thomas RöblitzCo-Reservation of Resources in the Grid
Babak MougouieIntegration of Similarity-Based and Deductive Reasoning for Knowledge Management
Gabriele BleserTowards Visual-Inertial SLAM for Mobile Augmented Reality
Karsten WinklerSemantic XML Tagging of Domain-Specific Text Archives: A Knowledge Discovery Approach
Christian WeissSelf-Localization and Terrain Classification for Mobile Outdoor Robots
Stefan SchlottPrivacy- und Sicherheitsaspekte in ubiquitären Umgebungen
David SabelSemantics of a Call-by-Need Lambda Calculus with McCarthy's amb for Program Equivalence
Fawsy BendeckWSM-P Workflow Semantic Matching Platform
Markus HillenbrandEine serviceorientierte Middleware für die Bereitstellung von Diensten im Internet unter Berücksichtigung von Transparenz, Offenheit und Zuverlässig…
Maximilian ViermetzPartitioning Massive Graphs for Content Oriented Social Network Analysis
Johannes MezgerSimulation and Animation of Deformable Bodies
Ralph BobrikKonfigurierbare Visualisierung komplexer Prozessmodelle
Thomas KleinbergerEin Modell für das situative Lernen mit adaptiven kontinuierlichen Medien
Caroline SauterDynamische Dienstkomposition in Ubiquitous Computing Umgebungen
Hilmar BunjesEIS - EDI Integration Services basierend auf MDA mit openArchitectureWare
Johannes GörkeLernmodule mit quelltextbasierter Interaktivität
Roth, Küpper und Linnhoff-Popien [Hrsg.]4. GI/ITG KuVS Fachgespräch Ortsbezogene Anwendungen und Dienste
Christian LesnyStatische Typprüfung für objektorientierte Sprachen ohne Typannotationen am Beispiel Smalltalk
Andrea FreßmannKnowledge Management Support for Collaborative and Mobile Working
Thomas Maier-KomorMethoden der Metaprogrammierung zur Rekonfiguration von Software eingebetteter Systeme
Michael KerstenA Multi-Phase Deadlock Detection Method for Reactive Systems Based on UML Models
Nico HamacherAutomatische kriterienorientierte Bewertung der Gebrauchstauglichkeit interaktiver Systeme
Hashem TamimiVision-based Features for Mobile Robot Localization
Rainer MaximiniAdvanced Techniques for Complex Case-Based Reasoning Applications
Oliver CreightonSoftware Cinema: Employing Digital Video in Requirements Engineering
Michael MatthesIntegriertes Dienstgüte-Management für adaptive Anwendungen in mobilen Umgebungen
Peter DornbuschKundennahe Entwicklungswerkzeuge für den Entwurf mobiler Geschäftsprozesse
Harald RölleEine dienstorientierte Methodik zur Koppelung von Netz-QoS-Architekturen
Markus GarschhammerDienstgütebehandlung im Dienstlebenszyklus - von der formalen Spezifikation zur rechnergestützten Umsetzung
Matthias EhmannGEONExT: Integration algebraischer Objekte und Internationalisierung
Christian EnselAbhängigkeitsmodellierung im IT-Management: Erstellung eines neuen, auf Neuronalen Netzen basierenden Ansatzes
