Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 21-30 de um total de 190 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2009Verifying cryptographic software correctness with respect to reference implementationsAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa; Vieira, BárbaraArtigo em ata de conferênciaAcesso aberto
2005An experiment with association rules and classification: post-bagging and convictionJorge, Alípio M.; Azevedo, Paulo J.Artigo em ata de conferênciaAcesso aberto
2001A methodology for complex embedded systems design : Petri nets within a UML approachMachado, Ricardo J.; Fernandes, João M.; Santos, Henrique Dinis dosArtigo em ata de conferênciaAcesso aberto
Set-2001System-level object-orientation in the specification and validation of embedded systemsFernandes, João M.; Machado, Ricardo J.Artigo em ata de conferênciaAcesso aberto
2009An agent-based architecture for cancer stagingMiranda, Miguel; Abelha, António; Santos, Manuel; Machado, José Manuel; Neves, JoséArtigo em ata de conferênciaAcesso restrito UMinho
Out-2004Measuring QoS in class-based IP networks using multipurpose colored probing patternsLima, Solange; Carvalho, Paulo; Freitas, VascoArtigo em ata de conferênciaAcesso aberto
Nov-2009Implementation of an orchestration language as a haskell domain specific languageCampos, Marco Devesas; Barbosa, L. S.ArtigoAcesso aberto
Set-2009Symbiotic data mining for personalized spam filteringCortez, Paulo; Lopes, Clotilde; Sousa, Pedro; Rocha, Miguel; Rio, MiguelArtigo em ata de conferênciaAcesso aberto
2006An ontology for network servicesNeves, José; Carvalho, Paulo; Alípio, PedroArtigo em ata de conferênciaAcesso aberto
Out-2004Improving the quality and reliability of traffic differentiation in IP networksSousa, Pedro; Carvalho, Paulo; Freitas, VascoArtigo em ata de conferênciaAcesso aberto
21-30 de um total de 190 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir