4.7 Article

A Survey on Conflict Detection in IoT-based Smart Homes

Related references

Note: Only part of the references are listed.
Article Telecommunications

Agent-based negotiation approach for feature interactions in smart home systems using calculus of the context-aware ambient

Ahmed S. Alfakeeh et al.

Summary: Smart home systems (SHSs) offer customized services for different residents, but they are susceptible to feature interactions (FIs). Previous studies have proposed priority-based solutions and agent-based negotiation approaches to address FIs. This paper presents an agent-based negotiation approach (ABNA), which allows services with conflicting features to work simultaneously using agents and negotiation algorithms.

TRANSACTIONS ON EMERGING TELECOMMUNICATIONS TECHNOLOGIES (2022)

Article Chemistry, Analytical

HSAS-MD Analyzer: A Hybrid Security Analysis System Using Model-Checking Technique and Deep Learning for Malware Detection in IoT Apps

Alyaa A. Hamza et al.

Summary: This study proposes a hybrid SAS called HSAS-MD, based on model-checking technique and deep learning, for holistic analysis of IoT apps. The experimental results show that HSAS-MD provides the best results in detecting malware from malicious smart Things applications compared to other SASs.

SENSORS (2022)

Review Computer Science, Interdisciplinary Applications

A Review and State of Art of Internet of Things (IoT)

Asif Ali Laghari et al.

Summary: The Internet of Things (IoT) is a system that connects computer devices, mechanical and digital machines, objects, or individuals to transmit data, with potential applications and development.

ARCHIVES OF COMPUTATIONAL METHODS IN ENGINEERING (2022)

Article Computer Science, Cybernetics

Social Contexts, Agency, and Conflicts: Exploring Critical Aspects of Design for Future Smart Home Technologies

Radhika Garg et al.

Summary: This study investigates how smart home devices can adapt their behavior based on social contexts, reimagine agency and provide useful intelligibility, and resolve user conflicts. Through co-design workshops, in-home activities, and interviews, the researchers obtained insights from 18 adult participants with diverse levels of IoT experience. The findings contribute to the design considerations for future smart home technologies.

ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION (2022)

Article Computer Science, Cybernetics

Social Contexts, Agency, and Conflicts: Exploring Critical Aspects of Design for Future Smart Home Technologies

Radhika Garg et al.

Summary: This study delves into how smart home devices can adjust their behavior based on social contexts, reimagine agency and support useful intelligibility, and resolve conflicts among users through providing appropriate information. It also provides a set of design considerations for designers of future smart home technologies to benefit from.

ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION (2022)

Article Computer Science, Information Systems

From Users' Intentions to IF-THEN Rules in the Internet of Things

Fulvio Corno et al.

Summary: In the era of Internet of Things, users personalize the joint behavior of their connected entities through trigger-action rules. HeyTAP(2) is a semantic Conversational Search and Recommendation system that utilizes a conversational agent to suggest IF-THEN rules based on user needs and preferences.

ACM TRANSACTIONS ON INFORMATION SYSTEMS (2021)

Article Computer Science, Artificial Intelligence

Using Argumentation to Solve Conflicting Situations in Users' Preferences in Ambient Assisted Living

C. L. Oguego et al.

Summary: Preferences play a crucial role in decision-making, and understanding preference management is key to developing systems that guide user choices. By exploring argumentation techniques and implementing them in real-life scenarios, this study validates the effectiveness of argumentation in handling conflicting preferences and inconsistencies. The system implemented in this study not only manages conflicting situations in smart homes, but also interacts with external data sources to provide personalized suggestions to users based on their preferences.

APPLIED ARTIFICIAL INTELLIGENCE (2021)

Article Computer Science, Artificial Intelligence

Attention-based dynamic user preference modeling and nonlinear feature interaction learning for collaborative filtering recommendation

Ruiqin Wang et al.

Summary: This article proposes a collaborative filtering (CF) method using dynamic user preference modeling and nonlinear matching function learning. By combining neural networks and matrix factorization models, it significantly improves recommendation performance and feature interaction learning capabilities.

APPLIED SOFT COMPUTING (2021)

Article Computer Science, Artificial Intelligence

A conflicts' classification for IoT-based services: a comparative survey

Hamada Ibrhim et al.

Summary: The use of IoT-based systems has become essential in modern life, especially in automation. However, issues related to safety and correctness arise in the development of IoT-based applications. Current research lacks comprehensive coverage of different types of conflicts, highlighting the need for developing new compilers or tools to enhance the safety and correctness of IoT systems.

PEERJ COMPUTER SCIENCE (2021)

Article Computer Science, Software Engineering

Model-Driven Engineering for End-Users in the Loop in Smart Ambient Systems

Sylvie Trouilhet et al.

Summary: Users should benefit from applications tailored to their needs, with an intelligent engine assembly software components and learning from user feedback. The approach relies on Model-Driven Engineering, allowing users to edit component assembly models and providing multi-faceted representations through a user interface.

JOURNAL OF UNIVERSAL COMPUTER SCIENCE (2021)

Article Computer Science, Cybernetics

Pursuing pleasance: Interrogating energy-intensive visions for the smart home

Yolande Strengers et al.

INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES (2020)

Article Computer Science, Information Systems

A3ID: An Automatic and Interpretable Implicit Interference Detection Method for Smart Home via Knowledge Graph

Ding Xiao et al.

IEEE INTERNET OF THINGS JOURNAL (2020)

Article Computer Science, Hardware & Architecture

DIAC An Inter-app Conflicts Detector for Open IoT Systems

Xinyi Li et al.

ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2020)

Article Construction & Building Technology

A formal methods-based Rule Verification Framework for end-user programming in campus Building Automation Systems

Hamada Ibrhim et al.

BUILDING AND ENVIRONMENT (2020)

Article Computer Science, Information Systems

Smart City IoT Services Creation Through Large-Scale Collaboration

Flavio Cirillo et al.

IEEE INTERNET OF THINGS JOURNAL (2020)

Article Computer Science, Artificial Intelligence

An Empirical Approach to Modeling User-System Interaction Conflicts in Smart Homes

Fereshteh Jadidi Miandashti et al.

IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS (2020)

Proceedings Paper Computer Science, Information Systems

Fine-grained Conflict Detection of IoT Services

Dipankar Chaki et al.

2020 IEEE 13TH INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC 2020) (2020)

Proceedings Paper Computer Science, Information Systems

An Intent-Based Automation Framework for Securing Dynamic Consumer IoT Infrastructures

Vasudevan Nagendra et al.

WEB CONFERENCE 2020: PROCEEDINGS OF THE WORLD WIDE WEB CONFERENCE (WWW 2020) (2020)

Review Computer Science, Information Systems

A Survey on Trend and Classification of Internet of Things Reviews

Azana Hafizah Mohd Aman et al.

IEEE ACCESS (2020)

Article Engineering, Aerospace

Multiple Model Method for Aircraft Conflict Detection and Resolution in Intent and Weather Uncertainty

Vesselin P. Jilkov et al.

IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS (2019)

Article Computer Science, Theory & Methods

IoT-enabled smart grid via SM: An overview

Fadi Al-Turjman et al.

FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE (2019)

Article Computer Science, Artificial Intelligence

User Preferences in Intelligent Environments

Juan Carlos Augusto et al.

APPLIED ARTIFICIAL INTELLIGENCE (2019)

Article Engineering, Aerospace

Conflict Detection and Resolution for Civil Aviation: A Literature Survey

Jun Tang

IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE (2019)

Article Computer Science, Theory & Methods

SAFECHAIN: Securing Trigger-Action Programming From Attack Chains

Kai-Hsiang Hsu et al.

IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY (2019)

Article Computer Science, Information Systems

Experiences With IoT and AI in a Smart Campus for Optimizing Classroom Usage

Thanchanok Sutjarittham et al.

IEEE INTERNET OF THINGS JOURNAL (2019)

Review Computer Science, Hardware & Architecture

Internet of Things applications: A systematic review

Parvaneh Asghari et al.

COMPUTER NETWORKS (2019)

Proceedings Paper Computer Science, Theory & Methods

RemedloT: Remedial Actions for Internet-of-Things Conflicts

Renju Liu et al.

