标题
A conflicts’ classification for IoT-based services: a comparative survey
作者
关键词
-
出版物
PeerJ Computer Science
Volume 7, Issue -, Pages e480
出版商
PeerJ
发表日期
2021-04-27
DOI
10.7717/peerj-cs.480
参考文献
相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。- DIAC: An Inter-App Conflicts Detector for Open IoT Systems
- (2020) Xinyi Li et al. ACM Transactions on Embedded Computing Systems
- A formal methods-based Rule Verification Framework for end-user programming in campus Building Automation Systems
- (2020) Hamada Ibrhim et al. BUILDING AND ENVIRONMENT
- IoT Privacy and Security: Challenges and Solutions
- (2020) Lo’ai Tawalbeh et al. Applied Sciences-Basel
- Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe
- (2020) Messaoud Abbas et al. JOURNAL OF SYSTEMS ARCHITECTURE
- Software Verification and Validation Technologies and Tools
- (2019) Moises Rodriguez et al. IEEE SOFTWARE
- Automatic security policy enforcement in computer systems
- (2018) Kamel Adi et al. COMPUTERS & SECURITY
- A Survey on Access Control in Fog Computing
- (2018) Peng Zhang et al. IEEE COMMUNICATIONS MAGAZINE
- A Survey on Formal Verification Techniques for Safety-Critical Systems-on-Chip
- (2018) Tomás Grimm et al. Electronics
- Supporting end-user debugging of trigger-action rules for IoT applications
- (2018) Marco Manca et al. INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES
- Design and implementation of the secure compiler and virtual machine for developing secure IoT services
- (2017) YangSun Lee et al. Future Generation Computer Systems-The International Journal of eScience
- A TAS-Model-Based Algorithm for Rule Redundancy Detection and Scene Scheduling in Smart Home Systems
- (2017) Zhaowen Lin et al. IEEE Systems Journal
- Using ontologies for verification and validation of workflow-based experiments
- (2017) Tomasz Miksa et al. Journal of Web Semantics
- Sustainability in intelligent building environments using weighted priority scheduling algorithm
- (2017) Ahmad Shahi et al. Journal of Ambient Intelligence and Smart Environments
- A Rule Verification System for Smart Buildings
- (2017) Yan Sun et al. IEEE Transactions on Emerging Topics in Computing
- Security policy enforcement for networked smart objects
- (2016) Sabrina Sicari et al. Computer Networks
- Rule-based system to detect energy efficiency anomalies in smart buildings, a data mining approach
- (2016) Manuel Peña et al. EXPERT SYSTEMS WITH APPLICATIONS
- An efficient SMT solver for string constraints
- (2016) Tianyi Liang et al. FORMAL METHODS IN SYSTEM DESIGN
- Exploring conflicts in rule-based sensor networks
- (2016) Evan Magill et al. Pervasive and Mobile Computing
- Resolving conflicts in knowledge for ambient intelligence
- (2015) Martin Homola et al. KNOWLEDGE ENGINEERING REVIEW
- Conflict Detection Scheme Based on Formal Rule Model for Smart Building Systems
- (2015) Yan Sun et al. IEEE Transactions on Human-Machine Systems
- Towards automatic conflict detection in home and building automation systems
- (2013) Paulo Carreira et al. Pervasive and Mobile Computing
- Conflict detection and resolution in home and building automation systems: a literature review
- (2013) Sílvia Resendes et al. Journal of Ambient Intelligence and Humanized Computing
Publish scientific posters with Peeref
Peeref publishes scientific posters from all research disciplines. Our Diamond Open Access policy means free access to content and no publication fees for authors.
Learn MoreAsk a Question. Answer a Question.
Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.
Get Started