130 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik 2
zu den Filteroptionen130 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
2
Responsive positioning
a user interface technique based on structured spaceElektronische Ressource, Paderborn, 2018
Robustifying machine learning through weakening supervision
Elektronische Ressource, Paderborn, 2023Safety requirements engineering for early SIL tailoring
Elektronische Ressource, Paderborn, 2019Scaling static whole-program analysis to modern C and C++ software development
statically analyzing C and C++ software with PhASARPaderborn, 2024Scaling, placement, and routing for pliable virtualized composed services
Elektronische Ressource, Paderborn, 2019Scheduling with scarce resources
Elektronische Ressource, Paderborn, 2017Secure use of open-source software
a systematic study and techniques for JavaElektronische Ressource, Paderborn, 2024Self-* Algorithms for distributed systems
programmable matter & overlay networksElektronische Ressource, Paderborn, 2017Selfish network creation
on variants of network creation gamesElektronische Ressource, Paderborn, 2016A simulation framework for connecting In-Body nano communication with Out-of-Body devices
Elektronische Ressource, Paderborn, 2020Simulative performance evaluation of a provably collision free approach for managing autonomous cars on urban intersections
Elektronische Ressource, Paderborn, 2020Situation-specific development of business models within software ecosystems
Elektronische Ressource, Paderborn, 2022Specification and verification for real-time coordination protocols of cyber-physical systems
Elektronische Ressource, Paderborn, 2017Specification and verification of security protocols and their utilization in scenario-based requirements engineering
Elektronische Ressource, Paderborn, 2024Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019Testing coherence and identifying winners in dueling bandits: theory and algorithms
Elektronische Ressource, Paderborn, 2023Time-efficient link discovery for data-driven applications
Elektronische Ressource, Paderborn, 2021Timing Verifikation von AUTOSAR Softwarearchitekturen
Elektronische Ressource, Paderborn, 2022Towards automated service composition under quality constraints
Elektronische Ressource, Paderborn, 2017Towards feasible vehicular visible light communication
Elektronische Ressource, Paderborn, 2022