Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 310 resultados (tempo de pesquisa: 0.016 segundos).
DataTítuloAutor(es)TipoAcesso
2013An effective scalable SQL engine for NoSQL databasesVilaça, Ricardo; Cruz, Francisco; Pereira, José; Oliveira, Rui Carlos Mendes deArtigo em ata de conferênciaAcesso aberto
2014A compositional monitoring framework for hard real-time systemsPedro, André Matos; Pereira, David; Pinho, Luís Miguel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2013Model repair and transformation with EchoMacedo, Nuno Filipe Moreira; Guimarães, Tiago Miguel Moreira; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2011Calculating with lenses: optimising bidirectional transformationsPacheco, Hugo; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2012Brisa: combining efficiency and reliability in epidemic data disseminationMatos, Miguel; Schiavoni, Valerio; Felber, Pascal; Oliveira, Rui Carlos Mendes de; Rivière, ÉtienneArtigo em ata de conferênciaAcesso aberto
2012Final semantics for decorated tracesBonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, AlexandraArtigoAcesso aberto
2013Composing least-change lensesMacedo, Nuno Filipe Moreira; Pacheco, Hugo; Cunha, Alcino; Oliveira, José Nuno FonsecaArtigoAcesso aberto
2014On the support of versioning in distributed key-value storesVilaça, Ricardo; Oliveira, Rui Carlos Mendes de; Sutra, Pierre; Coelho, Fábio; Felber, Pascal; Rivière, Étienne; Pasin, Marcelo; Matos, Miguel; Schiavoni, ValerioArtigo em ata de conferênciaAcesso aberto
23-Abr-2017As secure as possible eventual consistency: Work in progressShoker, Ali; Yactine, Houssam; Baquero, CarlosArtigo em ata de conferênciaAcesso aberto
Set-2018The electrum analyzer: Model checking relational first-order temporal specificationsBrunel, Julien; Chemouil, David; Cunha, Alcino; Macedo, NunoArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 310 resultados (tempo de pesquisa: 0.016 segundos).

Descobrir