Showing 1 - 20 results of 32 for search 'Alvaro Freitas', query time: 0.60s Refine Results
  1. 1
    An AutomationML Based Ontology for Sensor Fusion in Industrial Plants
    Get full text
    Article
  2. 2
    An asynchronous algorithm to improve scheduling quality in the multiagent simple temporal problem
    by Antoni, Vinicius de
    Published 2014
    Other Authors: “...Moreira, Alvaro Freitas...”
    Get full text
    Others
  3. 3
    Implementação e avaliação da técnica ACCE para detecção e correção de erros de fluxo de controle no LLVM
    by Parizi, Rafael Baldiati
    Published 2013
    Other Authors: “...Moreira, Alvaro Freitas...”
    Get full text
    Others
  4. 4
    Formalização do processo de tradução de consultas em ambientes de integração de dados XML
    by Alves, Willian Bruno Gomes
    Published 2009
    Other Authors: “...Moreira, Alvaro Freitas...”
    Get full text
    Others
  5. 5
    Geração automática e assistida de interfaces de usuário
    by Mrack, Marcelo
    Published 2012
    Other Authors: “...Moreira, Alvaro Freitas...”
    Get full text
    Others
  6. 6
    FITT : fault injection test tool to validate safety communication protocols
    by Dobler, Rodrigo Jaureguy
    Published 2016
    Other Authors: “...Moreira, Alvaro Freitas...”
    Get full text
    Others
  7. 7
    Detecção e proteção de blocos básicos suscetíveis através da análise sistemática de single bit-flip
    by Rodrigues, Diego Gonçalves
    Published 2015
    Other Authors: “...Moreira, Alvaro Freitas...”
    Get full text
    Others
  8. 8
    Týr : a dependent type based code transformation for spatial memory safety in LLVM
    Other Authors: “...Moreira, Alvaro Freitas...”
    Get full text
    Others
  9. 9
    Formalização do processo de tradução de consultas em ambientes de integração de dados XML
    by Alves, Willian Bruno Gomes
    Published 2009
    Other Authors: “...Moreira, Alvaro Freitas...”
    Get full text
    Others
  10. 10
    Geração automática e assistida de interfaces de usuário
    by Mrack, Marcelo
    Published 2012
    Other Authors: “...Moreira, Alvaro Freitas...”
    Get full text
    Others
  11. 11
    Semântica formal para TVQL
    by Machado, Rodrigo
    Published 2007
    Other Authors: “...Moreira, Alvaro Freitas...”
    Get full text
    Others
  12. 12
    Identificação de nomes ativos em agentes-π baseada em tipos
    by Nascimento, Gleison Samuel do
    Published 2007
    Other Authors: “...Moreira, Alvaro Freitas...”
    Get full text
    Others
  13. 13
    Identificação de nomes ativos em agentes-π baseada em tipos
    by Nascimento, Gleison Samuel do
    Published 2007
    Other Authors: “...Moreira, Alvaro Freitas...”
    Get full text
    Others
  14. 14
    Semântica formal para TVQL
    by Machado, Rodrigo
    Published 2007
    Other Authors: “...Moreira, Alvaro Freitas...”
    Get full text
    Others
  15. 15
    Choices that make you chnage your mind : a dynamic epistemic logic approach to the semantics of BDI agent programming languages
    Other Authors: “...Moreira, Alvaro Freitas...”
    Get full text
    Others
  16. 16
    FITT : fault injection test tool to validate safety communication protocols
    by Dobler, Rodrigo Jaureguy
    Published 2016
    Other Authors: “...Moreira, Alvaro Freitas...”
    Get full text
    Others
  17. 17
    An asynchronous algorithm to improve scheduling quality in the multiagent simple temporal problem
    by Antoni, Vinicius de
    Published 2014
    Other Authors: “...Moreira, Alvaro Freitas...”
    Get full text
    Others
  18. 18
    Detecção e proteção de blocos básicos suscetíveis através da análise sistemática de single bit-flip
    by Rodrigues, Diego Gonçalves
    Published 2015
    Other Authors: “...Moreira, Alvaro Freitas...”
    Get full text
    Others
  19. 19
    Implementação e avaliação da técnica ACCE para detecção e correção de erros de fluxo de controle no LLVM
    by Parizi, Rafael Baldiati
    Published 2013
    Other Authors: “...Moreira, Alvaro Freitas...”
    Get full text
    Others
  20. 20
    Týr : a dependent type based code transformation for spatial memory safety in LLVM
    Other Authors: “...Moreira, Alvaro Freitas...”
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search