31/10/2002 |
Implementações de tableaux para raciocínio por aproximações
|
Wagner Dias
Autoria
|
Marcelo Finger |
Mestrado |
30/09/2002 |
Um estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-Calculus
|
Lucy Mari Tabuti
Autoria
|
Ana Cristina Vieira de Melo |
Mestrado |
09/08/2002 |
Desenvolvimento e comparação de dois protocolos para multicast atômico em computação móvel
|
Mateus de Freitas Ribeiro
Autoria
|
Markus Endler |
Mestrado |
23/07/2002 |
Projeto de operadores morfológicos multi-escala por otimização estatística
|
Marcel Brun
Autoria
|
Junior Barrera |
Doutorado Direto |
04/07/2002 |
CCICLO: Componente para cruzamento e integração de objetos classificados
|
Luciano Vieira de Araújo
Autoria
|
João Eduardo Ferreira |
Mestrado |
01/07/2002 |
Um modelo de capacidades formais para cooperação mediada entre sistemas baseados em conhecimento
|
Eudenia Xavier Meneses
Autoria
|
Flavio Soares Correa da Silva |
Mestrado |
27/06/2002 |
Laboratório de geração de classificadores de sequências
|
Ariane Machado Lima
Autoria
|
Alan Mitchell Durham |
Mestrado |
28/05/2002 |
Planejamento abdutivo no cálculo de eventos
|
Silvio do Lago Pereira
Autoria
|
Leliane Nunes de Barros |
Mestrado |
22/05/2002 |
Automorfismos de grafos
|
Eduardo Tengan
Autoria
|
Arnaldo Mandel |
Mestrado |
17/05/2002 |
Uma implementação do protocolo TLS com um algoritmo de criptografia forte
|
Isvi Correa Junior
Autoria
|
Routo Terada |
Mestrado |
10/05/2002 |
Árvores k-restritas e aproximações para o problema de steiner em grafos
|
Eduardo Kazuaki Gondo
Autoria
|
Cristina Gomes Fernandes |
Mestrado |
10/05/2002 |
"Classificação dos domínios transacionais e analíticos para avaliação de alternativas de sincronismo em projetos de Data Warehouse".
|
Isabel Cristina Italiano
Autoria
|
João Eduardo Ferreira |
Mestrado |
07/05/2002 |
Criptografia - Uma implementação do protocolo de micropagamento PayWord
|
João Carlos Néto
Autoria
|
Routo Terada |
Mestrado |
10/04/2002 |
"Arquiteturas de Componentização de Servidores como Integradoras de Bancos de Dados Distribuídos".
|
Myrthes Cavalcante de Aguiar
Autoria
|
Francisco Carlos da Rocha Reverbel |
Mestrado |
21/03/2002 |
Algoritmos para caminhos mínimos
|
Shigueo Isotani
Autoria
|
Jose Coelho de Pina Junior |
Mestrado |
14/03/2002 |
"Visões em arquitetura de software".
|
Ane Cristina Varoto
Autoria
|
Hernan Enrique Astudillo Rojas |
Mestrado |
13/03/2002 |
Uma taxonomia da pesquisa na área de engenharia de requisitos
|
Paulo Sérgio Naddeo Dias Lopes
Autoria
|
Hernan Enrique Astudillo Rojas |
Mestrado |
28/02/2002 |
"Identificação de sistemas dinâmicos finitos: aplicações para a modelagem de redes genéticas"
|
Nestor Walter Trepode
Autoria
|
Junior Barrera |
Mestrado |
23/01/2002 |
Algoritmos para predição da estrutura secundária do RNA
|
Luiz Carlos da Silva Rozante
Autoria
|
Jose Augusto Ramos Soares |
Mestrado |
18/12/2001 |
Uma infra-estrutura para migração de objetos CORBA implementados em java
|
Helves Humberto Domingues
Autoria
|
Francisco Carlos da Rocha Reverbel |
Mestrado |