Percorrer por autor Veríssimo, Paulo

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou inserir as letras iniciais:  
Mostrar resultados 1-20 de 42.  próximo >
DataTítuloAutor(es)TipoAcesso
Mar-2009Architecture, Services and Protocols for CRUTIALAbou El Kalan, Anas; Baina, Amine; Beitollahi, Hakem; Bessani, Alysson Neves; Bondavalli, Andrea; Correia, Miguel; Daidone, Alessandro; Dantas, Wagner; Deconinck, Geert; Deswarte, Yves; Moniz, Henrique; Neves, Nuno; Sousa, Paulo; Veríssimo, PauloreportopenAccess
Jul-2002Complete Specification of APIs and Protocols for the MAFTIA MiddlewareArmstrong, J.; Cachin, C.; Correia, Miguel; Costa, A.; Miranda, Hugo; Neves, Nuno Ferreira; Neves, Nuno M.; Poritz, J. A.; Randell, B.; Lung, Lau Cheuk; Rodrigues, Luís; Stroud, Robert J.; Veríssimo, Paulo; Waidner, M.; Welch, I. S.reportopenAccess
Fev-2003Conceptual Model and Architecture of MAFTIAAdelsbach, A.; Cachin, C.; Creese, S.; Deswarte, Y.; Kursawe, K.; Laprie, J.-C.; Powell, David; Randell, B.; Riodan, J.; Ryan, P.; Simmionds, W.; Stroud, Robert J.; Veríssimo, Paulo; Waidner, M.; Wespi, A.reportopenAccess
Jul-2003Concretização de um cenário de carros cooperantes num ambiente móvel sem fiosSousa, Paulo; Martins, Pedro; Casimiro, António; Veríssimo, PauloreportopenAccess
Fev-2002CORTEX: Towards Supporting Autonomous and Cooperating Sentient ObjectsVeríssimo, Paulo; Cahill, V.; Casimiro, António; Cheverst, K.; Friday, A.; Kaiser, J.reportopenAccess
Jul-2003Definition of Application ScenariosBiegel, G.; Blair, G.; Cahill, V.; Casimiro, António; Cheverst, K.; Cunningham, R.; Fitzpatrick, A.; Friday, A.; Gaertner, G.; Hughes, B.; Kaiser, J.; Meier, R.; Riejers, N.; Veríssimo, PauloreportopenAccess
Jan-2008Experimental Validation of Architectural SolutionsDonatelli, Susanna; Alata, Eric; Antunes, João; Kaâniche, Mohamed; Neves, Nuno Ferreira; Veríssimo, PauloreportopenAccess
Set-2001First Specification of APIs and Protocols for the MAFTIA MiddlewareArmstrong, J.; Cachin, C.; Correia, Miguel; Costa, A.; Miranda, Hugo; Neves, Nuno Ferreira; Neves, Nuno M.; Poritz, J. A.; Randell, B.; Lung, Lau Cheuk; Rodrigues, Luís; Stroud, Robert J.; Veríssimo, Paulo; Waidner, M.; Welch, I. S.reportopenAccess
Out-2007A framework for dependable adaptation in probabilistic environmentsCasimiro, António; Lolinni, Paolo; Dixit, Mónica; Bondavalli, Andrea; Veríssimo, PauloreportopenAccess
Jun-2004From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without SignaturesCorreia, Miguel; Neves, Nuno Ferreira; Veríssimo, PauloreportopenAccess
Out-2005From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without SignaturesCorreia, Miguel; Neves, Nuno Ferreira; Veríssimo, PauloreportopenAccess
Fev-2005How dependable are distributed f fault/intrusion-tolerant systems?Sousa, Paulo; Neves, Nuno Ferreira; Veríssimo, PauloreportopenAccess
Jul-2004How to Tolerate Half Less One Byzantine Nodes in Practical Distributed SystemCorreia, Miguel; Neves, Nuno Ferreira; Veríssimo, PauloreportopenAccess
Dez-2005Improving Byzantine Protocols with Secure Computational ComponentsCorreia, Miguel; Bessani, Alysson Neves; Neves, Nuno Ferreira; Lung, Lau Cheuk; Veríssimo, PauloreportopenAccess
Jul-2002Intrusion Tolerance: Concepts and Design Principles. A TutorialVeríssimo, PauloreportopenAccess
Abr-2003Intrusion-Tolerant Architectures: Concepts and DesignVeríssimo, Paulo; Neves, Nuno Ferreira; Correia, MiguelreportopenAccess
Nov-2004Intrusion-Tolerant Middleware: the MAFTIA approachVeríssimo, Paulo; Neves, Nuno Ferreira; Cachin, C.; Poritz, J. A.; Powell, David; Deswarte, Y.; Stroud, Robert J.; Welch, I. S.reportopenAccess
Abr-2007Intrusion-Tolerant Protection for Critical InfrastructuresBessani, Alysson Neves; Sousa, Paulo; Correia, Miguel; Neves, Nuno Ferreira; Veríssimo, PauloreportopenAccess
Dez-2002Lessons Learned with NavTech: a Framework for Reliable Large-Scale ApplicationsVeríssimo, PauloreportopenAccess
Ago-2003Low Complexity Byzantine-Resilient ConsensusCorreia, Miguel; Neves, Nuno Ferreira; Lung, Lau Cheuk; Veríssimo, PauloreportopenAccess