BUILDSYS'19: PROCEEDINGS OF THE 6TH ACM INTERNATIONAL CONFERENCE ON SYSTEMS FOR ENERGY-EFFICIENT BUILDINGS, CITIES, AND TRANSPORTATION (2019)

Proceedings Paper Computer Science, Information Systems

Charting the Attack Surface of Trigger-Action IoT Platforms

Qi Wang et al.

PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19) (2019)

Article Computer Science, Information Systems

Securing Fog Computing for Internet of Things Applications: Challenges and Solutions

Jianbing Ni et al.

IEEE COMMUNICATIONS SURVEYS AND TUTORIALS (2018)

Article Computer Science, Information Systems

Metaheuristic Optimization for Long-term IaaS Service Composition

Sajib Mistry et al.

IEEE TRANSACTIONS ON SERVICES COMPUTING (2018)

Proceedings Paper Computer Science, Theory & Methods

On the Safety of IoT Device Physical Interaction Control

Wenbo Ding et al.

PROCEEDINGS OF THE 2018 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'18) (2018)

Article Computer Science, Information Systems

IoT-based smart homes: A review of system architecture, software, communications, privacy and security

Dragos Mocrii et al.

INTERNET OF THINGS (2018)

Article Computer Science, Software Engineering

ImAtHome: Making trigger-action programming easy and fun

Daniela Fogli et al.

JOURNAL OF VISUAL LANGUAGES AND COMPUTING (2017)

Article Computer Science, Cybernetics

Exploring End User Programming Needs in Home Automation

Julia Brich et al.

ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION (2017)

Article Computer Science, Cybernetics

Empowering End Users to Customize their Smart Environments: Model, Composition Paradigms, and Domain-Specific Tools

Giuseppe Desolda et al.

ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION (2017)

Article Computer Science, Cybernetics

Personalization of Context-Dependent Applications Through Trigger-Action Rules

Giuseppe Ghiani et al.

ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION (2017)

Article Computer Science, Information Systems

Exploring conflicts in rule-based sensor networks

Evan Magill et al.

PERVASIVE AND MOBILE COMPUTING (2016)

Article Computer Science, Artificial Intelligence

Conflict Detection Scheme Based on Formal Rule Model for Smart Building Systems

Yan Sun et al.

IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS (2015)

Article Computer Science, Information Systems

Towards automatic conflict detection in home and building automation systems

Paulo Carreira et al.

PERVASIVE AND MOBILE COMPUTING (2014)

Article Computer Science, Artificial Intelligence

Conflict detection and resolution in home and building automation systems: a literature review

Silvia Resendes et al.

JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING (2014)

Article Computer Science, Information Systems

Cognitive Internet of Things: A New Paradigm Beyond Connection

Qihui Wu et al.

IEEE INTERNET OF THINGS JOURNAL (2014)

Article Computer Science, Artificial Intelligence

COM: A Method for Mining and Monitoring Human Activity Patterns in Home-Based Health Monitoring Systems

Parisa Rashidi et al.

ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY (2013)

Article Computer Science, Artificial Intelligence

Discovering Activities to Recognize and Track in a Smart Environment

Parisa Rashidi et al.

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING (2011)

Article Computer Science, Information Systems

Constructing Home Network Systems and Integrated Services Using Legacy Home Appliances and Web Services

Masahide Nakamura et al.

International Journal of Web Services Research (2011)

Article Computer Science, Hardware & Architecture

The Internet of Things: A survey

Luigi Atzori et al.

COMPUTER NETWORKS (2010)

Article Medicine, General & Internal

Preferred Reporting Items for Systematic Reviews and Meta-Analyses: The PRISMA Statement

David Moher et al.

ANNALS OF INTERNAL MEDICINE (2009)

Article Computer Science, Interdisciplinary Applications

Understanding and avoiding interaction-based instability in pervasive computing environments

Victor Zamudio et al.

INTERNATIONAL JOURNAL OF PERVASIVE COMPUTING AND COMMUNICATIONS (2009)

Article Computer Science, Software Engineering

Patterns of conflict among software components

M Hepner et al.

JOURNAL OF SYSTEMS AND SOFTWARE (2006)