Online model checking mechanism and its applications
Elektronische Ressource, PaderbornBewertung von Renderingalgorithmen für komplexe 3-D-Szenen
Elektronische Ressource, Paderborn, 2016Dynamics and efficiency in topological self-stabilization
Elektronische Ressource, Paderborn, 2016Existence and properties of pure nash equilibria in budget games
Elektronische Ressource, Paderborn, 2016Fuzzy matching of comprehensive service specifications
Elektronische Ressource, Paderborn, 2016Graph transformation planning with time and concurrency
Elektronische Ressource, Paderborn, 2016Induction-based Verification of Timed Systems
Elektronische Ressource, Paderborn, 2016Insider-resistant distributed storage systems
Elektronische Ressource, Paderborn, 2016Learning shepherding behavior
Elektronische Ressource, Paderborn, 2016Model-Driven software modernization
concept-based engineering of situation-specific methodsElektronische Ressource, Paderborn, 2016Online anomaly detection for reconfigurable self-X real-time operating systems
a danger theory-inspired approachElektronische Ressource, Paderborn, 2016Physical attacks on pairing-based cryptography
Elektronische Ressource, Paderborn, 2016Project-specific software engineering methods
composition, enactment, and quality assuranceElektronische Ressource, Paderborn, 2016Selfish network creation
on variants of network creation gamesElektronische Ressource, Paderborn, 2016Szenariobasierte Synthese verteilter mechatronischer Systeme
Elektronische Ressource, Paderborn, 2016Towards On-The-Fly Image Processing
Elektronische Ressource, Paderborn, 2016