Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 13 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
2017Products go green: worst-case energy consumption in software product linesCouto, Marco Domingos Mendes; Borba, Paulo; Cunha, Jácome Miguel Costa; Fernandes, João Paulo Soares; Pereira, Rui; Saraiva, JoãoArtigo em ata de conferênciaAcesso 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
2017Systematic spreadsheet construction processesMendes, Jorge; Cunha, Jácome; Duarte, Francisco J.; Engels, Gregor; Saraiva, João; Sauer, StefanArtigo em ata de conferênciaAcesso restrito UMinho
2017A framework for certification of large-scale component-based parallel computing systems in a cloud computing platform for HPC servicesDantas, A. O.; Carvalho, F. H.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2017On kleene algebras for weighted computationGomes, Leandro; Madeira, Alexandre Leite Castro; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Out-2017Digital governance for sustainable developmentBarbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2017Modeling families of public licensing services: a case studyCledou, Maria Guillermina; Barbosa, Luís SoaresArtigo em ata de conferênciaAcesso aberto
30-Out-2017Jasmin: high-assurance and high-speed cryptographyAlmeida, José Bacelar; Barbosa, ManuelArtigo 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
1-10 de um total de 13 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir