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
2010Deductive verification of cryptographic softwareAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa; Vieira, BárbaraArtigoAcesso aberto
Out-2010Slicing for architectural analysisRodrigues, Nuno F.; Barbosa, L. S.ArtigoAcesso 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
2010A coordination model for interactive componentsBarbosa, Marco António; Barbosa, L. S.; Campos, J. CreissacArtigo 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
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
2010Evaluating data freshness in large scale replicated databasesPereira, José; Araújo, MiguelArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 40 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir