10 citations · 15 across the 5 of their papers we have counts for
5 papers
Energy-Aware Adaptive Offloading of Soft Real-Time Jobs in Mobile Edge Clouds
Joaquim Silva, Eduardo R. B. Marques, Luís M. B Lopes +1
We present a model for measuring the impact of offloading soft real-time jobs over multi-tier cloud infrastructures. The jobs originate in mobile devices and offloading strategies…
Towards the Safe Programming of Wireless Sensor Networks
Francisco Martins, Luís Lopes, João Barros
Sensor networks are rather challenging to deploy, program, and debug. Current programming languages for these platforms suffer from a significant semantic gap between their specifi…
The Mob core language and abstract machine (rev 0.2)
Herve Paulino, Luis Lopes
Most current mobile agent systems are based on programming languages whose semantics are difficult to prove correct as they lack an adequate underlying formal theory. In recent yea…
A Formal Model for Programming Wireless Sensor Networks
Luis Lopes, Francisco Martins, Miguel S. Silva +1
In this paper we present new developments in the expressiveness and in the theory of a Calculus for Sensor Networks (CSN). We combine a network layer of sensor devices with a local…
A Calculus for Sensor Networks
Miguel S. Silva, Francisco Martins, Luis Lopes +1
We consider the problem of providing a rigorous model for programming wireless sensor networks. Assuming that collisions, packet losses, and errors are dealt with at the lower laye…