Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 29 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2010Developing intelligent environments with OSGi and JADECarneiro, Davide Rua; Novais, Paulo; Costa, Ricardo; Neves, José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
2010Spam email filtering using network-level propertiesCortez, Paulo; Correia, André; Sousa, Pedro; Rocha, Miguel; Rio, MiguelArtigo em ata de conferênciaAcesso aberto
Mai-2010A platform to support civil protection applications on the GRIDPina, António Manuel Silva; Oliveira, B.; Puga, Joel; Esteves, António; Proença, Alberto JoséArtigo em ata de conferênciaAcesso aberto
2010An OGC/SOS conformant client to manage geospatial data on the GRIDEsteves, António; Caldas, Marco; Pina, António Manuel Silva; Proença, Alberto JoséArtigo 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
2010Program verification in SPARK and ACSL : a comparative case studyBrito, Eduardo; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
Out-2010Interoperability performance in a healthcare environmentAlves, Frederico; Abelha, António; Machado, José Manuel; Neves, José; Neves, JoãoArtigo em ata de conferênciaAcesso restrito UMinho
2010Deductive verification of cryptographic softwareAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa; Vieira, BárbaraArtigoAcesso aberto
Dez-2010Preface and biographic notes for the special issue on graphics for serious gamesDebattista, Kurt; Proença, Alberto José; Santos, Luís PauloEditorial em revistaAcesso aberto