Abstract: To improve the reliability and efficiency of underwater acoustic sensor networks (UASNs) under limited node energy and network attacks, a joint scheme of enhancing robustness and extending ...

Every effective cyber security strategy depends on clearly defined ways to prevent, detect and respond to threats. Security controls sit at the core of the strategy, as they comprise the policies, ...

Abstract: This study examines traffic signal optimization at an intersection by means of formal methods for mobility and safety of vehicular and pedestrian movements. In view of this, the ...