Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 189 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2005Group-based replication of on-line transaction processing serversCorreia Júnior, Alfrânio Tavares; Sousa, António Luís Pinto Ferreira de; Soares, L.; Pereira, José, 1973-; Moura, Francisco Coelho Soares; Oliveira, Rui Carlos Mendes deArtigo em ata de conferênciaAcesso aberto
2008Visual programming with Interaction NetsHassan, Abubakar; Mackie, Ian; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2012Constraint-aware schema transformationAlves, Tiago L.; Silva, Paulo F.; Visser, JoostArtigoAcesso aberto
Dez-2017Verification of user interface software: the example of use-related safety requirements and programmable medical devicesHarrison, Michael douglas; Masci, Paolo; Campos, José C.; Curzon, PaulArtigoAcesso aberto
2018Delta state replicated data typesAlmeida, Paulo Sérgio; Shoker, Ali; Baquero, CarlosArtigoAcesso aberto
2019Scalable eventually consistent counters over unreliable networksAlmeida, Paulo Sérgio; Baquero, CarlosArtigoAcesso aberto
2015Reusing models and properties in the analysis of similar interactive devicesHarrison, Michael D.; Campos, J. Creissac; Masci, PaoloArtigoAcesso aberto
2011The role of coordination analysis in software integration projectsRodrigues, Nuno F.; Oliveira, Nuno; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2009Constructive and destructive use of compilers in elliptic curve cryptographyBarbosa, Manuel; Moss, Andrew; Page, DanArtigoAcesso aberto
Mai-2005Recursion patterns and time-analysisBarbosa, Manuel; Cunha, Alcino; Pinto, Jorge SousaArtigoAcesso aberto
1-10 de um total de 189 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir