A survey of emergencies management systems in smart cities

DG Costa, JPJ Peixoto, TC Jesus, P Portugal… - IEEE …, 2022 - ieeexplore.ieee.org
The rapid urbanization process in the last century has deeply changed the way we live and
interact with each other. As most people now live in urban areas, cities are experiencing …

A survey on conflict detection in iot-based smart homes

B Huang, D Chaki, A Bouguettaya, KY Lam - ACM Computing Surveys, 2023 - dl.acm.org
As the adoption of IoT-based smart homes continues to grow, the importance of addressing
potential conflicts becomes increasingly vital for ensuring seamless functionality and user …

A review of cognitive assistants for healthcare: Trends, prospects, and future directions

SM Preum, S Munir, M Ma, MS Yasar… - ACM Computing …, 2021 - dl.acm.org
Healthcare cognitive assistants (HCAs) are intelligent systems or agents that interact with
users in a context-aware and adaptive manner to improve their health outcomes by …

[CARTE][B] Smart Cities and Connected Intelligence: Platforms, ecosystems and network effects

N Komninos - 2019 - taylorfrancis.com
Internet and World Wide Web platforms, big data analytics, software, social media and civic
technologies allow for the creation of smart ecosystems in which connected intelligence …

Data sets, modeling, and decision making in smart cities: A survey

M Ma, SM Preum, MY Ahmed, W Tärneberg… - ACM Transactions on …, 2019 - dl.acm.org
Cities are deploying tens of thousands of sensors and actuators and develo** a large
array of smart services. The smart services use sophisticated models and decision-making …

Safechain: Securing trigger-action programming from attack chains

KH Hsu, YH Chiang, HC Hsiao - IEEE Transactions on …, 2019 - ieeexplore.ieee.org
The proliferation of the Internet of Things (IoT) is resha** our lifestyle. With IoT sensors
and devices communicating with each other via the Internet, people can customize …

A novel spatial–temporal specification-based monitoring system for smart cities

M Ma, E Bartocci, E Lifland… - IEEE Internet of …, 2021 - ieeexplore.ieee.org
With the development of the Internet of Things, millions of sensors are being deployed in
cities to collect real-time data. This leads to a need for checking city states against city …

Conflict detection and resolution in IoT systems: a survey

P Pradeep, K Kant - IoT, 2022 - mdpi.com
Internet of Things (IoT) systems are becoming ubiquitous in various cyber–physical
infrastructures, including buildings, vehicular traffic, goods transport and delivery …

Formal logic enabled personalized federated learning through property inference

Z An, TT Johnson, M Ma - Proceedings of the AAAI Conference on …, 2024 - ojs.aaai.org
Recent advancements in federated learning (FL) have greatly facilitated the development of
decentralized collaborative applications, particularly in the domain of Artificial Intelligence of …

Cityresolver: a decision support system for conflict resolution in smart cities

M Ma, JA Stankovic, L Feng - 2018 ACM/IEEE 9th International …, 2018 - ieeexplore.ieee.org
Resolution of conflicts across services in smart cities is an important yet challenging
problem. We present CityResolver–a decision support system for conflict resolution in smart …