Veröffentlichungen der Universität / Computerprogrammierung, Programme, Daten [41-54]

Adaptivity engineering
Modeling and quality assurance for self-adaptive software systems
Luckey, Markus
2014
Multi-Algorithmen-Rendering
Darstellung heterogener 3-D-Szenen in Echtzeit
Petring, Ralf
2014
INSPIRE: Insight to scientific publications and references
Verteilte Berechnung von Bibliometriken auf großen Datenmengen
Wilke, Adrian ; Reinhardt, Wolfgang ; Magenheim, Johannes ; Plessl, Christian
Elektronische Ressource, Paderborn, 2013
Quality assurance with dynamic meta modeling
Soltenborn, Christian
2013
Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen
Christ, Fabian
2012
Holistic use of analysis models in model-based system testing
Mlynarski, Michael
2011
Performance modeling and analysis in high-performance reconfigurable computing
Schumacher, Tobias
2011
Analysis and integration of Web 2.0 data sources into a system for analysis and storage of Artefact-Actor-Networks
Wilke, Adrian ; Reinhardt, Wolfgang ; Magenheim, Johannes ; Platzner, Marco
Elektronische Ressource, Paderborn, 2010
Decomposition for compositional verification
Metzler, Björn
2010
Musterbasiertes Re-Engineering von Softwaresystemen
Meyer, Matthias
2009
Separation algorithms for cutting planes based on mixed integer row relaxations
implementation and evaluation in the context of mixed integer programming solver software
Christophel, Philipp M.
2009
Validation of data flow results for program modules
Klohs, Karsten
2009
Tamper resistance of AES
Models, attacks and countermeasures
Krummel, Volker
2007
Test generation using event sequence graphs
Budnik, Christof J.
2007
Gehe zu Seiten

Publizieren

Besondere Sammlungen

Digitalisierungsservice

Hilfe

Impressum

Datenschutz

Adaptivity engineering

Multi-Algorithmen-Rendering

INSPIRE: Insight to scientific publications and references

Quality assurance with dynamic meta modeling

Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen

Holistic use of analysis models in model-based system testing

Performance modeling and analysis in high-performance reconfigurable computing

Analysis and integration of Web 2.0 data sources into a system for analysis and storage of Artefact-Actor-Networks

Decomposition for compositional verification

Musterbasiertes Re-Engineering von Softwaresystemen

Separation algorithms for cutting planes based on mixed integer row relaxations

Validation of data flow results for program modules

Tamper resistance of AES

Test generation using event sequence graphs