13 citations · 13 across the 4 of their papers we have counts for
4 papers
Wireless and Service Allocation for Mobile Computation Offloading with Task Deadlines
Hong Chen, Terence D. Todd, Dongmei Zhao +1
In mobile computation offloading (MCO), mobile devices (MDs) can choose to either execute tasks locally or to have them executed on a remote edge server (ES). This paper addresses…
Search-and-Fetch with 2 Robots on a Disk: Wireless and Face-to-Face Communication Models
Konstantinos Georgiou, George Karakostas, Evangelos Kranakis
We initiate the study of a new problem on searching and fetching in a distributed environment concerning treasure-evacuation from a unit disk. A treasure and an exit are located at…
Secure and trusted white-box verification
Yixian Cai, George Karakostas, Alan Wassyng
Verification is the process of checking whether a product has been implemented according to its prescribed specifications. We study the case of a designer (the developer) that need…
Know When to Persist: Deriving Value from a Stream Buffer
Konstantinos Georgiou, George Karakostas, Evangelos Kranakis +1
We consider \textsc{Persistence}, a new online problem concerning optimizing weighted observations in a stream of data when the observer has limited buffer capacity. A stream of we…