Redes Ubíquas Avançadas Luís Henrique Maciel Kosmalski Costa Depto. de Eletrônica e de Computação - Escola Politécnica Programa de Engenharia.

Slides:



Advertisements
Apresentações semelhantes
Redes de Computadores - RC
Advertisements

Redes Sem Fio e Comunicação Móvel
TOPOLOGIAS DE REDE A topologia de uma rede de comunicação, refere-se à forma como os enlaces físicos existentes e os nós de uma comutação estão organizados,
Apresentação Turma: 2IA Período: Matutino Tempo previsto: 15 minutos
Placas de Rede Wireless
Portes de computadores
Redes de Computadores e Sistemas Distribuídos
DISCIPLINA: Introdução à Computação
Peer to Peer Referência:
Wireless Mesh Networks: A Survey
Introdução Ligações inter-redes.
Plano de Estudo e Pesquisa
Prof. Marcelo Diniz Fonte:
Professor Victor Sotero
Fundamento à Informática
Oficina de Pesquisa na Rede
Conectividade Prof. Elvis Canteri de Andrade
Redes de computadores Prof. António dos Anjos
Estrutura de Redes Prof. Samuel Souza.
WIRELESS Diogo Ferreira de Paula Oliveira
Universidade do Vale do Rio dos Sinos - São Leopoldo -
Metro Ethernet Aluno: Igor do Valle Campbell
Modelo de referência OSI
Ferramentas para Gerência de Redes Virtuais Xen, OpenFlow e Híbrida
Carlos Eduardo Calvente Ribeiro Universidade Federal do Rio de Janeiro
ZigBee Por: Thiago Soares de Carvalho
Redes Domiciliares Alunos: Thales de Assis Carvalho
Edimar Babilon Pedro Figueiredo Thiago Ferraz Vanessa Marques
Segurança em Smart Grid
Leonardo Antunes Redes 2 – UFRJ -2010/2.
Vehicular Ad-hoc Network Aluno: Sillas Labarba Maciel Moreira
HYMAD: Hybrid DTN-MANET routing for dense and highly dynamic wireless networks Autores: John Whitbeck e Vania Conan Apresentação: Glauco Fiorott Amorim.
Infra-estrutura de TI Redes de Computadores
REDES DE COMPUTADORES Prof. Deivson
Redes de Computadores.
WiMax Worldwide Interoperability for Microwave Access ou Interoperabilidade Mundial para Acesso por Microonda.
Streaming de vídeo em Redes P2P
Laboratório de P&D&I em Computação Móvel e Design.
Redes De Sensores Sem Fio
Introdução a redes Wireless
Técnico em Informática
Adriano Antunes Prates Igor Monteiro Moraes
Sistemas Distribuídos Estrutura de Redes
Introdução aos Protocolos de Roteamento Dinâmico
Aula 5 Redes de Computadores – Parte 2
- Desafios e Oportunidades de Pesquisa -
Vanet´s – Vehicular Adhoc Networks
Sistema de Redes 1 Componentes Principais de uma Rede de Computadores Topologia Tipo de redes FAETEC SR1.
Subcamada de Controle de Acesso ao Meio
Rodrigo José de Morais Nabais
Rio de Janeiro, Agosto de Carina Teixeira de Oliveira CPE Roteamento em Redes de Computadores Prof. Luís Henrique M. K. Costa Ad Hoc On-Demand.
A Cooperative Vehicular Network Framework Apresentador: Caio Ruan Nichele Curitiba 25 de Novembro de 2009 Uma Estrutura Cooperativa de Rede Veicular Oscar.
Aluno: Bernardo Rodrigues Santos
Roteamento Baseado em Crédito/Punição Rafael dos Santos Alves.
ALFREDO NETO DANIEL THEODORO DANILO ARAÚJO MÁRCIO SOUSA SANTOS MARCUS VINICIUS B. VIEIRA.
Colégio Agrícola “José Bonifácio” Redes – Classificação de redes de computadores Prof. Carlos Eduardo Caraski.
Rede de Computadores MATA59 – Redes de Computadores I Universidade Federal da Bahia Instituto de Matemática Departamento de Ciência da Computação.
IEEE (WLAN) Camada Física João Paulo Martins de França.
Trabalho da Disciplina Redes II
Meios de transmissão e componentes de redes e BackBones
Thiago da Silva Souza Redes de Computadores II Engenharia da Computação e Informação / DEL Professores: Luis Henrique Maciel Kosmalski Costa Otto Carlos.
Redes de Computadores Introdução às Redes de Computadores.
Suburban Ad-Hoc Network (SAHN) Felipe Ortigão Sampaio Buarque Schiller Universidade Federal do Rio de Janeiro Grupo de Teleinformática e Automação (GTA)
SrcRR Rafael Lopes Bezerra Universidade Federal do Rio de Janeiro COPPE - UFRJ CPE Roteamento em Redes de Computadores.
Redes de Sensores sem Fio
MIMO “Multiple Input Multiple Output” Múltiplas Entradas e Múltiplas Saídas João Luiz Reis Ferreira 6º período Engenharia de Computação e Informação.
Escola Politécnica da USP abril de 2013 PTC 2550 – Redes de Comunicação De Dados e P1 Transporte Multimídia PTC 2550 – Redes de Comunicação De Dados e.
Directed Diffusion Universidade Federal do Rio de Janeiro Grupo de Teleinformática e Automação CPE Roteamento em Redes de Computadores Danilo Michalczuk.
Arquitetura em Camadas
Análise de protocolos de Roteamento em redes AD HOC Jerônimo Feijó Noble da Rosa Faculdade de Tecnologia SENAC Pelotas/RS Curso Superior de Tecnologia.
Transcrição da apresentação:

