Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 76 resultados (tempo de pesquisa: 0.422 segundos).
DataTítuloAutor(es)TipoAcesso
2013Towards a mostly-automated prover for bit-vector arithmeticAbal, Iago; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
2013Experimenting with predicate abstractionMiraldo, Victor Cacciari; Frade, M. J.; Lourenço, Cláudio; Pinto, Jorge SousaResumo em ata de conferência Acesso aberto
2013Using abstract interpretation to produce dependable aerospace control softwareSilva, Rovedy Aparecida Busquim e; Arai, Nanci Naomi; Burgareli, Luciana Akemi; Oliveira, José M. Parente; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2013Combining static and dynamic analysis for the reverse engineering of web applicationsSilva, Carlos Eduardo; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2013Information fusion for context awareness in intelligent environmentsSilva, Fábio; Analide, César; Novais, PauloArtigo em ata de conferênciaAcesso aberto
2013A coalgebraic perspective on logical interpretationsMartins, M. A.; Madeira, A.; Barbosa, L. S.ArtigoAcesso aberto
2013Deadline analysis of AUTOSAR OS periodic tasks in the presence of interruptsYanhong Huang; Ferreira, João Fernando Peixoto; Guanhua He; Shengchao Qin; Jifeng HeArtigo em ata de conferênciaAcesso aberto
2013On the semantic security of functional encryption schemesBarbosa, Manuel; Farshim, PooyaArtigo em ata de conferênciaAcesso aberto
Dez-2013Development challenges in web apps for public displaysTaivan, Constantin; Andrade, José Miguel; José, Rui; Silva, Bruno; Pinto, Helder; Ribeiro, António NestorArtigo em ata de conferênciaAcesso aberto
2013Lightweight, efficient, robust epidemic disseminationMatos, Miguel; Schiavoni, Valerio; Felber, Pascal; Oliveira, Rui Carlos Mendes de; Rivière, ÉtienneArtigoAcesso aberto
1-10 de um total de 76 resultados (tempo de pesquisa: 0.422 segundos).

Descobrir