Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 11-20 de um total de 25 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2015A Logic for robotics?Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2015Exactly-once quantity transferShoker, Ali; Almeida, Paulo Sérgio; Baquero, CarlosArtigo em ata de conferênciaAcesso aberto
2015Concise server-wide causality management for eventually consistent data storesGonçalves, Ricardo Jorge Tomé; Almeida, Paulo Sérgio; Baquero, Carlos; Fonte, VictorArtigo em ata de conferênciaAcesso aberto
2015Design and implementation of queries for model-driven spreadsheetsCunha, Jácome Miguel Costa; Fernandes, João Paulo; Mendes, Jorge; Pereira, Rui; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso aberto
2015Trace semantics via determinizationJacobs, Bart; Silva, Alexandra; Sokolova, AnaArtigoAcesso aberto
2015The related-key analysis of feistel constructionsFarshim, Pooya; Barbosa, ManuelArtigo em ata de conferênciaAcesso aberto
2015Practical evaluation of large scale applicationsJorge, Tiago; Maia, Francisco; Matos, Miguel Ângelo Marques; Pereira, José; Oliveira, Rui Carlos Mendes deArtigo em ata de conferênciaAcesso restrito UMinho
2015EpTO: An epidemic total order algorithm for large-scale distributed systemsMatos, Miguel Ângelo Marques; Mercier, Hugues; Felber, Pascal; Oliveira, Rui Carlos Mendes de; Pereira, JoséArtigo em ata de conferênciaAcesso restrito UMinho
2015Immersiveness of ubiquitous computing environments prototypes: A case studyAbade, Tiago; Campos, J. Creissac; Moreira, Rui Patrício Oliveira; Silva, Carlos César Loureiro; Silva, José Luís CardosoArtigo em ata de conferênciaAcesso aberto
Fev-2015Modelling and verifying smell-free architectures with the Archery languageSanchez, Alejandro; Barbosa, L. S.; Madeira, Alexandre Leite CastroArtigo em ata de conferênciaAcesso restrito UMinho