Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 110 resultados (tempo de pesquisa: 0.016 segundos).
DataTítuloAutor(es)TipoAcesso
30-Out-2017Jasmin: high-assurance and high-speed cryptographyAlmeida, José Bacelar; Barbosa, ManuelArtigo em ata de conferênciaAcesso 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
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
2015Studying verification conditions for imperative programsLourenço, Cláudio Filipe Belo Silva; Lamraoui, Si-Mohamed; Nakajima, Shin; Pinto, Jorge SousaArtigoAcesso aberto
13-Dez-2017Mining the usage patterns of ROS primitivesSantos, André Fernandes; Cunha, Alcino; Macedo, Nuno; Arrais, Rafael; Dos Santos, Filipe NevesArtigo em ata de conferênciaAcesso aberto
2017MODUS: model-based user interfaces prototypingMachado, Marina; Couto, Rui; Campos, José C.Artigo 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
28-Mar-2014BenchmarXAnjorin, Anthony; Hermann, Frank; Cunha, Alcino; Rensink, Arend; Giese, Holger; Schurr, AndyArtigo em ata de conferênciaAcesso aberto
29-Out-2009FlexiXML: Um animador de modelos UsiXMLMendes, Sandrine; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2010StAN: exploiting shared interests without disclosing them in gossip-based publish/subscribeMatos, Miguel Ângelo Marques; Nunes, Ana; Oliveira, Rui Carlos Mendes de; Pereira, JoséArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 110 resultados (tempo de pesquisa: 0.016 segundos).

Descobrir