Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 11-20 de um total de 29 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2010Program verification in SPARK and ACSL : a comparative case studyBrito, Eduardo; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
Set-2010Classification and comparison of agile methodsFernandes, João M.; Almeida, MauroArtigo em ata de conferênciaAcesso 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
Out-2010Slicing for architectural analysisRodrigues, Nuno F.; Barbosa, L. S.ArtigoAcesso aberto
2010Strong knowledge extractors for public-key encryption schemesBarbosa, Manuel; Farshim, PooyaArtigo em ata de conferênciaAcesso aberto
2010QoS-aware component compositionBarbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Abr-2010Adaptive admission control in a NGN service platformFerreira, André Filipe dos Santos; Carvalho, Paulo; Lima, SolangeArtigo em ata de conferênciaAcesso aberto
2010A certifying compiler for zero-knowledge proofs of knowledge based on sigma-protocolsAlmeida, José Bacelar; Bangerter, Endre; Barbosa, Manuel; Krenn, Stephan; Sadeghi, Ahmad-Reza; Schneider, ThomasArtigo em ata de conferênciaAcesso aberto
2010Archetype-based semantic interoperability in healthcareMarques, José Alberto; Correia, António José Gonçalves; Cerqueira, Lúcia; Machado, José Manuel; Neves, JoséArtigo em ata de conferênciaAcesso restrito UMinho
Set-2010Scenario-based modeling in industrial information systemsMachado, Ricardo J.; Fernandes, João M.; Barros, João P.; Gomes, LuísArtigo em ata de conferênciaAcesso aberto
11-20 de um total de 29 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir