Login

In Proceedings

IPA: invariant-preserving applications for weakly consistent replicated databases

InProceedings

Published in 01/12/2018

Authors

Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno Preguiça,

Information-Theoretic Secret-Key Agreement: The Asymptotically Tight Relation Between the Secret-Key Rate and the Channel Quality Ratio

InProceedings

Published in 04/11/2018

Authors

Daniel Jost, Ueli Maurer, João Ribeiro,

Variable Elimination for DLP-Functions

InProceedings

Published in 04/11/2018

Authors

Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran,

A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework

InProceedings

Published in 02/11/2018

Authors

Giovanni Casini, Eduardo Fermé, Thomas Meyer, Ivan Varzinczak,

Studies in Credibility-Limited Base Revision

InProceedings

Published in 02/11/2018

Authors

Marco Garapa, Eduardo Fermé, Maurício D. Luís Reis,

Practical and Fast Causal Consistent Partial Geo-Replication

InProceedings

Published in 01/11/2018

Authors

Pedro Fouto, João Leitão, Nuno Preguiça,

Temporal Cross-Media Retrieval with Soft-Smoothing

InProceedings

Published in 15/10/2018

Authors

David Semedo, João Magalhães,

Peeling the Onion’s User Experience Layer: Examining Naturalistic Use of the Tor Browser

InProceedings

Published in 15/10/2018

Authors

Kevin Gallagher, Sameer Patil, Brendan Dolan-Gavitt, Damon McCoy,, Nasir Memon,

Increasing the Semantic Transparency of the KAOS Goal Model Concrete Syntax

InProceedings

Published in 01/10/2018

Authors

Mafalda Santos, Catarina Gralha, Miguel Goulão, João Araújo,

MuSE: Multimodal Searchable Encryption for Cloud Applications

InProceedings

Published in 01/10/2018

Authors

Bernardo Ferreira, João Leitão, Henrique Domingos,