Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 40 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
Out-2010Slicing for architectural analysisRodrigues, Nuno F.; Barbosa, L. S.ArtigoAcesso 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
2010GamaSlicer : an online laboratory for program verification and analysisCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2010A coordination model for interactive componentsBarbosa, Marco António; Barbosa, L. S.; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2010Should mathematics remain invisible?Martinho, Maria Helena; Barbosa, L. S.Artigo 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