Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 11-20 de um total de 40 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
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
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
2010Programming from Galois connection : principles and applicationsMu, Shin-Cheng; Oliveira, José Nuno FonsecaRelatórioAcesso 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
2010Scalable transactions in the cloud: partitioning revisitedMaia, Francisco António Ferraz Martins Almeida; Armendáriz-Íñigo, José Enrique; Ruiz-Fuertes, M. I.; Oliveira, Rui Carlos Mendes deArtigo em ata de conferênciaAcesso aberto
2010Fault-tolerant aggregation for dynamic networksJesus, Paulo; Baquero, Carlos; Almeida, Paulo SérgioArtigo em ata de conferênciaAcesso aberto
2010Zipper-based embedding of modern attribute grammar extensionsMartins, Pedro Miguel RibeiroArtigo em ata de conferênciaAcesso aberto
2010Program verification in SPARK and ACSL : a comparative case studyBrito, Eduardo; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
11-20 de um total de 40 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir