Ambiente visual para o desenvolvimento de programas paralelos de tempo-real (Visua...
Gerador de programas para o ambiente visual de desenvolvimento de programas parale...
Programação lógica paraconsistente baseada em Lógicas da Inconsistência Formal
Memória Transacional Distribuída e Modelos Eficientes de Distribuição de Dados par...
Processos de decisão markovianos especificados com programação lógica probabilísti...
Combinando transformações de computação e de dados para arquiteturas reconfiguráve...
Inserção da técnica de modelagem redes de filas em um Ambiente de Simulação Distri...