Redes Ubíquas Avançadas Luís Henrique Maciel Kosmalski Costa Depto. de Eletrônica e de Computação - Escola Politécnica Programa de Engenharia Elétrica - COPPE Apoio: CNPq, CAPES, FAPERJ e FUJB.

Grupo de Teleinformática e Automação Professores/Pesquisadores Professores/Pesquisadores Aloysio de Castro Pinto Pedroza Aloysio de Castro Pinto Pedroza Jorge Lopes de Souza Leão Jorge Lopes de Souza Leão José Ferreira de Rezende José Ferreira de Rezende Luís Henrique Maciel Kosmalski Costa Luís Henrique Maciel Kosmalski Costa Otto Carlos Muniz Bandeira Duarte Otto Carlos Muniz Bandeira Duarte 14 alunos de Doutorado 14 alunos de Doutorado 12 alunos de Mestrado 12 alunos de Mestrado 12 alunos de Iniciação Científica 12 alunos de Iniciação Científicahttp:// Professores/Pesquisadores Professores/Pesquisadores Aloysio de Castro Pinto Pedroza Aloysio de Castro Pinto Pedroza Jorge Lopes de Souza Leão Jorge Lopes de Souza Leão José Ferreira de Rezende José Ferreira de Rezende Luís Henrique Maciel Kosmalski Costa Luís Henrique Maciel Kosmalski Costa Otto Carlos Muniz Bandeira Duarte Otto Carlos Muniz Bandeira Duarte 14 alunos de Doutorado 14 alunos de Doutorado 12 alunos de Mestrado 12 alunos de Mestrado 12 alunos de Iniciação Científica 12 alunos de Iniciação Científicahttp://

Introdução Redes Sem Fio Redes Sem Fio Mobilidade Mobilidade Baixo custo de infra-estrutura Baixo custo de infra-estrutura Redes Sem Fio Redes Sem Fio Mobilidade Mobilidade Baixo custo de infra-estrutura Baixo custo de infra-estrutura Ubiqüidade Ubiqüidade Em qualquer lugar Em qualquer lugar A qualquer momento A qualquer momento

Em casa: Redes Domésticas Acesso à Internet Acesso à Internet Em todos os cômodos Em todos os cômodos Em vários aparelhos Em vários aparelhos Sensores Sensores o Segurança o Conforto Em várias mídias Em várias mídias o Cabeamento telefônico, elétrico (baixo custo) Acesso à Internet Acesso à Internet Em todos os cômodos Em todos os cômodos Em vários aparelhos Em vários aparelhos Sensores Sensores o Segurança o Conforto Em várias mídias Em várias mídias o Cabeamento telefônico, elétrico (baixo custo)

Na cidade: Redes em Malha Sem Fio Extensão da Internet convencional Extensão da Internet convencional Cenários de aplicação Cenários de aplicação Campi universitários Campi universitários Redes comunitárias Redes comunitárias Extensão da Internet convencional Extensão da Internet convencional Cenários de aplicação Cenários de aplicação Campi universitários Campi universitários Redes comunitárias Redes comunitárias

Redes em Malha Sem Fio Backbone formado por roteadores sem fio Backbone formado por roteadores sem fio Encaminhamento por múltiplos saltos Encaminhamento por múltiplos saltos Alta conectividade Alta conectividade Meio compartilhado Meio compartilhado o Controle de acesso ao meio Backbone formado por roteadores sem fio Backbone formado por roteadores sem fio Encaminhamento por múltiplos saltos Encaminhamento por múltiplos saltos Alta conectividade Alta conectividade Meio compartilhado Meio compartilhado o Controle de acesso ao meio

Desafios das Redes em Malha Capacidade de transmissão limitada Capacidade de transmissão limitada Interferência Interferência Escalabilidade Escalabilidade Capacidade de transmissão limitada Capacidade de transmissão limitada Interferência Interferência Escalabilidade Escalabilidade

Wireless Proactive Routing (WPR) Redução da sobrecarga de controle Redução da sobrecarga de controle Particularidades da Rede em Malha Particularidades da Rede em Malha o Roteadores estacionários o Tráfego concentrado na direção do gateway Topologia semelhante a uma árvore Topologia semelhante a uma árvore Redução da sobrecarga de controle Redução da sobrecarga de controle Particularidades da Rede em Malha Particularidades da Rede em Malha o Roteadores estacionários o Tráfego concentrado na direção do gateway Topologia semelhante a uma árvore Topologia semelhante a uma árvore

Algoritmo de Inundação Controlada Idéia chave Idéia chave Concentrar as mensagens de roteamento nos enlaces mais usados Concentrar as mensagens de roteamento nos enlaces mais usados Nó i Nó i Encaminha mensagens dos ascendentes (A i ) e descendentes (D i ) Encaminha mensagens dos ascendentes (A i ) e descendentes (D i ) Idéia chave Idéia chave Concentrar as mensagens de roteamento nos enlaces mais usados Concentrar as mensagens de roteamento nos enlaces mais usados Nó i Nó i Encaminha mensagens dos ascendentes (A i ) e descendentes (D i ) Encaminha mensagens dos ascendentes (A i ) e descendentes (D i ) AiAi Nó i

Algoritmo de Inundação Controlada DiDi Nó i Idéia chave Idéia chave Concentrar as mensagens de roteamento nos enlaces mais usados Concentrar as mensagens de roteamento nos enlaces mais usados Nó i Nó i Encaminha mensagens dos ascendentes (A i ) e descendentes (D i ) Encaminha mensagens dos ascendentes (A i ) e descendentes (D i ) Idéia chave Idéia chave Concentrar as mensagens de roteamento nos enlaces mais usados Concentrar as mensagens de roteamento nos enlaces mais usados Nó i Nó i Encaminha mensagens dos ascendentes (A i ) e descendentes (D i ) Encaminha mensagens dos ascendentes (A i ) e descendentes (D i )

No carro: Redes Veiculares Reprodução do Car-to-Car Consortium ( Comunicação Comunicação Entre veículos (V2V – vehicle to vehicle) Entre veículos (V2V – vehicle to vehicle) Entre veículos e infra-estrutura (V2R – vehicle to roadside) Entre veículos e infra-estrutura (V2R – vehicle to roadside) Comunicação Comunicação Entre veículos (V2V – vehicle to vehicle) Entre veículos (V2V – vehicle to vehicle) Entre veículos e infra-estrutura (V2R – vehicle to roadside) Entre veículos e infra-estrutura (V2R – vehicle to roadside)

Redes Veiculares Aplicações Aplicações Segurança Segurança Conveniência Conveniência Com infra-estrutura Com infra-estrutura Sem infra-estrutura Sem infra-estrutura Redes ad hoc veiculares (VANETs – Vehicular Ad Hoc Networks) Redes ad hoc veiculares (VANETs – Vehicular Ad Hoc Networks) Aplicações Aplicações Segurança Segurança Conveniência Conveniência Com infra-estrutura Com infra-estrutura Sem infra-estrutura Sem infra-estrutura Redes ad hoc veiculares (VANETs – Vehicular Ad Hoc Networks) Redes ad hoc veiculares (VANETs – Vehicular Ad Hoc Networks)

VANETs Desafios Desafios Alta mobilidade dos nós Alta mobilidade dos nós Tempo de contato Tempo de contato Comunicação por múltiplos saltos Comunicação por múltiplos saltos o Quebra de conexões Soluções propostas Soluções propostas Novos padrões, p. ex. IEEE p Novos padrões, p. ex. IEEE p Protocolos de roteamento Protocolos de roteamento Desafios Desafios Alta mobilidade dos nós Alta mobilidade dos nós Tempo de contato Tempo de contato Comunicação por múltiplos saltos Comunicação por múltiplos saltos o Quebra de conexões Soluções propostas Soluções propostas Novos padrões, p. ex. IEEE p Novos padrões, p. ex. IEEE p Protocolos de roteamento Protocolos de roteamento

Vehicular Peer Selection Algorithm (Veer) Aplicação-alvo Aplicação-alvo Sistemas par-a-par (P2P) de transferência de arquivos Sistemas par-a-par (P2P) de transferência de arquivos Estratégia Estratégia Agendar transferências Agendar transferências Evitar quebras de conexões Evitar quebras de conexões Cenário Cenário Trajetórias conhecidas Trajetórias conhecidas Resultados Resultados Aumento da taxa de entrega de dados Aumento da taxa de entrega de dados Aplicação-alvo Aplicação-alvo Sistemas par-a-par (P2P) de transferência de arquivos Sistemas par-a-par (P2P) de transferência de arquivos Estratégia Estratégia Agendar transferências Agendar transferências Evitar quebras de conexões Evitar quebras de conexões Cenário Cenário Trajetórias conhecidas Trajetórias conhecidas Resultados Resultados Aumento da taxa de entrega de dados Aumento da taxa de entrega de dados

Medidas Experimentais Estudo de viabilidade das VANETs Estudo de viabilidade das VANETs Equipamentos convencionais Equipamentos convencionais Laptop no colo Laptop no colo Placas de rede IEEE PCMCIA Placas de rede IEEE PCMCIA Sem antena externa Sem antena externa Equipamentos convencionais Equipamentos convencionais Laptop no colo Laptop no colo Placas de rede IEEE PCMCIA Placas de rede IEEE PCMCIA Sem antena externa Sem antena externa

Cenário Ilha do Fundão (UFRJ) Ilha do Fundão (UFRJ) Pouco tráfego Pouco tráfego (a maior parte do tempo) (a maior parte do tempo) Ilha do Fundão (UFRJ) Ilha do Fundão (UFRJ) Pouco tráfego Pouco tráfego (a maior parte do tempo) (a maior parte do tempo)

Cenário Veículos viajando em direções opostas Veículos viajando em direções opostas Velocidade constante Velocidade constante Veículos viajando em direções opostas Veículos viajando em direções opostas Velocidade constante Velocidade constante

Resultados Experimentais Velocidades maiores Velocidades maiores Contatos mais curtos Contatos mais curtos Adaptações necessárias Adaptações necessárias IEEE IEEE TCP TCP Velocidades maiores Velocidades maiores Contatos mais curtos Contatos mais curtos Adaptações necessárias Adaptações necessárias IEEE IEEE TCP TCP Quantidade total de dados transferidos em um contato, em média, usando UDP e IEEE g. VelocidadeTamanho do pacote de dados 150 Bytes500 Bytes1460 Bytes 20 km/h4,9 MB σ = 0,9 MB9,2 MB σ = 1,2 MB10,8 MB σ = 3,4 MB 40 km/h1,9 MB σ = 0,4 MB4,6 MB σ = 0,5 MB4,8 MB σ = 1,7 MB 60 km/h1,6 MB σ = 0,4 MB3,5 MB σ = 1,1 MB2,8 MB σ = 1,7 MB

Direções Futuras em VANETs Medidas experimentais Medidas experimentais Aplicações P2P são viáveis Aplicações P2P são viáveis Outras aplicações Outras aplicações Jogos Jogos Gerenciamento de tráfego Gerenciamento de tráfego Prevenção de acidentes Prevenção de acidentes Medidas experimentais Medidas experimentais Aplicações P2P são viáveis Aplicações P2P são viáveis Outras aplicações Outras aplicações Jogos Jogos Gerenciamento de tráfego Gerenciamento de tráfego Prevenção de acidentes Prevenção de acidentes......

Em lugares ermos: DTNs Redes Tolerantes a Atrasos e Desconexões (DTNs - Delay and Disruption Tolerant Networks) Redes Tolerantes a Atrasos e Desconexões (DTNs - Delay and Disruption Tolerant Networks) Cenários desafiadores Cenários desafiadores Conexão intermitente Conexão intermitente Ausência de caminho fim-a-fim Ausência de caminho fim-a-fim Longos atrasos de propagação Longos atrasos de propagação Redes Tolerantes a Atrasos e Desconexões (DTNs - Delay and Disruption Tolerant Networks) Redes Tolerantes a Atrasos e Desconexões (DTNs - Delay and Disruption Tolerant Networks) Cenários desafiadores Cenários desafiadores Conexão intermitente Conexão intermitente Ausência de caminho fim-a-fim Ausência de caminho fim-a-fim Longos atrasos de propagação Longos atrasos de propagação

Cenários de DTNs Conectividade intermitente Conectividade intermitente Ausência de um caminho fim-a-fim Rede A Rede B

Cenários de DTNs Conectividade intermitente Conectividade intermitente 200 km Quiosque Internet

Cenários de DTNs Atrasos de propagação (muito) longos Atrasos de propagação (muito) longos Redes interplanetárias Redes interplanetárias Atrasos de propagação (muito) longos Atrasos de propagação (muito) longos Redes interplanetárias Redes interplanetárias Terra Vênus Júpiter Marte Sol Distância do Sol Vênus0,72UA Terra1UA Marte1,52UA Júpiter5,20UA Unidade Astronômica (UA) = km Velocidade da luz = Km/s ~ ~ Terra – Júpiter Distância Máxima = 6,20UA 51 min Distância Mínima = 4,20UA 35 min

Em Direção à Internet Ubíqua Redes sem fio Redes sem fio Mobilidade Mobilidade Baixo custo Baixo custo Desafio: Robustez Desafio: Robustez Falha dos nós Falha dos nós Escalabilidade Escalabilidade Interferências Interferências Conexões intermitentes Conexões intermitentes Grandes atrasos Grandes atrasos Redes sem fio Redes sem fio Mobilidade Mobilidade Baixo custo Baixo custo Desafio: Robustez Desafio: Robustez Falha dos nós Falha dos nós Escalabilidade Escalabilidade Interferências Interferências Conexões intermitentes Conexões intermitentes Grandes atrasos Grandes atrasos

Referências Redes em Malha Redes em Malha Campista, M. E. M., Passos, D. G., Esposito, P. M., Moraes, I. M., de Albuquerque, C. V. N., Saade, D. C. M., Rubinstein, M. G., Costa, L. H. M. K., and Duarte, O. C. M. B. - "Routing Metrics and Protocols for Wireless Mesh Networks", in IEEE Network, ISSN , vol. 22, no. 1, pp. 6-12, January Campista, M. E. M., Passos, D. G., Esposito, P. M., Moraes, I. M., de Albuquerque, C. V. N., Saade, D. C. M., Rubinstein, M. G., Costa, L. H. M. K., and Duarte, O. C. M. B. - "Routing Metrics and Protocols for Wireless Mesh Networks", in IEEE Network, ISSN , vol. 22, no. 1, pp. 6-12, January Campista, M. E. M., Costa, L. H. M. K., and Duarte, O. C. M. B. - "WPR: Um Protocolo de Roteamento Pró-ativo Adaptado às Redes em Malha Sem Fio", to appear in XXVI Simpósio Brasileiro de Redes de Computadores - SBRC'2008, Rio de Janeiro, RJ, Brazil, May Campista, M. E. M., Costa, L. H. M. K., and Duarte, O. C. M. B. - "WPR: Um Protocolo de Roteamento Pró-ativo Adaptado às Redes em Malha Sem Fio", to appear in XXVI Simpósio Brasileiro de Redes de Computadores - SBRC'2008, Rio de Janeiro, RJ, Brazil, May Redes Veiculares Redes Veiculares Cavalcanti, S. R., Campista, M. E. M., Abdesslem, F. B., Costa, L. H. M. K., and Amorim, M. D. - "VEER: Um Algoritmo de Seleção de Pares em Redes Ad Hoc Veiculares", to appear in XXVI Simpósio Brasileiro de Redes de Computadores - SBRC'2008, Rio de Janeiro, RJ, Brazil, May Cavalcanti, S. R., Campista, M. E. M., Abdesslem, F. B., Costa, L. H. M. K., and Amorim, M. D. - "VEER: Um Algoritmo de Seleção de Pares em Redes Ad Hoc Veiculares", to appear in XXVI Simpósio Brasileiro de Redes de Computadores - SBRC'2008, Rio de Janeiro, RJ, Brazil, May DTNs DTNs Oliveira, C. T., Moreira, M. D. D., Rubinstein, M. G., Costa, L. H. M. K., and Duarte, O. C. M. B. - "Redes Tolerantes a Atrasos e Desconexões", in Minicursos do Simpósio Brasileiro de Redes de Computadores - SBRC'2007, Belém, PA, Brazil, May Oliveira, C. T., Moreira, M. D. D., Rubinstein, M. G., Costa, L. H. M. K., and Duarte, O. C. M. B. - "Redes Tolerantes a Atrasos e Desconexões", in Minicursos do Simpósio Brasileiro de Redes de Computadores - SBRC'2007, Belém, PA, Brazil, May Redes em Malha Redes em Malha Campista, M. E. M., Passos, D. G., Esposito, P. M., Moraes, I. M., de Albuquerque, C. V. N., Saade, D. C. M., Rubinstein, M. G., Costa, L. H. M. K., and Duarte, O. C. M. B. - "Routing Metrics and Protocols for Wireless Mesh Networks", in IEEE Network, ISSN , vol. 22, no. 1, pp. 6-12, January Campista, M. E. M., Passos, D. G., Esposito, P. M., Moraes, I. M., de Albuquerque, C. V. N., Saade, D. C. M., Rubinstein, M. G., Costa, L. H. M. K., and Duarte, O. C. M. B. - "Routing Metrics and Protocols for Wireless Mesh Networks", in IEEE Network, ISSN , vol. 22, no. 1, pp. 6-12, January Campista, M. E. M., Costa, L. H. M. K., and Duarte, O. C. M. B. - "WPR: Um Protocolo de Roteamento Pró-ativo Adaptado às Redes em Malha Sem Fio", to appear in XXVI Simpósio Brasileiro de Redes de Computadores - SBRC'2008, Rio de Janeiro, RJ, Brazil, May Campista, M. E. M., Costa, L. H. M. K., and Duarte, O. C. M. B. - "WPR: Um Protocolo de Roteamento Pró-ativo Adaptado às Redes em Malha Sem Fio", to appear in XXVI Simpósio Brasileiro de Redes de Computadores - SBRC'2008, Rio de Janeiro, RJ, Brazil, May Redes Veiculares Redes Veiculares Cavalcanti, S. R., Campista, M. E. M., Abdesslem, F. B., Costa, L. H. M. K., and Amorim, M. D. - "VEER: Um Algoritmo de Seleção de Pares em Redes Ad Hoc Veiculares", to appear in XXVI Simpósio Brasileiro de Redes de Computadores - SBRC'2008, Rio de Janeiro, RJ, Brazil, May Cavalcanti, S. R., Campista, M. E. M., Abdesslem, F. B., Costa, L. H. M. K., and Amorim, M. D. - "VEER: Um Algoritmo de Seleção de Pares em Redes Ad Hoc Veiculares", to appear in XXVI Simpósio Brasileiro de Redes de Computadores - SBRC'2008, Rio de Janeiro, RJ, Brazil, May DTNs DTNs Oliveira, C. T., Moreira, M. D. D., Rubinstein, M. G., Costa, L. H. M. K., and Duarte, O. C. M. B. - "Redes Tolerantes a Atrasos e Desconexões", in Minicursos do Simpósio Brasileiro de Redes de Computadores - SBRC'2007, Belém, PA, Brazil, May Oliveira, C. T., Moreira, M. D. D., Rubinstein, M. G., Costa, L. H. M. K., and Duarte, O. C. M. B. - "Redes Tolerantes a Atrasos e Desconexões", in Minicursos do Simpósio Brasileiro de Redes de Computadores - SBRC'2007, Belém, PA, Brazil, May 2007.

Obrigado! Perguntas? Perguntas? Coordenação Geral: Artur Ziviani, LNCCLuís Henrique M. K. Costa, UFRJ Célio Vinicius N. de Albuquerque, UFFMarcelo G. Rubinstein, UERJ Coordenação Geral: Artur Ziviani, LNCCLuís Henrique M. K. Costa, UFRJ Célio Vinicius N. de Albuquerque, UFFMarcelo G. Rubinstein, UERJ