Paulo Jorge Esteves Veríssimo


AuthID: R-000-EDS

Publicações Confirmadas: 216



141
TÍTULO: Node failure detection and membership in CANEL gamma
AUTORES: Rufino, J ; Verissimo, P ; Arroz, G;
PUBLICAÇÃO: 2003, FONTE: International Conference on Dependable Systems and Networks in 2003 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
142
TÍTULO: Trustworthiness of open information systems: How should it be achieved?  Full Text
AUTORES: Verissimo, P ;
PUBLICAÇÃO: 2003, FONTE: 22nd International Symposium on Reliable Distributed Systems in 22ND INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
143
TÍTULO: Uncertainty and predictability: Can they be reconciled?
AUTORES: Verissimo, P ;
PUBLICAÇÃO: 2003, FONTE: International Workshop on Future Directions in Distributed Computing in FUTURE DIRECTIONS IN DISTRIBUTED COMPUTING: RESEARCH AND POSITION PAPERS, VOLUME: 2584
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP
144
TÍTULO: Efficient Byzantine-Resilient reliable multicast on a hybrid failure model  Full Text
AUTORES: Correia, M ; Lung, LC; Neves, NF ; Verissimo, P ;
PUBLICAÇÃO: 2002, FONTE: 21st IEEE Symposium on Reliable Distributed Systems in 21ST IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
NO MEU: ORCID | DBLP
145
TÍTULO: Generic timing fault tolerance using a timely computing base
AUTORES: Casimiro, A ; Verissimo, P ;
PUBLICAÇÃO: 2002, FONTE: International Conference on Dependable Systems and Networks in INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
146
TÍTULO: Intrusion-Tolerant Architectures: Concepts and Design
AUTORES: Paulo Veríssimo ; Nuno Ferreira Neves ; Miguel Correia ;
PUBLICAÇÃO: 2002, FONTE: Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], VOLUME: 2677
INDEXADO EM: DBLP CrossRef: 76
NO MEU: DBLP
147
TÍTULO: The design of a COTS real-time distributed security kernel
AUTORES: Correia, M ; Verissimo, P ; Neves, NF ;
PUBLICAÇÃO: 2002, FONTE: 4th European Dependable Computing Conference in DEPENDABLE COMPUTING: EDCC-4, PROCEEDINGS, VOLUME: 2485
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
NO MEU: DBLP
148
TÍTULO: The timely computing base model and architecture
AUTORES: Verissimo, P ; Casimiro, A ;
PUBLICAÇÃO: 2002, FONTE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 51, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
149
TÍTULO: Distributed systems for system architects
AUTORES: Paulo Veríssimo ; Luís E T Rodrigues;
PUBLICAÇÃO: 2001, FONTE: Advances in Distributed Computing and Middleware, VOLUME: 1
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
150
TÍTULO: Measuring Distributed Durations with Stable Error
AUTORES: Antonio Casimiro; Pedro Martins; Luís Rodrigues ; Paulo Veríssimo ;
PUBLICAÇÃO: 2001, FONTE: Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), London, UK, 2-6 December 2001
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
Página 15 de 22. Total de resultados: 216.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service