Reliability Analysis of Smart Home Sensor Systems Based on Probabilistic Model Checking

Reliability Analysis of Smart Home Sensor Systems Based on Probabilistic Model Checking

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:International Conference on Ubiquitous Computing and Ambient Intelligence (14. : 2022 : Córdoba) Proceedings of the international conference on ubiquitous computing & ambient intelligence (UCAmI 2022) ; Set 2
1. Verfasser: Wang, Xia (VerfasserIn)
Weitere Verfasser: Liu, Jun (VerfasserIn), Nugent, Chris D. (VerfasserIn), Moore, Samuel J. (VerfasserIn), Xu, Yang (VerfasserIn)
Pages:2022
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2023
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Synthetic Generation of Electrical Consumption Traces in Smart Homes 2023 Garcia-Rubio, Carlos
Linguistic Summaries for Dwellings Energy Poverty Monitoring 2023 Díaz, D.
Clustering Study of Vehicle Behaviors Using License Plate Recognition 2023 Bolaños-Martinez, Daniel
A Review of Deep Learning Methods for Detection of Gatherings and Abnormal Events for Public Security 2023 Guillén, Rafael Rodrigo
Reliability Analysis of Smart Home Sensor Systems Based on Probabilistic Model Checking 2023 Wang, Xia
Opportunistic Sensing of Behavioural Data to Prioritise Smartphone Notifications in the Wild 2023 Kamal, Rashid
Designing a Game for Haptic Interfaces to Uncover Gestural Pattern in Children 2023 Monarca, Ivonne
Vulnerabilities of the SMS Retriever API for the Automatic Verification of SMS OTP Codes in the Banking Sector 2023 Aparicio, Amador
BLE Beacon System for Smartphone Secure Tracking 2023 Hernández-Goya, C.
Android Malware Detection Through a Pre-trained Model for Code Understanding 2023 García-Soto, Eva
Real-Time Network Auditing System Based on Low-Cost IoT Devices 2023 Fernández-Arruti, Pedro
An Approach to Extract and Compare Metadata of Human Activity Recognition (HAR) Data Sets 2023 Alam, Gulzar
Overcoming the Lack of Data to Improve Prediction and Treatment of Individuals with Autistic Spectrum Disorder and Attention Deficit Hyperactivity Disorder 2023 Guillén, María del Mar
A Software Tool and a Metamodel for Digital Twins of Inhabited Smart Environments 2023 Cabañero, Luis
LEDBoard: Using Visual Feedback to Support Text Entry with Physical Keyboards 2023 Komninos, Andreas
Challenges and Opportunities for Designing Technology-Based Ecological Momentary Interventions (EMIs) in Mental Health 2023 Gutierrez, Leonardo J.
Hand Gesture Preferences Analysis for a Virtual Reality Scenario 2023 Edwards, Maximiliano
Detection of Anomalies in the Call Flow of an Emergency Management Center 2023 Rosa-Remedios, C.
Integration of the Resource of Electric Energy into Enterprise-Resource-Planning for the Compliance of EU Policies 2023 Rodlauer, Julian
Ambient Monitoring System for Contagion Risk Assessment of Airborne Transmission Diseases in the Hospitality Industry 2023 Leal, Juan Luis
Alle Artikel auflisten