Collection's Items (Sorted by Submit Date in Descending order): 61 to 80 of 695
| Issue Date | Title | Author(s) |
| 27-Mar-2020 | Provendo garantias de confidencialidade e integridade da informação para aplicações publicar/assinar. | SILVA, Fábio Fernando de Oliveira. |
| 3-Feb-2020 | Avaliação de métodos de similaridade textual no contexto de investigação policial. | MARQUES JUNIOR, Antonio Ricardo. |
| 26-Oct-2018 | Feedback dos alunos sobre a qualidade de código-fonte para apoiar o aprendizado de introdução à programação. | ANDRADE, José Raul de Brito. |
| 19-Aug-2019 | Investigando o impacto da evolução de casos de uso em testes gerados no contexto de teste baseado em modelo. | SILVA, Anderson Gustafson Freire da. |
| 25-Nov-2019 | Automação de feedback para melhorar a nomeação de identificadores de alunos. | NASCIMENTO, Marcos Antônio Silva. |
| 28-Feb-2020 | Fusão-solidificação de um material de mudança de fase aplicado em um sistema de armazenamento de energia térmica: modelagem e simulação. | PORTO, Túlio Rafael Nascimento. |
| 9-Dec-2019 | Uma abordagem para classificar bugs sob a perspectiva de máquina de estados. | LIMA, Melquisedec Albert Einstein de Andrade. |
| 22-Dec-1987 | Um simulador para avaliação de desempenho de redes locais. | CAUPER FILHO, Antonio. |
| Sep-2013 | Sistema semiautomático de reconhecimento de identidade vocal forense. | MOREIRA, Danilo Coura. |
| 1-Mar-2013 | Uma abordagem para análise estática automática de procedimentos armazenados em bancos de dados. | NASCIMENTO FILHO, Dimas Cassimiro do. |
| 2-Feb-2005 | Especificação e implementação de componentes para modelar redes locais sem fio ad hoc padrão IEEE 802.11. | SOUTO, Leidjane Matos de. |
| 2-Sep-2009 | Uma heurística de escalonamento adaptativa à disponibilidade da informação para aplicações bag-of-tasks data-intensive em grids computacionais. | ASSIS, Leonardo de. |
| 27-Feb-2008 | Análise probabilística de impacto de mudanças baseada em históricos de mudanças do software. | HATTORI, Lile Palma. |
| 19-Feb-2004 | Aprendizagem e recuperação de imagens utilizando mapas auto-organizáveis e representação log-polar. | BATISTA, Luana Bezerra. |
| 30-Aug-2000 | Um sistema tutor multiagentes no domínio de redes de petri. | GÓIS, Gustavo Meneses. |
| 21-Jul-2004 | Uma ferramenta para projeto e simulação de circuitos quânticos. | CABRAL, Gustavo Eulálio Miranda. |
| 20-Feb-1990 | Uma ferramenta para a definição e verificação de regras de integridade em banco de dados. | DRUMOND, Gabriela Ferreira. |
| Dec-2005 | Convertendo recursos compartilhados no espaço em recursos intermitentes. | COSTA, Lauro Beltrão. |
| 17-Jun-2010 | Modelagem e descrição formal das fontes do direito como infraestrutura de um sistema de gerenciamento de conhecimento legal. | FREITAS, Halley Ferreira Solano de. |
| 29-Aug-2008 | Análise de mutação aplicada à verificação funcional de IP core. | CUNHA, Henrique do Nascimento. |
Collection's Items (Sorted by Submit Date in Descending order): 61 to 80 of 695
