111
TÍTULO: When 3f+1 is not enough: Tradeoffs for decentralized asynchronous Byzantine consensus
AUTORES: Alysson Neves Bessani ; Miguel Correia ; Henrique Moniz ; Nunc Ferreira Neves ; Paulo Verissimo ;
PUBLICAÇÃO: 2007, FONTE: 21st International Symposium on Distributed Computing in Distributed Computing, Proceedings, VOLUME: 4731
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
112
TÍTULO: Worm-IT - A wormhole-based intrusion-tolerant group communication system  Full Text
AUTORES: Miguel Correia ; Nuno Ferreira Neves ; Lau Cheuk Lung; Paulo Verissimo ;
PUBLICAÇÃO: 2007, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 80, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
NO MEU: ORCID | DBLP
113
TÍTULO: Control of inaccessibility in CANELy
AUTORES: Rufino, J ; Verissimo, P ; Arroz, G; Almeida, C;
PUBLICAÇÃO: 2006, FONTE: WFCS 2006: 2006 IEEE International Workshop on Factory Communication Systems in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS
INDEXADO EM: Scopus
NO MEU: ORCID
114
TÍTULO: CRUTIAL: The blueprint of a reference critical information infrastructure architecture  Full Text
AUTORES: Paulo Verissimo ; Nuno Ferreira Neves ; Miguel Correia ;
PUBLICAÇÃO: 2006, FONTE: 1st International Workshop on Critical Information Infrastructures Security in Critical Information Infrastructures Security, VOLUME: 4347
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | DBLP
115
TÍTULO: Enforcing dependability and timeliness in controller area networks
AUTORES: Jose Rufino ; Carlos Almeida; Paulo Verissimo ; Guilherme Arroz;
PUBLICAÇÃO: 2006, FONTE: 32nd Annual Conference of the IEEE-Industrial-Electronics-Society in IECON 2006 - 32ND ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS, VOLS 1-11
INDEXADO EM: WOS
116
TÍTULO: Enforcing dependability and timeliness in controller area networks
AUTORES: Rufino, J ; Almeida, C; Verissimo, P ; Arroz, G;
PUBLICAÇÃO: 2006, FONTE: IECON 2006 - 32nd Annual Conference on IEEE Industrial Electronics in IECON Proceedings (Industrial Electronics Conference)
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
117
TÍTULO: Experimental comparison of local and shared coin randomized consensus protocols  Full Text
AUTORES: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
PUBLICAÇÃO: 2006, FONTE: 25th IEEE Symposium on Reliable Distributed Systems in SRDS 2006: 25th IEEE Symposium on Reliable Distributed Systems, Proceedings
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
NO MEU: ORCID | DBLP
118
TÍTULO: From consensus to atomic broadcast: Time-free byzantine-resistant protocols without signatures
AUTORES: Correia, M ; Neves, NF ; Verissimo, P ;
PUBLICAÇÃO: 2006, FONTE: COMPUTER JOURNAL, VOLUME: 49, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 71
NO MEU: ORCID | DBLP
119
TÍTULO: Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems
AUTORES: Antonio Casimiro; Jörg Kaiser; Paulo Veríssimo ;
PUBLICAÇÃO: 2006, FONTE: Architecting Dependable Systems IV [the book is a result of the ICSE 2006 and DSN 2006 workshops], VOLUME: 4615
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
120
TÍTULO: Guest editorial for the special issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the dependable computing and communications and performance and dependability symposia  Full Text
AUTORES: Jean Arlat; Andrea Bondavalli; Boudewijn Haverkort; Paulo Verissimo ;
PUBLICAÇÃO: 2006, FONTE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 3, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
Página 12 de 22. Total de resultados: 216.