Energy Efficient Software Update Mechanism for Networked IoT Devices
energy efficiency; software update; IoT device; component-based IoT software
Using probabilistic temporal logic PCTL and model checking for context prediction
Context prediction is a promoting research topic with a lot [...]
Toward Predictive Handover Mechanism in Software-Defined
In an enterprise Wi-Fi network, Mobile users may be covered [...]