Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 175 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
30-Out-2017A fast and verified software stack for secure function evaluationAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis; Dupressoir, François; Grégoire, Benjamin; Laporte, Vincent; Pereira, VitorArtigo em ata de conferênciaAcesso aberto
2017On infinitary equational hybrid logicMartins, M. A.; Madeira, Alexandre Leite Castro; Barbosa, L. S.Capítulo de livroAcesso aberto
1-Fev-2017Bidirectional Transformations (Bx 2015) Special Section: EditorialCunha, Alcino; Kindler, EkkartEditorial em revistaAcesso aberto
17-Jul-2016Join decompositions for efficient synchronization of CRDTs after a network partition: [Work in progress report]Enes, Vitor; Baquero, Carlos; Almeida, Paulo Sérgio; Shoker, AliArtigo em ata de conferênciaAcesso aberto
Jan-2014SABS : Spark ABStraction - A TutorialMiraldo, Victor CacciariRelatórioAcesso aberto
15-Out-2008AniMAL - a user interface prototyper and animator for MAL interactor modelsGuerreiro, Nuno; Mendes, Sandrine; Pinheiro, Vítor; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
Set-2003Avaliação de um SGBD replicado usando simulação de redesSoares, L.; Sousa, António; Pereira, José; Oliveira, Rui Carlos Mendes de; Correia, Alfrânio; Rocha, Luciano; Moura, Francisco Coelho SoaresArtigo em ata de conferênciaAcesso aberto
2012A case study on model checking and deductive verification techniques of safety-critical softwareSilva, Rovedy Aparecida Busquim e; Oliveira, José Manuel Parente de; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2008AKARA: A flexible clustering protocol for demanding transactional workloadsCorreia, Alfrânio; Pereira, José; Oliveira, Rui Carlos Mendes deArtigo em ata de conferênciaAcesso aberto
2015Layers, resources and property templates in the specification and analysis of two interactive systemsCampos, José C.; Curzon, Paul; Masci, Paolo; Harrison, Michael douglasArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 175 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir