2 papers
cs.SE2021
Performance Health Index for Complex Cyber Infrastructures
Sanjeev Sondur, Krishna Kant
Most IT systems depend on a set of configuration variables (CVs), expressed as a name/value pair that collectively define the resource allocation for the system. While the ill-effe…
cs.CR2018
IoTC2: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems
Abdullah Al Farooq, Ehab Al-Shaer, Thomas Moyer +1
Internet of Things (IoT) has become a common paradigm for different domains such as health care, transportation infrastructure, smart home, smart shopping, and e-commerce. With its…