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
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
2015Supporting the design of an ambient assisted living system using virtual reality prototypesCampos, José C.; Abade, Tiago Filipe Azevedo; Silva, J. L.; Harrison, Michael douglasArtigo em ata de conferênciaAcesso aberto
2015Efficient state-based CRDTs by delta-mutationAlmeida, Paulo Sérgio; Shoker, Ali; Baquero, CarlosArtigo 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
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
Set-2015Metaphorisms in programmingOliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto