Verifying Timed Commitment Specifications for IoT-Cloud Systems with Uncertainty-Reference-Cited by-同舟云学术

Verifying Timed Commitment Specifications for IoT-Cloud Systems with Uncertainty

Published:2022-08 Issue: Volume: Page:
ISSN:
Container-title:2022 9th International Conference on Future Internet of Things and Cloud (FiCloud)
language:
Short-container-title:

Author:

Alwhishi Ghalya¹,Bentahar Jamal¹,Elwhishi Ahmed²

Affiliation:

1. Concordia University,CIISE,Montreal,Canada

2. University of Doha for Science and Technology,School of Computing and IT,Doha,Qatar

Publisher

IEEE

Link

http://xplorestaging.ieee.org/ielx7/9910461/9910494/09910504.pdf?arnumber=9910504

Reference40 articles.

1. Internet of things: Applications, adoptions and components-a conceptual overview;yunana;International Conference on Hybrid Intelligent Systems,2020

2. An IoT-cloud Based Wearable ECG Monitoring System for Smart Healthcare

3. Deep and reinforcement learning for automated task scheduling in large‐scale cloud computing systems

4. Cloud Computing Characteristics and Services A Brief Review

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings;Information Fusion;2024-11

2. MV-Checker: A software tool for multi-valued model checking intelligent applications with trust and commitment;Expert Systems with Applications;2024-07

3. Model checking combined trust and commitments in Multi-Agent Systems;Expert Systems with Applications;2024-06

4. Verifying trust over IoT-ad hoc network-based applications under uncertainty;Ad Hoc Networks;2024-03

5. Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environments;Information Fusion;2024-02