2

Time-aware reactive storage in wireless edge environments
Nowadays, smart mobile devices generate huge amounts of data in all sorts of gatherings. Much of that data has localized and ephemeral …
João a Silva, Hervé Paulino, João M Lourenço, João Leitão, Nuno Preguiça
Posted Jan 1, 2019
Link
Time-aware reactive storage in wireless edge environments
Nowadays, smart mobile devices generate huge amounts of data in all sorts of gatherings. Much of that data has localized and ephemeral …
João a Silva, Hervé Paulino, João M Lourenço, João Leitão, Nuno Preguiça
Posted Jan 1, 2019
Link
Discovering concurrency errors
Lots of concurrent software is being developed for the now ubiquitous multicore processors. And concurrent programming is difficult …
João M Lourenço, Jan Fiedor, Bohuslav Křena, Tomáš Vojnar
Posted Jan 1, 2018
Link
Discovering concurrency errors
Lots of concurrent software is being developed for the now ubiquitous multicore processors. And concurrent programming is difficult …
João M Lourenço, Jan Fiedor, Bohuslav Křena, Tomáš Vojnar
Posted Jan 1, 2018
Link
Verifying real-world software with contracts for concurrency
In this paper we present Contracts for Concurrency. A contract for concurrency specifies the protocol to access the services provided …
João M Lourenço
Posted Jan 1, 2018
Link
GOCRGO and GOGO: two minimal communication topologies for WiFi-direct multi-group networking
Although mobile devices can collaborate and interact when connected by a communication infrastructure, such interactions may also be …
António Teófilo, Diogo Remédios, Joao M Lourenço, Hervé Paulino
Posted Jan 1, 2017
Link
GOCRGO and GOGO: two minimal communication topologies for WiFi-direct multi-group networking
Although mobile devices can collaborate and interact when connected by a communication infrastructure, such interactions may also be …
António Teófilo, Diogo Remédios, Joao M Lourenço, Hervé Paulino
Posted Jan 1, 2017
Link
I Know What You Did Last Summer: Time-Aware Publish/Subscribe for Networks of Mobile Devices
N/A
JA Silva, H Paulino, JM Lourenço, J Leitão, N Preguiça
Posted Jan 1, 2017
Link
Responses’ Prediction Standard Error Analysis in Pareto Solutions
A Pareto front provides to the decision-maker a set of optimal solutions from where a unique solution should be selected to solve a …
Nuno Costa, João Lourenço
Posted Jan 1, 2017
Link
Towards a persistent publish/subscribe system for networks of mobile devices
There is a clear trend and progressive interest in the quasi-real-time sharing of user-generated content, and mobile devices are among …
Filipe Cerqueira, Joao a Silva, João M Lourenço, Hervé Paulino
Posted Jan 1, 2017
Link