Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 181-190 de um total de 190 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2004From spatiotemporal curves to reconstructed depthRodrigues, Rui; Fernandes, António Ramires; Overveld, Kees van; Ernst, FabianArtigoAcesso aberto
2009UML model refactoring as refinement: a coalgebraic perspectiveBarbosa, L. S.; Meng, SunArtigo em ata de conferênciaAcesso aberto
2008COORDINSPECTOR : a tool for extracting coordination data from legacy codeRodrigues, Nuno F.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2008A relational model for confined separation logicWang, Shuling; Barbosa, L. S.; Oliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2009A single complete relational rule for coalgebraic refinementRodrigues, César J.; Oliveira, José Nuno Fonseca; Barbosa, L. S.ArtigoAcesso aberto
Jan-2006Handling concurrent admission control in multiservice IP networksLima, Solange; Carvalho, Paulo; Freitas, VascoArtigo em ata de conferênciaAcesso aberto
2006A framework for point-free program transformationCunha, Alcino; Pinto, Jorge Sousa; Proença, José Miguel PaivaArtigo em ata de conferênciaAcesso aberto
2008Token-passing nets for functional languagesAlmeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, MiguelArtigoAcesso aberto
Jun-2001A Petri net meta-model to develop software components for embedded systemsMachado, Ricardo J.; Fernandes, João M.Artigo em ata de conferênciaAcesso aberto
2009Security analysis of standard authentication and key agreement protocols utilising timestampsBarbosa, Manuel; Farshim, PooyaArtigo em ata de conferênciaAcesso aberto
181-190 de um total de 190 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir