Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 53 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2014An efficient distributed algorithm for computing minimal hitting setsAbreu, Rui; Cardoso, NunoArtigo 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
2014Graphical querying of model-driven spreadsheetsCunha, Jácome Miguel Costa; Fernandes, João Paulo; Pereira, Rui Alexandre Afonso; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso aberto
2014Embedding model-driven spreadsheet queries in spreadsheet systemsPereira, Rui; Fernandes, João Paulo; Mendes, Jorge; Saraiva, João Alexandre; Cunha, Jácome Miguel CostaArtigo em ata de conferênciaAcesso aberto
2014Quantitative analysis of reo- based service coordinationOliveira, Nuno; Silva, Alexandra M.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2014Collaborative and privacy-aware sensing for observing urban movement patternsGonçalves, Nelson; José, Rui; Baquero, CarlosArtigo em ata de conferênciaAcesso restrito UMinho
2014Generating attribute grammar-based bidirectional transformations from rewrite rulesFernandes, João Paulo; Wyk, Eric Van; Saraiva, João Alexandre; Martins, Pedro Miguel RibeiroArtigo em ata de conferênciaAcesso aberto
2014Formal verification of kLIBC with the WP frama-C plug-inCarvalho, Nuno; Sousa, Cristiano da Silva; Pinto, Jorge Sousa; Tomb, AaronArtigo em ata de conferênciaAcesso aberto
2014A bounded model checker for SPARK programsLourenço, Cláudio Belo; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2014Towards a runtime verification framework for the Ada Programming LanguagePedro, André Matos; Pereira, David; Pinho, Luís Miguel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 53 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir