Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 41-50 de um total de 310 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2010Evaluating data freshness in large scale replicated databasesPereira, José; Araújo, MiguelArtigo em ata de conferênciaAcesso aberto
1-Jan-2017Quality-Aware Reactive Programming for the Internet of ThingsProença, José Miguel Paiva; Baquero, CarlosArtigo em ata de conferênciaAcesso aberto
2010Abordagem sistemática para o controlo seguro de sistemas aeroespaciaisBorges, Paulo André Mendes; Machado, José; Ferreira, João Amaro Oliveira; Campos, J. Creissac; Villani, EmiliaArtigo em ata de conferênciaAcesso aberto
2016Validating an approach to formalize use cases with ontologiesCouto, Rui; Ribeiro, António Nestor; Campos, José C.Artigo em ata de conferênciaAcesso aberto
2016Eventually consistent register revisitedZawirski, Marek; Baquero, Carlos; Bieniusa, Annette; Preguiça, Nuno; Shapiro, MarcArtigo em ata de conferênciaAcesso aberto
23-Abr-2017Borrowing an identity for a distributed counterEnes, Vitor; Baquero, Carlos; Almeida, Paulo Sérgio; Leitão, JoãoArtigo em ata de conferênciaAcesso aberto
23-Abr-2017Compact resettable counters through causal stabilityYounes, Georges; Almeida, Paulo Sérgio; Baquero, CarlosArtigo em ata de conferênciaAcesso aberto
Abr-2017Transparent cross-system consistencyLoff, João; Baquero, Carlos; Preguiça, Nuno; Porto, Daniel; Garcia, João; Rodrigues, RodrigoArtigo em ata de conferênciaAcesso aberto
2014Enhancing reasoning approaches to diagnose functional and non-functional errorsCardoso, Nuno; Abreu, RuiArtigo 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