Pesquisar


Filtros correntes:

Iniciar uma nova pesquisa
Adicionar filtros:

Utilizar filtros para refinar o resultado da pesquisa.


Resultados 1-10 de 60.
Registos:
DataTítuloAutor(es)TipoAcesso
2005Serviços Distribuídos Tolerantes a Intrusões: resultados recentes e problemas abertosMiguel CorreiaarticleopenAccess
2009Not Quickly, Just in Time: Improving the Timeliness and Reliability of Control Traffic in Utility NetworksWagner Saback Dantas; Alysson Neves Bessani; Miguel CorreiaarticleopenAccess
2008The CRUTIAL reference critical information infrastructure architecture: a blueprintPaulo Verissimo; Nuno F. Neves; Miguel CorreiaarticleopenAccess
2004From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without SignaturesMiguel Correia; Nuno Ferreira Neves; Paulo VeríssimoarticleopenAccess
2007Protecting CRUTIAL ThingsAlysson Neves Bessani; Paulo Sousa; Miguel Correia; Nuno F. Neves; Paulo VeríssimoarticleopenAccess
2009Intrusion-Resilient Middleware Design and ValidationPaulo Verissimo; Miguel Correia; Nuno F. Neves; Paulo SousabookPartopenAccess
2007Exploiting Tuple Spaces to Provide Fault-Tolerant Scheduling on Computational GridsFábio Favarim; Joni Fraga; Lau C. Lung; Miguel Correia; João F. SantosarticleopenAccess
2005Low Complexity Byzantine-Resilient ConsensusMiguel Correia; Nuno Ferreira Neves; Paulo Veríssimo; Lau Cheuk LungarticleopenAccess
2007Explorando a Abstração Espaço de Tuplas no Escalonamento em Grades ComputacionaisFábio Favarim; Joni Fraga; Lau C. Lung; Miguel Correia; João F. SantosarticleopenAccess
2007DepSpace: Um Middleware para Coordenacão em Ambientes Dinâmicos e Não ConfiáveisAlysson Neves Bessani; Eduardo Adílio Pelison Alchieri; Miguel Correia; Joni da Silva Fraga; Lau Cheuk LungarticleopenAccess