Abstract: Offloading services to UAV swarms for delay-sensitive tasks in Emergency UAV Networks (EUN) can greatly enhance rescue efficiency. Most task-offloading strategies assumed that UAV s were ...

Programming efficient asynchronous systems is challenging because it can often be hard to express the design declaratively, or to defend against interleaving-dependent bugs such as data races and ...

Abstract: In many applications, security is a serious issue due to the high risk of cyber-attacks. An adversary can cause severe damage by providing wrong information about the system and consequently ...