Results (2)
Search Parameters:
Keyword: Smoke DetectionOpen AccessArticle
6 Pages, 928 KB 
Alternative Real-time Image-Based Smoke Detection Algorithm
Abstract:
Most buildings are equipped with various types of sensors to detect smoke in the event of a fire, though most are located internally. Practically, smoke has to reach the sensor in order for the sensor to react. The limitations of these sensors are their inability to respond in the early stages of a fire, and…
Read More(This article belongs to Section Artificial Intelligence in Computer Science (CAI))
Open AccessArticle
8 Pages, 1,173 KB
Using Formal Methods to Model a Smart School System via TLA+ and its TLC Model Checker for Validation
Abstract:
Formal methods are one of the efficient tools to verify and validate designs for different kinds of systems. Smart systems are attracting researchers’ attention due to the rapid spread of new technologies all over the world. Modeling a smart system requires connecting heterogeneous subsystems together to build it. Our contribution to this work is in…
Read More(This article belongs to the Special Issue on Multidisciplinary Sciences and Engineering 2020-21 & Section Software Engineering in Computer Science (CSE))