Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 127 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
Jan-2014SABS : Spark ABStraction - A TutorialMiraldo, Victor CacciariRelatórioAcesso aberto
2012A case study on model checking and deductive verification techniques of safety-critical softwareSilva, Rovedy Aparecida Busquim e; Oliveira, José Manuel Parente de; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2015Layers, resources and property templates in the specification and analysis of two interactive systemsCampos, José C.; Curzon, Paul; Masci, Paolo; Harrison, Michael douglasArtigo em ata de conferênciaAcesso aberto
2013Sensorization and intelligent systems in energetic sustainable environmentsSilva, Fábio; Analide, Cesar; Neves, José; Marques, José; Cuevas, DavidArtigo em ata de conferênciaAcesso aberto
2016HEP-Frame: A software engineered framework to aid the development and efficient multicore execution of scientific codePereira, André Martins; Onofre, A.; Proença, Alberto JoséArtigo em ata de conferênciaAcesso aberto
Jan-2015Handling default data under a case-based reasoning approachFernandes, Bruno; Freitas, Mauro; Analide, Cesar; Vicente, Henrique; Neves, JoséArtigo em ata de conferênciaAcesso aberto
2015An ORCID based synchronization framework for a national CRIS ecosystemMoreira, João Mendes; Cunha, Alcino; Macedo, Nuno Filipe MoreiraArtigoAcesso aberto
2013Ambient sensorization for the furtherance of sustainabilitySilva, Fábio; Analide, Cesar; Rosa, Luís; Felgueiras, Gilberto; Pimenta, CedricArtigo em ata de conferênciaAcesso aberto
2014Rapid development of first person serious games using the APEX platform: the asthma gameGomes, Tiago; Abade, Tiago; Campos, J. Creissac; Harrison, Michael D.; Silva, José Luís CardosoArtigo em ata de conferênciaAcesso aberto
2014Improving stability in QoS routing for ad-hoc networksCoelho, Tiago; Costa, António; Macedo, Joaquim; Nicolau, Maria JoãoArtigo em ata de conferênciaAcesso restrito UMinho
1-10 de um total de 127 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir