14/11/2003 |
Sistemas de localização dinâmica de serviços em ambientes de computação móvel
|
Leonardo Marques Alves de Pinho
Autoria
|
Alfredo Goldman Vel Lejbman |
Mestrado |
22/08/2003 |
Consultas sobre "aqui" em sistemas de bancos de dados em ambientes de computação nômade
|
Eugênio Akihiro Nassu
Autoria
|
Marcelo Finger |
Doutorado |
21/08/2003 |
Alinhamento de sequências biológicas
|
Rogério Theodoro de Brito
Autoria
|
Jose Augusto Ramos Soares |
Mestrado |
21/08/2003 |
Analisador sintático estatístico orientado ao núcleo-léxico para a língua portuguesa
|
Fabiano de Carvalho e Sousa
Autoria
|
Marcelo Finger |
Mestrado |
15/08/2003 |
Um serviço para grupos de objetos com consistência relaxada
|
Marcelo Brito dos Santos
Autoria
|
Markus Endler |
Mestrado |
14/08/2003 |
Análise de formas representadas por marcos utilizando características mono e multiescala
|
Celina Maki Takemura
Autoria
|
Roberto Marcondes Cesar Junior |
Mestrado |
11/08/2003 |
Componentes CORBA
|
Alexandre Ricardo Nardi
Autoria
|
Francisco Carlos da Rocha Reverbel |
Mestrado |
07/08/2003 |
Algoritmos primal-duais
|
Ana Lucia Lima Marreiros Maia
Autoria
|
Jose Coelho de Pina Junior |
Mestrado |
01/08/2003 |
Topologia de espaços de estados em planejamento com váriaveis numéricas
|
Aldebaran Perseke
Autoria
|
Leliane Nunes de Barros |
Mestrado |
06/06/2003 |
Cache comprimido adaptativo: estudo, projeto e implementação
|
Rodrigo Souza de Castro
Autoria
|
Alair Pereira do Lago |
Mestrado |
09/05/2003 |
Análise experimental de algoritmos de planaridade
|
Alexandre Noma
Autoria
|
Cristina Gomes Fernandes |
Mestrado |
30/04/2003 |
Uma biblioteca para a simulação de protocolos de entrega de mensagens em redes móveis
|
Weslley Emmanuel Martins Lima
Autoria
|
Alan Mitchell Durham |
Mestrado |
11/04/2003 |
Implementação e análise comparativa de variações do criptossistema rsa
|
Cesar Alison Monteiro Paixão
Autoria
|
Routo Terada |
Mestrado |
10/04/2003 |
Sistemas modais de conhecimento
|
Flavio Shigeo Yamamoto
Autoria
|
Ricardo Bianconi |
Mestrado |
04/04/2003 |
Uma técnica de verificação para π-calculus baseada em bi-simulação <i>up-to</i> e algoritmos de particionamento
|
Marcelo de Moura Amorim
Autoria
|
Ana Cristina Vieira de Melo |
Mestrado |
25/03/2003 |
Configuração automática de sistemas na plataforma enterprise javabeans
|
Herbert Yutaka Watanabe
Autoria
|
Fabio Kon |
Mestrado |
20/03/2003 |
Maximização de entropia em linguística computacional para a língua portuguesa
|
Archias Alves de Almeida Filho
Autoria
|
Marcelo Finger |
Mestrado |
20/03/2003 |
Uso de redes bayesianas no gerenciamento de manutenção de software
|
Adilson de Jesus Sanchez
Autoria
|
Ana Cristina Vieira de Melo |
Mestrado |
18/03/2003 |
Algoritmos paralelos de granularidade grossa em grafos bipartidos convexos
|
Marco Aurélio Stefanes
Autoria
|
Jose Augusto Ramos Soares |
Doutorado |
17/03/2003 |
Estratégias de hand-off com balanceamento de carga para computação móvel
|
Alessandro Santiago dos Santos
Autoria
|
Alfredo Goldman Vel Lejbman |
Mestrado |