Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 24 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2010Agile, a structured editor, analyzer, metric evaluator, and transformer for attribute grammarsRocha, André; Santos, André; Rocha, Daniel; Silva, Hélder; Mendes, Jorge; Freitas, José; Coelho, Márcio; Regedor, Miguel; Cruz, Daniela; Henriques, Pedro RangelArtigo 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
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
2010Evaluating data freshness in large scale replicated databasesPereira, José; Araújo, MiguelArtigo em ata de conferênciaAcesso aberto
2010Multiresolution motif discovery in time seriesCastro, Nuno Constantino; Azevedo, Paulo J.Artigo em ata de conferênciaAcesso aberto
2010Automatically inferring ClassSheet models from spreadsheetsCunha, Jácome; Erwig, Martin; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso aberto
2010Generic point-free lensesPacheco, Hugo; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2010Relations among notions of complete non-malleability: indistinguishability characterisation and efficient construction without random oraclesBarbosa, Manuel; Farshim, PooyaArtigo em ata de conferênciaAcesso aberto
2010Applying abstract algebraic logic to classical automata theory : an exerciseDescalço, Luís; Madeira, Alexandre; Martins, Manuel A.Artigo em ata de conferênciaAcesso aberto
2010StAN: exploiting shared interests without disclosing them in gossip-based publish/subscribeMatos, Miguel Ângelo Marques; Nunes, Ana; Oliveira, Rui Carlos Mendes de; Pereira, JoséArtigo em ata de conferênciaAcesso aberto