Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 21-30 de um total de 310 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2016Holistic shuffler for the parallel processing of SQL window functionsCoelho, Fabio; Pereira, José; Vilaça, Ricardo Manuel Pereira; Oliveira, Rui Carlos Mendes deArtigo em ata de conferênciaAcesso restrito UMinho
Mai-2015ADSNARK: Nearly practical and privacy-preserving proofs on authenticated dataBackes, Michael; Barbosa, Manuel; Fiore, Dario; Reischuk, Raphael M.Artigo em ata de conferênciaAcesso aberto
2012A case study on model checking and deductive verification techniques of safety-critical softwareSilva, Rovedy Aparecida Busquim e; Oliveira, José Manuel Parente de; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2014Detecting anomalous energy consumption in android applicationsCouto, Marco; Carção, Tiago; Cunha, Jácome Miguel Costa; Fernandes, João Paulo; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso aberto
2013Developing serious games with the APEX frameworkGomes, Tiago Emanuel Oliveira; Abade, Tiago; Harrison, Michael D.; Silva, José Luís Cardoso; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2013Interactive verification of safety-critical softwareCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
2012Multifocal: a strategic bidirectional transformation language for XML schemasPacheco, Hugo; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
16-Nov-2010The APEX framework: prototyping of ubiquitous environments based on Petri NetsSilva, José Luís Cardoso; Ribeiro, Óscar R.; Campos, J. Creissac; Fernandes, João M.; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
18-Mar-2013Broadcast cancellation in search mechanismsLima, R.; Baquero, Carlos; Miranda, HugoArtigo em ata de conferênciaAcesso aberto
2013Implementing QVT-R bidirectional model transformations using alloyMacedo, Nuno; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
21-30 de um total de 310 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir