1
TÍTULO: PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems  Full Text
AUTORES: Claudio Correia; Rita Prates; Miguel Correia ; Luis Rodrigues ;
PUBLICAÇÃO: 2024, FONTE: 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023 in Formal Aspects Comput., VOLUME: 36, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef
2
TÍTULO: Self-adapting Machine Learning-based Systems via a Probabilistic Model Checking Framework  Full Text
AUTORES: Casimiro, Maria; Soares, Diogo; Garlan, David; Rodrigues, Luis ; Romano, Paolo;
PUBLICAÇÃO: 2024, FONTE: ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, VOLUME: 19, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef
3
TÍTULO: Performance Trade-offs in Transactional Systems
AUTORES: Soares, Rafael; Rodrigues, Luis ;
PUBLICAÇÃO: 2023, FONTE: 10th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 10TH WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2023
INDEXADO EM: Scopus WOS CrossRef
4
TÍTULO: Practical Limitations of Ethereum's Layer-2
AUTORES: Neiheiser, Ray; Inacio, Gustavo; Rech, Luciana; Montez, Carlos; Matos, Miguel; Rodrigues, Luis ;
PUBLICAÇÃO: 2023, FONTE: IEEE ACCESS, VOLUME: 11
INDEXADO EM: WOS CrossRef: 8
5
TÍTULO: Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge
AUTORES: Correia, Claudio; Correia, Miguel ; Rodrigues, Luis ;
PUBLICAÇÃO: 2023, FONTE: 30th ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023
INDEXADO EM: WOS CrossRef
6
TÍTULO: Omega: A Secure Event Ordering Service for the Edge
AUTORES: Correia, Claudio; Correia, Miguel ; Rodrigues, Luis ;
PUBLICAÇÃO: 2022, FONTE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 19, NÚMERO: 5
INDEXADO EM: WOS CrossRef: 1
7
TÍTULO: Cathode: A Consistency-Aware Data Placement Algorithm for the Edge
AUTORES: Epifaneo, Leonardo; Correia, Claudio; Rodrigues, Luis ;
PUBLICAÇÃO: 2021, FONTE: IEEE 20th International Symposium on Network Computing and Applications (NCA) in 2021 IEEE 20TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA)
INDEXADO EM: WOS CrossRef: 3
8
TÍTULO: FaaSTCC. efficient transactional causal consistency for serverless computing
AUTORES: Taras Lykhenko; Rafael Soares; Luis Rodrigues ;
PUBLICAÇÃO: 2021, FONTE: Proceedings of the 22nd International Middleware Conference
INDEXADO EM: CrossRef: 12
9
TÍTULO: Kauri. Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation
AUTORES: Ray Neiheiser; Miguel Matos ; Luís Rodrigues ;
PUBLICAÇÃO: 2021, FONTE: Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles
INDEXADO EM: CrossRef: 24
10
TÍTULO: Fireplug: Efficient and Robust Geo-Replication of Graph Databases  Full Text
AUTORES: Ray Neiheiser; Luciana Rech; Manuel Bravo; Luis Rodrigues ; Miguel Correia ;
PUBLICAÇÃO: 2020, FONTE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 31, NÚMERO: 8
INDEXADO EM: WOS CrossRef
Página 1 de 28. Total de resultados: 275.