Sökning: "Elena Troubitsyna"
Hittade 3 avhandlingar innehållade orden Elena Troubitsyna.
1. Formally Assured Intelligent Systems for Enhanced Ambient Assisted Living Support
Sammanfattning : Ambient Assisted Living (AAL) solutions are aimed to assist the elderly in their independent and safe living. During the last decade, the AAL field has witnessed a significant development due to advancements in Information and Communication Technologies, Ubiquitous Computing and Internet of Things. LÄS MER
2. Optimizing Fault Tolerance for Real-Time Systems
Sammanfattning : For the vast majority of computer systems correct operation is defined as producing the correct result within a time constraint (deadline). We refer to such computer systems as real-time systems (RTSs). LÄS MER
3. Generating Optimized and Secure Binary Code
Sammanfattning : The increased digitalization of modern societies has resulted in a proliferation of a broad spectrum of embedded devices, ranging from personal smartphones and heart pacemakers to large-scale industrial IoT systems. Since they often handle various sensitive data, these devices increasingly become the targets of cyberattacks that threaten the integrity of personal data, financial security, and sometimes even people’s safety. LÄS MER