Relatório Anual – Informática, PUC‐Rio – Ano 2008 Relatório Anual do Programa de Pós-Graduação
do Departamento de Informática da PUC-Rio
Clarisse Sieckenius de Souza, Professora Titular Coordenadora do Programa Março de 2009 p. 1/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 SUMÁRIO QUEM SOMOS? ......................................................................................................................3
Programa de Mestrado e Doutorado......................................................................................................................................3
Docentes....................................................................................................................................................................................4
Discentes ...................................................................................................................................................................................6
Equipe Técnica e Administrativa ...........................................................................................................................................6
ESTRUTURA E FUNCIONAMENTO DO PROGRAMA ...........................................................7
Estrutura Acadêmica...............................................................................................................................................................7
Estrutura Administrativa .......................................................................................................................................................9
Credenciamento de Docentes..................................................................................................................................................9
Recursos Institucionais e Fontes de Financiamento ...........................................................................................................10
Aportes da PUC-Rio............................................................................................................................................................10
Aportes da CAPES PROEX ................................................................................................................................................10
Aportes de Outras Agências Oficiais de Fomento à Pesquisa .............................................................................................11
Aportes de Parcerias e Convênios .......................................................................................................................................11
Infraestrutura de Laboratórios, Equipamentos e Redes de Computadores ..........................................................................11
DESEMPENHO DO PROGRAMA EM 2008 ..........................................................................15
Titulação de Mestres e Doutores ..........................................................................................................................................15
Mestres ................................................................................................................................................................................15
Doutores ..............................................................................................................................................................................22
Publicações de Docentes e Discentes ....................................................................................................................................25
Artigos Completos em Anais de Eventos Científicos..........................................................................................................25
Artigos em Periódicos .........................................................................................................................................................42
Artigos em Jornais ou Revistas ...........................................................................................................................................46
Capítulos de Livros .............................................................................................................................................................46
Coletâneas ...........................................................................................................................................................................48
Livros ..................................................................................................................................................................................48
Resumos de Artigos em Anais de Eventos Científicos .......................................................................................................48
Projetos...................................................................................................................................................................................51
Projetos de Pesquisa e Desenvolvimento - Através de Auxílios Individuais .....................................................................51
Projetos de Pesquisa e Desenvolvimento - Integrados ........................................................................................................57
Projetos de Pesquisa e Desenvolvimento - Patrocinados.....................................................................................................58
Projetos de Pesquisa e Desenvolvimento - Não Patrocinados.............................................................................................69
Intercâmbios Institucionais...................................................................................................................................................70
Prêmios e Distinções ..............................................................................................................................................................71
SOLIDARIEDADE, NUCLEAÇÃO E VISIBILIDADE .............................................................72
p. 2/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Quem somos?
O Departamento de Informática (DI) foi criado no final de 1967, como parte de um esforço de várias instituições para inaugurar, no Brasil, a própria área de pesquisa, formação de recursos humanos e atividade econômica hoje denominada pluralmente de Informática, Computação, ou Sistemas de Informação (veja a cronologia do DI em página do projeto Memória da PUC‐Rio). Em 2008, aos 41 anos de sua criação, o DI tem cerca de 800 alunos e um quadro de 25 de tempo integral e 44 professores horistas. Oferece três programas de graduação (Engenharia da Computação, Bacharelado em Sistemas de Informação e Ciência da Computação) e um programa de pós‐graduação com Mestrado Acadêmico e Doutorado avaliado com nota máxima da CAPES. Programa de Mestrado e Doutorado
O Programa de Pós‐Graduação do Departamento de Informática da PUC‐Rio (PG‐DI) persegue, desde a sua criação em 1967, a dinâmica do grau de excelência. A missão do PG‐DI é formar docentes e pesquisadores com uma ampla e sólida base de conhecimentos, capacitados a evoluir continuamente e aptos a responder, com competência digna de reconhecimento, ao compromisso de desenvolvimento de linhas de ação e de pesquisa em áreas inovadoras e cruciais do campo da ciência e da tecnologia. Os objetivos do PG‐DI se articulam em torno da qualidade de seus recursos humanos e de seus processos de formação e pesquisa. Sua diretriz primária é a superação constante, fundada em quatro pilares que sustentam seus níveis de excelência: I. Qualificação e notoriedade do corpo docente; II. Produção intelectual em quantidade e qualidade notáveis; III. Formação de recursos humanos em quantidade e qualidade notáveis; e IV. Volume de projetos de pesquisa com parceiros de diversos segmentos da vida social brasileira e internacional. Para o atingimento desta meta concorrem, de maneira importante, os seguintes fatores: •
Avaliação contínua do quadro docente, pelo próprio programa (através da Comissão de Carreira Docente do DI) e pela universidade (através da Comissões Setorial e Central de Carreira Docente da PUC‐Rio); •
Avaliação contínua do quadro discente, pela Comissão de Pós‐Graduação; •
Utilização de processos de incentivo e gestão da produtividade discente; e •
Revisão periódica do planejamento estratégico do DI, com especial atenção para o PG‐DI, que é o seu carro‐chefe. p. 3/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Docentes
Os docentes permanentes do programa em 2008 são 23: Antonio Furtado Arndt von Staa Bruno Feijó Carlos José Lucena Clarisse de Souza Daniel Schwabe Eduardo Laber Hermann Haeusler Hugo Fuks Julio Cesar Leite Luiz Fernando Soares Marcelo Gattass Marco Antonio Casanova Marcus Poggi Markus Endler Noemi Rodriguez Renato Cerqueira Roberto Ierusalimschy Ruy Milidiu Rubens Nascimento Melo Sergio Lifschitz Simone Barbosa Waldemar Celes Filho Além destes professores, o programa conta com colaboradores, que atuam no Quadro Complementar, co‐
orientando com alguma regularidade alunos de mestrado e doutorado. Os orientadores principais, porém são sempre professores do Quadro Permanente do programa. Em 2008, o Quadro Complementar do PG‐DI incluía os professores: Alberto Barbosa Raposo Carla Faria Leitão Jean‐Pierre Briot Paulo Cezar Pinto de Carvalho Raúl Pierre Rantería Ricardo Choren Noya Sergio Colcher Viviane Torres da Silva Dos 23 professores que compuseram o Quadro Permanente do programa em 2008, 17 tinham bolsa de produtividade em pesquisa do CNPq, assim distribuídos. p. 4/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 1a Carlos José Lucena 1a Marcelo Gattass (na área de Engenharia) 1b Daniel Schwabe 1c Bruno Feijó 1c Julio Cesar Leite 1c Luiz Fernando Soares 1c Marco Antonio Casanova 1c Clarisse de Souza 1d Eduardo Laber 1d Hugo Fuks 1d Marcus Poggi 1d Roberto Ierusalimschy 2 Hermann Haeusler 2 Markus Endler 2 Noemi Rodriguez 2 Ruy Milidiu 2 Simone Barbosa Vê‐se que não apenas a maioria do corpo docente tem bolsa de pesquisa, mas também que a maioria destas bolsas de pesquisa estão em nível 1.
p. 5/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Discentes
Em 2008, o programa conta com um total de 337 alunos, dos quais 40 titularam‐se mestres no período e 15 titularam‐se doutores. A proporção de alunos de mestrado e doutorado no total de discentes tem girado nos últimos anos em torno de 30% de doutorado e 70% de mestrado. Em 2008, as estatísticas sobre o TOTAL DO ALUNADO são as seguintes: Percentual de Titulados como MESTRES 12 % Percentual de Titulados como DOUTORES 4 % 16 % Percentual de Bolsistas de Fomento (todas as agências) 39 % 14 % Percentual de Bolsistas PUC‐Rio Percentual de Bolsistas de Fomento CAPES PROEX Equipe Técnica e Administrativa
A PG‐DI conta com uma equipe de técnicos de suporte para a infraestrutura computacional (3 analistas) e biblioteca (1 bibliotecária). A equipe administrativa diretamente ligada à Coordenação do Programa conta com 2 secretárias. p. 6/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Estrutura e Funcionamento do Programa
Estrutura Acadêmica
O PG‐DI está academicamente estruturado em torno de 9 áreas de concentração: * Banco de Dados (BD) * Computação Gráfica (CG) * Engenharia de Software (ES) * Hipertexto e Multimídia (HT‐MM) * Interação Humano‐Computador (IHC) * Linguagens de Programação (LP) * Otimização e Raciocínio Automático (APO) * Redes de Computadores e Sistemas Distribuídos (RCSD) * Teoria da Computação (TC) Em torno destas áreas de concentração, desenvolvem‐se as seguintes linhas de pesquisa: BANCOS DE DADOS (5 linhas) • Bancos de dados para e‐science • Bancos de dados para e‐learning • Bancos de dados para bioinformática • Esquemas narrativos e cognitivos em domínios de informação • Técnicas para projetos conceituais COMPUTAÇÃO GRÁFICA (4 linhas) • Animação e realidade virtual • Visualização e simulação • Jogos e entretenimento digital • Processamento de imagem ENGENHARIA DE SOFTWARE (7 linhas) • Ambientes de telecolaboração e ensino a distância • Desenvolvimento baseado em componentes, linhas de produtos e frameworks • Design e implementação orientados a aspectos • Engenharia de requisitos • Engenharia de software para sistemas multi‐agentes • Processos de software • Teste e qualidade de software HIPERTEXTO E MULTIMÍDIA (4 linhas) • Aplicações multimídia e hipermídia • Engenharia de aplicações para a web • Infraestrutura e aplicações de TV digital interativa • Web semântica e redes sociais INTERAÇÃO HUMANO‐COMPUTADOR (6 linhas) • Avaliação e design da interação humano‐computador • Comunicação mediada por computador • Engenharia semiótica • Interfaces inteligentes, sistemas de ajuda de explicação • Linguagens de representação e desenvolvimento para usuários leigos • Tecnologias e métodos para o ensino de IHC LINGUAGENS DE PROGRAMAÇÃO (4 linhas) • Linguagens dinâmicas • Máquinas virtuais • Projeto e implementação de linguagens de programação • Sistemas multi‐linguagens OTIMIZAÇÃO E RACIOCÍNIO AUTOMÁTICO (5 linhas) • Aprendizado de máquina, raciocínio heurístico e probabilístico • Engenharia de algoritmos • Mineração e busca de informação • Otimização e programação matemática • Tecnologias da decisão REDES DE COMPUTADORES E SISTEMAS DISTRIBUÍDOS (5 linhas) • Programação concorrente e paralela e computação em grade • Projeto e implementação de middleware • Redes de alta velocidade • Redes móveis, computação ubíqua e computação autonômica • Serviços de redes de computadores TEORIA DA COMPUTAÇÃO (4 linhas) • Algoritmos e complexidade • Lógica e semântica de programas • Métodos formais para a computação • Teoria da prova e prova automática de teoremas p. 7/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Exigências para obtenção do título
Para obter o título de Mestre em Ciências em Informática, o aluno deverá: 1. Obter, no mínimo, 24 créditos em disciplinas de pós‐graduação, dentro dos prazos e exigências para o regime de tempo do aluno. Deste total, o aluno deverá obter, no mínimo, 18 créditos em disciplinas regulares de pós‐graduação do DI. A cada matrícula, o plano de trabalho do aluno deverá ser aprovado pelo seu orientador ou, na sua falta, pelo coordenador ou vice‐coordenador de pós‐graduação. Tal aprovação expressa‐
se através da assinatura do orientador na folha de matrícula do aluno. 2. Ser aprovado, ou obter equivalência, no exame de suficiência para leitura e compreensão de textos em inglês, correspondente à disciplina LET3101 Exame de Língua Estrangeira: Suficiência de Leitura em Inglês, dentro dos prazos estabelecidos. 3. Cursar e ser aprovado nas seguintes disciplinas obrigatórias, dentro dos prazos estabelecidos: INF2061 Seminários; INF2102 Projeto Final de Programação; INF2926 Projeto e Análise de Algoritmos; e uma disciplina classificada como de base matemática. 4. Apresentar, defender e ter aprovada a sua proposta de dissertação, correspondente à disciplina INF3006 Exame de Proposta de Dissertação, dentro dos prazos estabelecidos. 5. Apresentar, defender e ter aprovada a sua dissertação de mestrado, correspondente à disciplina INF3000 Dissertação de Mestrado, dentro dos prazos estabelecidos. Para obter o título de Doutor em Ciências – Informática, o aluno deverá: 1. Obter um mínimo de 48 créditos em disciplinas de pós‐graduação, dentro dos prazos e exigências para o regime de tempo do aluno. a. Os alunos de doutorado poderão obter um total de até 24 créditos pelo aproveitamento de disciplinas cursadas no mestrado. b. Do total de 48 créditos, o aluno deverá obter, no mínimo, 18 créditos em disciplinas regulares de pós‐
graduação do DI, excluindo‐se os créditos obtidos pelo aproveitamento de disciplinas cursadas no mestrado. A cada matrícula, o plano de trabalho do aluno deverá ser aprovado pelo seu orientador ou, na sua falta, pelo coordenador ou vice‐coordenador de pós‐graduação. Tal aprovação expressa‐se através da assinatura do orientador na folha de matrícula do aluno. 2. Ser aprovado, ou obter equivalência, nos exames de suficiência de leitura e escrita em inglês, correspondentes às disciplinas LET3101 Exame de Língua Estrangeira: Suficiência de Leitura em Inglês e LET3106 Exame de Língua Estrangeira: Suficiência de Leitura e Escrita em Inglês, dentro dos prazos estabelecidos. 3. Ser aprovado em requisito básico de doutorado, correspondente à disciplina INF3002 Requisito Básico para o Doutorado, dentro dos prazos estabelecidos. 4. Ser aprovado na qualificação para o doutorado, correspondente à disciplina INF3004 Exame Qualificação para o Doutorado, dentro dos prazos estabelecidos. 5. Apresentar, defender e ter aprovada a sua proposta de tese, correspondente à disciplina INF3007 Exame de Proposta de Tese, dentro dos prazos estabelecidos. 6. Apresentar, defender e ter aprovada a sua tese de doutorado, correspondente à disciplina INF3001 Tese de Doutorado, dentro dos prazos estabelecidos. p. 8/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Para os alunos que são bolsistas da CAPES e que não são docentes de ensino superior, exige‐se ainda: 7. Cumprir o estágio de docência. As disciplinas obrigatórias de base matemática do PG‐DI são as seguintes: INF2118 Computabilidade INF2127 Linguagens Formais e Autômatos INF2217 Lógica e Especificação INF2511 Modelagem Analítica do Desempenho de Sistemas de Computação INF2608 Fundamentos de Computação Gráfica INF2912 Otimização Combinatória Estrutura Administrativa
O PG‐DI tem um Coordenador e um Vice‐Coordenador. O Coordenador é escolhido pelo Diretor do Departamento e nomeado pelo Reitor da universidade para um mandato renovável de 2 anos. O Vice‐
Coordenador é escolhido entre os integrantes da Comissão de Pós‐Graduação, constituída por 4 membros eleitos anualmente pela congregação de professores de tempo integral do DI. Uma vez escolhido, o Vice‐
Coordenador tem seu mandato de membro da Comissão de Pós‐Graduação estendido até o término do mandato do Coordenador. O PG‐DI tem também uma Comissão de Representantes de Alunos, constituída por 2 ou mais alunos de pós‐
graduação indicados por seus colegas. Além deles, há um representante dos bolsistas da CAPES, escolhido entre os alunos de doutorado (que permanecem por mais tempo no programa). Devido ao processo de credenciamento de docentes para a pós‐graduação, instituído em função de regulamentação da CAPES em anos recentes, o Coordenador do programa passou a ter assento na Comissão de Carreira Docente do DI (CCD‐DI), órgão colegiado cuja função instituída é analisar o desempenho de docentes. No DI é a CCD‐DI que elabora e executa, junto com o Coordenador, a política de credenciamento de professores. Credenciamento de Docentes
A excelência do PG‐DI, como já dito, está assentada sobre 4 pilares: I. qualificação e notoriedade do corpo docente; II. produção intelectual em quantidade e qualidade notáveis; III. formação de recursos humanos em quantidade e qualidade notáveis; e IV. volume de projetos de pesquisa com parceiros de diversos segmentos da vida social brasileira e internacional (eg. setor industrial e governamental; segmentos da educação, saúde, cultura e meio ambiente; parcerias e colaborações com instituições nacionais e internacionais; dentre muitas outras opções que evoluem constantemente). Para serem e manterem‐se credenciados, os professores do Quadro Permanente devem contribuir para a superação constante dos níveis de desempenho do programa nestas 4 frentes. Como destacar‐se (ie. estar acima da média de seus pares) é inerente à própria noção de excelência, a regra geral de credenciamento para o QP é que: • o professor tem de se destacar em ao menos dois dos itens que constituem os pilares do programa, e • em pelo menos um deles o professor deve contribuir concretamente para superar o desempenho anterior do programa (ie. que seu desempenho deve estar causalmente associado a indicadores de progresso do programa, em processos de avaliação externa, em particular nas avaliações da CAPES). p. 9/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Recursos Institucionais e Fontes de Financiamento
O PG‐DI mantém‐se em funcionamento graças a uma série de ações e aportes de diversas naturezas. Abaixo destacamos as principais. Detalhes sobre toda a gama de suporte recebida por professores, laboratórios de pesquisa e pelo próprio DI podem ser encontrados em endereços da Internet apontados pelo website do DI. Aportes da PUC-Rio
A PUC‐Rio, como instituição que abriga o programa, é a principal responsável pela sua manutenção. Seu espectro de apoio vai desde o pagamento dos salários de toda a equipe docente, técnica e administrativa, até a provisão do espaço físico e da infraestrutura de ensino e convívio universitário no campus. Destacam‐se também duas ações de especial importância para o PG‐DI: a oferta de bolsas de isenção total e parcial de taxas escolares oferecidas pela Vice‐Reitoria Acadêmica (VRAc) e o repasse para o programa de uma parcela substancial das taxas escolares pagas à PUC‐Rio pelos alunos do PG‐DI (ou seus financiadores). Aportes da CAPES PROEX
Resumidamente, os investimentos com recursos do programa CAPES/PROEX em 2008 foram: Investimento do Recurso de Capital – CAPES/PROEX 36.356,02 Valores Investidos: Atualização da infraestrutura de servidores 17.800,00 Atualização da infraestrutura de backup 18.291,00 Total Capital Investido 36.091,00 Investimento do Recurso de Custeio – CAPES/PROEX 360,854,69 Valores Investidos Atualização da infraestrutura de software 26.098,00 40.384,00 Funcionamento de laboratórios de ensino e pesquisa 23.418,13 Taxas Escolares Manutenção da infraestrutura de ensino e pesquisa 201.903,00 Total Custeio Investido 291.803,13 Bolsas de Estudo (Modalidade I de Jan‐Dez/2008)* 62 Mensalidades de Doutorado Mod I 377 Mensalidades de Mestrado Mod I
* Mensalidades de bolsas pagas diretamente a alunos de Mestrado e Doutorado do Programa p. 10/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Aportes de Outras Agências Oficiais de Fomento à Pesquisa
Outras agências e órgão oficiais de fomento à atividade de pesquisa, como CNPq, FAPERJ, FINEP, e assemelhados são responsáveis por inúmeras e variadas iniciativas que apóiam o funcionamento do PG‐DI. Boa parte delas pode ser apreciada nos projetos de pesquisa relatados em seção específica deste documento. Aqui destacamos apenas os aportes em pagamento de bolsas de estudos para os alunos do programa: CNPq Total de 54 bolsas de estudo (48 bolsas de quota do programa + 6 bolsas de projetos de professores) FAPERJ Total de 6 bolsas de estudo CAPES‐PROCAD e PICDT Total de 6 bolsas de estudo Aportes de Parcerias e Convênios
Através de seus laboratórios temáticos (ver seção abaixo) o PG‐DI realiza diversas parcerias e convênios que trazem importantes aportes para o programa. Destacam‐se neste setor uma longa parceria com a Petrobras, através do TeCGraf – o maior laboratório temático do DI – e as parcerias institucionais realizadas através de linhas específicas de ação do governo, tais como o CAPES PROCAD e CAPES RH TV Digital, realizados com instituições como a UFAL, UFC, UFMS, UFMA, UFPe, UniRio, Unifor e UFRN. O aporte destes parceiros e conveniados se traduz na forma de bolsas de estudo e apoio financeiro para itens de custeio, capital ou infraestrutura, dependendo dos termos específicos de cada contrato. Infraestrutura de Laboratórios, Equipamentos e Redes de Computadores
O Departamento de Informática mantém diversos laboratórios para apoio ao ensino de graduação e pós‐
graduação. Conta ainda com 13 laboratórios temáticos que apóiam o ensino, pesquisa e desenvolvimento em áreas específicas. Tais laboratórios compõem o Instituto de Tecnologias de Software (ITS), órgão diretamente ligado à diretoria do departamento, cujo número de doutores em posição de pesquisadores associados e respectivo espectro de competências seria o suficiente para constituir no mínimo mais dois outros programas de pós‐graduação. Laboratórios de Ensino e Pesquisa ‐ LabDI ‐ Laboratório de Graduação do Departamento de Informática, que atende às necessidades de prática computacional das disciplinas do ciclo profissional dos cursos de Engenharia de Computação, Ciência da Computação e Bacharelado em Sistemas de Informação, vinculados ao Departamento de Informática ‐ equipamentos: 25 estações Pentium IV 3.2 GHz / 512 MB RAM, dual boot: MS‐Windows XP e Linux Red Hat Fedora Core 8; 08 estações Pentium IV 2.4 GHz / 512 MB RAM, dual boot: MS‐Windows XP e Linux Red Hat Fedora Core 8; 47 estações Pentium IV 2.4 GHz / 768 MB RAM, dual boot: MS‐Windows XP e Linux Red Hat Fedora Core 8; 09 pontos de acesso para laptops; 01 impressora laser HP 4200N; Rede local Fast Ethernet (100 Mbps) com uplink 1 Gbps; p. 11/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 ‐ Laboratórios para Aulas (salas 546L e 548L), cuja missão é atender às necessidades didáticas de prática em aula das disciplinas do ciclo profissional dos cursos de Engenharia de Computação, Ciência da Computação e Bacharelado em Informática, vinculados ao Departamento de Informática; ‐ equipamentos: 41 Core 2 Duo 2.66 GHz, 2 GB de RAM e 21 Quad Core 2.4 GHz, 2 GB de RAM, dual boot: MS‐Windows XP e Linux Red Hat Fedora Core 8; rede local Fast Ethernet (100 Mbps) com uplink 1 Gbps; ‐ Laboratório de Pós‐Graduação do Departamento de Informática (Lab DI), cuja missão é atender aos alunos de pós‐graduação, apoiando as atividades de pesquisa regulares do Departamento de Informática; ‐ equipamentos: 15 Pentium IV 3.2 GHz, 1 GB de RAM, dual boot: MS‐Windows XP e Linux Red Hat Fedora Core 8; 10 postos de trabalho para notebook; 01 impressora HP 4100N; rede local Fast Ethernet (100 Mbps) com uplink 1 Gbps; ‐ servidores, cuja função é atender às necessidades das tarefas de pesquisa do corpo docente e discente do Departamento de Informática; ‐ servidores (mantidos por 3 no‐breaks): 12 Pentium IV 1.7 GHz (ou maior); 04 Intel Dual Xeon Dual‐Core 3.0 GHz. 01 Intel Dual Xeon Quad‐Core 3.0 GHz ‐ Backbone da rede do DI: 15 switches (24/48 portas) interligados a 1 Gbps. Além destes laboratórios de ensino e pesquisa, o DI conta também com 12 laboratórios temáticos. O conjunto de laboratórios temáticos congrega cerca de 600 computadores, entre estações de trabalho e servidores, das mais variadas procedências. Possui ainda equipamentos especializados, tais como tablet PC’s, quadros brancos inteligentes e estações de visualização, entre outros. Todos estes equipamentos estão ligados à Internet e são renovados com freqüência, garantindo, assim, um ambiente moderno para pesquisa e desenvolvimento. É neste ambiente que se realiza a maioria dos projetos de pesquisa mencionados no ‘Caderno de Projetos’ deste relatório. Segue‐se a lista de laboratórios e uma brevíssima descrição da missão de cada um. ICAD Laboratório de CAD Inteligente http://www.icad.puc‐rio.br A missão do ICAD é criar uma nova geração de sistemas de CAD, no qual o processo de design se associa a técnicas de computação gráfica, inteligência artificial e multimeios. Além disto, o ICAD centraliza pesquisa e desenvolvimento em ambientes virtuais, animação por computador e entretenimento digital, uma área em que o programa tem se destacado bastante em anos recentes. LES Laboratório de Engenharia de Software http://www.les.puc‐rio.br A missão do LES é fornecer infra‐estrutura para a pesquisa aplicada, para o desenvolvimento de ferramentas, para a avaliação de processos, e para o ensino experimental em Engenharia de Software. O LES abriga um expressivo número de alunos de mestrado e doutorado, tendo em vista a constante atratividade que a área exerce não apenas sobre os alunos mais interessados por oportunidades imediatas no mercado de trabalho, quanto por empresas e parceiros do setor produtivo interessados em aumentar a competitividade e a eficiência de seus produtos com o aporte de resultados de pesquisas de ponta em Engenharia de Software. p. 12/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 TecMF Laboratório de Tecnologias em Métodos Formais http://www.tecmf.inf.puc‐rio.br/ A missão do TecMF é realizar pesquisa e desenvolvimento na área de Engenharia de Software com base em métodos formais. Este laboratório tem intensa cooperação com o LES. TeCGraf Laboratório de Tecnologia em Computação Gráfica http://www.tecgraf.puc‐rio.br A missão do TeCGraf é investigar, propor e implementar ferramentas de desenvolvimento, modelagem matemática, estruturas de dados, algoritmos, e processos de projeto que dão suporte a sistemas gráficos interativos técnico‐científicos. Este é o maior laboratório temático do Departamento. Sozinho, o TeCGraf tem quase o dobro do número de doutores que tem o Quadro de Docentes Permanentes de nosso programa de pós‐graduação. O principal parceiro do TeCGraf é a Petrobras, que já completou mais de 20 anos de parceria com o Coordenador do TeCGraf, Prof. Marcelo Gattass. Além disto, o TeCGraf realiza projetos em conjunto com outros departamentos da PUC‐Rio, entre os quais o de Engenharia Civil (Programa PROEX Nota 6 na CAPES) e o Departamento de Engenharia Mecânica (Programa PROEX Nota 7 na CAPES), cumprindo assim um importantíssimo papel de integração interdepartamental de excelência dentro da PUC‐Rio. TeleMídia Laboratório de Teleprocessamento e Multimídia http://www.telemidia.puc‐rio.br A missão do TeleMídia é oferecer toda a infra‐estrutura de laboratório para pesquisa e desenvolvimento de projetos nas áreas de Redes de Computadores, Sistemas Distribuídos e Sistemas Multimídia. Em particular, o TeleMídia centraliza a pesquisa em TV Digital feita no departamento, sendo o desenvolvedor do GINGA ‐ Middleware Aberto do Sistema Brasileiro de TV Digital (SBTVD). SERG Semiotic Engineering Research Group Lab http://www.serg.puc‐rio.br A missão do SERG é investigar as contribuições da Semiótica para a área de Interação Humano‐Computador. A Semiótica, como disciplina que investiga processos de representação, interpretação e comunicação de conteúdos, é centralmente importante para o projeto de interfaces para usuários de aplicações computacionais. Neste laboratório se desenvolveu a Engenharia Semiótica, teoria de Interação Humano‐Computador que ganhou notoriedade em 2005 com a publicação do livro The semiotic engineering of human‐
computer interaction, pela MIT Press, de autoria da fundadora do SERG, Profa. Clarisse Sieckenius de Souza. LAC Laboratory for Advanced Collaboration http://www.lac.puc‐rio.br A missão do LAC é realizar pesquisa aplicada inovadora nas áreas de ensino e treinamento à distância, computação e colaboração móvel, ambientes virtuais distribuídos, bem como gestão de conhecimento e competências. TecBD Laboratório de Tecnologia de Banco de Dados http://www.tecbd.inf.puc‐rio.br A missão do TecBD é realizar pesquisas de ponta na área de Banco de Dados e transferir a tecnologia desenvolvida para parceiros na indústria. LabBio Laboratório de Bioinformática A missão do LabBio é estabelecer infra‐estrutura e desenvolver sistemas de software na área de Bioinformática. TecWeb Laboratório de Web Engineering http://www.tecweb.inf.puc‐rio.br A missão do TecWeb é prover infraestrutura para a pesquisa e o desenvolvimento de Web services. Neste laboratório desenvolvem‐se as pesquisas de Engenharia para a Web que ganharam notoriedade internacional com o modelo OOHDM, de autoria de seu coordenador, Prof. Daniel Schwabe. p. 13/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 LEARN Laboratório de Engenharia de Algoritmos e Redes Neurais http://learn.inf.puc‐rio.br/ A missão do LEARN é prover infraestrutura para a pesquisa e o desenvolvimento nas áreas de sistemas fuzzy, aprendizado por máquina, redes neurais e otimização. Laboratório de LUA http://www.lua.org A missão do Laboratório LUA é prover infraestrutura para a pesquisa, desenvolvimento, aprimoramento e adaptação a diferentes paradigmas de processamento da linguagem de scripting LUA. Esta linguagem projetou internacionalmente o DI junto à comunidade de desenvolvedores de vários tipos de sistemas. Como se pode verificar no website do Laboratório, dentre os usuários de Lua estão, por exemplo, os desenvolvedores de: SimCity 4, World of Warcraft, Adobe Photoshop Lightroom e até mesmo do software ligado às missões espaciais do Kennedy Space Center. O projeto Lua é coordenado pelo Prof. Roberto Ierusalimschy, criador da linguagem juntamente com o Prof. Waldemar Celes e Dr. Luiz Henrique Figueiredo (IMPA). p. 14/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Desempenho do Programa em 2008
Titulação de Mestres e Doutores
Mestres
•
•
•
•
•
Alexandre Gazola o Título da Dissertação ou Tese: Uma Infra‐estrutura de Software para Alinhamento de Catálogos Heterogêneos o Data da Defesa: 27/03/2008 o Orientador: Marco Antonio Casanova o Componentes da Banca: Marco Antonio Casanova; Antonio Luz Furtado; Karin Koogan Breitman o Linha(s) de Pesquisa do Departamento: Bancos de dados para e‐science,Técnicas para projetos conceituais Alexandre Rupert Arpini Skyrme o Título da Dissertação ou Tese: Um Modelo Alternativo para Programação Concorrente em Lua o Data da Defesa: 28/03/2008 o Orientador: Noemi de La Rocque Rodriguez o Componentes da Banca: Noemi de La Rocque Rodriguez; Roberto Ierusalimschy; Ana Lucia de Moura o Linha(s) de Pesquisa do Departamento: Programação concorrente e paralela e computação em grade Algemiro Augusto da Silva Neto o Título da Dissertação ou Tese: Uma abordagem baseada em SPH para animação interativa de águas rasas em jogos. o Data da Defesa: 05/12/2008 o Orientador: Waldemar Celes Filho o Componentes da Banca: Waldemar Celes Filho; Marcelo Gattass; Luiz Henrique de Figueiredo o Linha(s) de Pesquisa do Departamento: Processamento de imagem Ana Carolina Innecco Cantuária de Araújo o Título da Dissertação ou Tese: "Apoio ao design e à interpretação de modelos de interação humano‐computador representados em MoLIC." o Data da Defesa: 26/03/2008 o Orientador: Simone Diniz Junqueira Barbosa o Componentes da Banca: Simone Diniz Junqueira Barbosa; Clarisse Sieckenius de Souza; Carla Faria Leitão o Linha(s) de Pesquisa do Departamento: Avaliação e design da interação humano‐
computador,Engenharia semiótica André Luiz Almeida Marins o Título da Dissertação ou Tese: Modelos Conceituais para Proveniência o Data da Defesa: 18/03/2008 o Orientador: Marco Antonio Casanova o Componentes da Banca: Marco Antonio Casanova; Antonio Luz Furtado; Karin Koogan Breitman o Linha(s) de Pesquisa do Departamento: Técnicas para projetos conceituais p. 15/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
•
•
•
•
•
Andrew Diniz da Costa o Título da Dissertação ou Tese: Um Sistema Híbrido de Diagnóstico e Recomendação para Sistemas Multi‐Agentes o Data da Defesa: 03/09/2008 o Orientador: Carlos José Pereira de Lucena o Co‐Orientador: Viviane Torres da Silva o Componentes da Banca: Carlos José Pereira de Lucena; Ricardo Choren Noya; Firmo Freire o Linha(s) de Pesquisa do Departamento: Engenharia de software para sistemas multi‐agentes Ariane Moraes Bueno o Título da Dissertação ou Tese: Apoiando o designer de IHC na tomada de decisão sobre o design de interfaces extensíveis o Data da Defesa: 28/03/2008 o Orientador: Simone Diniz Junqueira Barbosa o Componentes da Banca: Simone Diniz Junqueira Barbosa; Clarisse Sieckenius de Souza; Luiz Fernando Gomes Soares o Linha(s) de Pesquisa do Departamento: Avaliação e design da interação humano‐
computador,Linguagens de representação e desenvolvimento para usuários leigos Bruno Schroeder o Título da Dissertação ou Tese: A Graph Based Theorem Proving Platform with Strategies. o Data da Defesa: 13/08/2008 o Orientador: Edward Hermann Haeusler o Componentes da Banca: Edward Hermann Haeusler; Geiza Maria Hamazaki da Silva; Mario Roberto Folhadela Benevides o Linha(s) de Pesquisa do Departamento: Teoria da prova e prova automática de teoremas Carlos Eduardo Lara Augusto o Título da Dissertação ou Tese: Uma Infra‐Estrutura para a Execução Distribuída de Componentes de Software. o Data da Defesa: 03/09/2008 o Orientador: Renato Fontoura de Gusmão Cerqueira o Componentes da Banca: Renato Fontoura de Gusmão Cerqueira; Noemi de La Rocque Rodriguez; Markus Endler; Antônio Tadeu de Azevedo Gomes o Linha(s) de Pesquisa do Departamento: Sistemas multi‐linguagens Cynthia Luiza Rigo Moisés o Título da Dissertação ou Tese: Fidedignidade em Sistemas Multi‐Agentes Abertos: Uma Abordagem através de Contratos. o Data da Defesa: 27/06/2008 o Orientador: Arndt von Staa o Co‐Orientador: Jean‐Pierre Briot o Componentes da Banca: Arndt von Staa; Carlos José Pereira de Lucena; Renato Fontoura de Gusmão Cerqueira Diogo Silveira Mendonça o Título da Dissertação ou Tese: Análise probabilística de semântica latente aplicada a sistemas de recomendação. o Data da Defesa: 12/09/2008 o Orientador: Ruy Luiz Milidiú o Componentes da Banca: Ruy Luiz Milidiú; Marcus Vinicius Soledade Poggi de Aragão; Daniel Schwabe o Linha(s) de Pesquisa do Departamento: Algoritmos e complexidade p. 16/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
•
•
•
•
•
Edson Andrade de Moraes o Título da Dissertação ou Tese: Utilização de uma estratégia para identificação de fontes de informação na fase de elicitação. o Data da Defesa: 29/05/2008 o Orientador: Julio Cesar Sampaio do Prado Leite o Componentes da Banca: Julio Cesar Sampaio do Prado Leite; Hugo Fuks; Simone Diniz Junqueira Barbosa o Linha(s) de Pesquisa do Departamento: Engenharia de software para sistemas multi‐agentes Eduardo Pilla Portilho o Título da Dissertação ou Tese: Um Estudo de Técnicas Para a Adaptação de Componentes de Software em Java o Data da Defesa: 04/04/2008 o Orientador: Renato Fontoura de Gusmão Cerqueira o Componentes da Banca: Renato Fontoura de Gusmão Cerqueira; Noemi de La Rocque Rodriguez; Markus Endler o Linha(s) de Pesquisa do Departamento: Desenvolvimento baseado em componentes, linhas de produtos e frameworks Elder José Reioli Cirilo o Título da Dissertação ou Tese: GenArch: Uma Ferramenta Baseada em Modelos para Derivação de Produtos de Software o Data da Defesa: 11/04/2008 o Orientador: Carlos José Pereira de Lucena o Co‐Orientador: Uirá Kulesza o Componentes da Banca: Carlos José Pereira de Lucena; Uirá Kulesza; Arndt von Staa; Ivan Mathias Filho o Linha(s) de Pesquisa do Departamento: Desenvolvimento baseado em componentes, linhas de produtos e frameworks Fábio Wanderley Guerra o Título da Dissertação ou Tese: Engenharia de Estórias: Um estudo sobre a geração e narração automática de estórias o Data da Defesa: 28/03/2008 o Orientador: Antonio Luz Furtado o Componentes da Banca: Antonio Luz Furtado; Marco Antonio Casanova; Bruno Feijó o Linha(s) de Pesquisa do Departamento: Esquemas narrativos e cognitivos em domínios de informação Felipe Albuquerque Portella o Título da Dissertação ou Tese: Um serviço de captura e acesso para espaços ativos. o Data da Defesa: 11/04/2008 o Orientador: Renato Fontoura de Gusmão Cerqueira o Componentes da Banca: Renato Fontoura de Gusmão Cerqueira; Luiz Fernando Gomes Soares; Markus Endler o Linha(s) de Pesquisa do Departamento: Linguagens dinâmicas Geraldo da Silva Rocha Netto o Título da Dissertação ou Tese: Escalonamento Flexível de Workflows com Restrições Temporais o Data da Defesa: 15/04/2008 o Orientador: Marco Antonio Casanova o Componentes da Banca: Marco Antonio Casanova; Antonio Luz Furtado; Melissa Lemos Cavaliere o Linha(s) de Pesquisa do Departamento: Engenharia de algoritmos p. 17/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
•
•
•
•
•
Gustavo Costa Gomes Moreira o Título da Dissertação ou Tese: Reconhecedor de Objetos em Vídeos Digitais para Aplicações Interativas o Data da Defesa: 22/08/2008 o Orientador: Bruno Feijó o Componentes da Banca: Bruno Feijó; Marcelo de Andrade Dreux; Raul Queiroz Feitosa o Linha(s) de Pesquisa do Departamento: Processamento de imagem Ian Monteiro Nunes o Título da Dissertação ou Tese: Agrupamento de registros textuais baseado em similaridade entre textos o Data da Defesa: 04/04/2008 o Orientador: Ruy Luiz Milidiú o Componentes da Banca: Ruy Luiz Milidiú; Rubens Nascimento Melo; Marco Antonio Casanova o Linha(s) de Pesquisa do Departamento: Aprendizado de máquina, raciocínio heurístico e probabilístico Jordan Janeiro Lopes da Silva o Título da Dissertação ou Tese: Um Protocolo Sensível ao Contexto para Adaptação Coordenada de Serviços de Comunicação em Redes sem Fio. o Data da Defesa: 05/05/2008 o Orientador: Markus Endler o Componentes da Banca: Markus Endler; Noemi de La Rocque Rodriguez; Antônio Tadeu de Azevedo Gomes o Linha(s) de Pesquisa do Departamento: Redes móveis, computação ubíqua e computação autonômica Klessis Lopes Dias o Título da Dissertação ou Tese: Um Framework Orientado a Aspectos para Monitoramento e Análise de Processos de Negócio o Data da Defesa: 10/04/2008 o Orientador: Carlos José Pereira de Lucena o Co‐Orientador: Uirá Kulesza o Componentes da Banca: Carlos José Pereira de Lucena; Uirá Kulesza; Firmo Freire; Ricardo Choren Noya o Linha(s) de Pesquisa do Departamento: Design e implementação orientados a aspectos Leandro dos Santos Nazareth o Título da Dissertação ou Tese: Sistema para Consultas sobre Banco de Dados Relacional Baseado em Palavras‐Chave o Data da Defesa: 04/04/2008 o Orientador: Marco Antonio Casanova o Componentes da Banca: Marco Antonio Casanova; Antonio Luz Furtado; Melissa Lemos Cavaliere o Linha(s) de Pesquisa do Departamento: Técnicas para projetos conceituais Leonardo Sant'Anna Antunes Maciel o Título da Dissertação ou Tese: Um Estudo sobre Instrumentação da Máquina Virtual de Lua para Análise de Desempenho o Data da Defesa: 24/09/2008 o Orientador: Renato Fontoura de Gusmão Cerqueira o Componentes da Banca: Renato Fontoura de Gusmão Cerqueira; Noemi de La Rocque Rodriguez; Roberto Ierusalimschy o Linha(s) de Pesquisa do Departamento: Redes móveis, computação ubíqua e computação autonômica p. 18/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
•
•
•
•
•
Luiz Marques Afonso o Título da Dissertação ou Tese: “Um Estudo Sobre Contratos em Sistemas de Componentes de Software” o Data da Defesa: 10/09/2008 o Orientador: Renato Fontoura de Gusmão Cerqueira o Componentes da Banca: Renato Fontoura de Gusmão Cerqueira; Noemi de La Rocque Rodriguez; Edward Hermann Haeusler; Jean‐Pierre Briot o Linha(s) de Pesquisa do Departamento: Engenharia de software para sistemas multi‐agentes Marcos Cesar da Silva o Título da Dissertação ou Tese: Uma arquitetura de software para mediação flexível de Web services o Data da Defesa: 29/07/2008 o Orientador: Marco Antonio Casanova o Componentes da Banca: Marco Antonio Casanova; Melissa Lemos Cavaliere; Karin Koogan Breitman o Linha(s) de Pesquisa do Departamento: Serviços de redes de computadores Marco Serpa Molinaro o Título da Dissertação ou Tese: Algoritmos Aproximativos para o Problema de Atribuição de Hotlinks e para Busca Binária em Árvores o Data da Defesa: 28/03/2008 o Orientador: Eduardo Sany Laber o Componentes da Banca: Eduardo Sany Laber; Jayme Luiz Szwarcfiter; Valmir Carneiro Barbosa; Marcus Vinicius Soledade Poggi de Aragão o Linha(s) de Pesquisa do Departamento: Algoritmos e complexidade Maria Claudia Roenick o Título da Dissertação ou Tese: A implementação de um módulo HIP na ferramenta de simulação OMNeT++ para avaliação de desempenho de handoff. o Data da Defesa: 10/04/2008 o Orientador: Sérgio Colcher o Componentes da Banca: Sérgio Colcher; Markus Endler; Luiz Fernando Gomes Soares o Linha(s) de Pesquisa do Departamento: Serviços de redes de computadores Maurício A. Lage Ferreira o Título da Dissertação ou Tese: “Vigilância e Monitoramento em Tempo Real de Veículos em Rodovias com Câmeras Não‐Calibradas” o Data da Defesa: 20/06/2008 o Orientador: Marcelo Gattass o Componentes da Banca: Marcelo Gattass; Luiz Henrique de Figueiredo; Jose Reynaldo Anselmo Setti; Waldemar Celes Filho o Linha(s) de Pesquisa do Departamento: Animação e realidade virtual Pablo Carneiro Elias o Título da Dissertação ou Tese: Calibração e Posicionamento de Câmera Utilizando Fotos e Modelos de Edificações o Data da Defesa: 28/04/2008 o Orientador: Marcelo Gattass o Componentes da Banca: Marcelo Gattass; Waldemar Celes Filho; Alberto Barbosa Raposo; Asla Medeiros e Sá o Linha(s) de Pesquisa do Departamento: Visualização e simulação,Processamento de imagem p. 19/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
•
•
•
•
•
Pedro de Moura Cunha o Título da Dissertação ou Tese: Planejamento Tático no Transporte Rodoviário de Cargas Fracionadas: Modelos e Algoritmos o Data da Defesa: 14/04/2008 o Orientador: Marcus Vinicius Soledade Poggi de Aragão o Componentes da Banca: Marcus Vinicius Soledade Poggi de Aragão; Ruy Luiz Milidiú; Haroldo Gambini Santos o Linha(s) de Pesquisa do Departamento: Tecnologias da decisão Rafael Machado da Rocha o Título da Dissertação ou Tese: Um Framework para Simulação da Negociação de Serviços em Redes Sem Fio de Nova Geração o Data da Defesa: 03/04/2008 o Orientador: Carlos José Pereira de Lucena o Componentes da Banca: Carlos José Pereira de Lucena; Hugo Fuks; Firmo Freire o Linha(s) de Pesquisa do Departamento: Desenvolvimento baseado em componentes, linhas de produtos e frameworks Ricardo Augusto Boiteux Mendes Leal o Título da Dissertação ou Tese: Teste Funcional baseado em Modelos Gramaticais o Data da Defesa: 17/03/2008 o Orientador: Arndt von Staa o Componentes da Banca: Arndt von Staa; Carlos José Pereira de Lucena; Renato Fontoura de Gusmão Cerqueira o Linha(s) de Pesquisa do Departamento: Teste e qualidade de software Ricardo Gomes Clemente o Título da Dissertação ou Tese: Uma arquitetura para processamento de eventos de log em tempo real. o Data da Defesa: 21/08/2008 o Orientador: Marco Antonio Casanova o Componentes da Banca: Marco Antonio Casanova; Karin Koogan Breitman ; Marcelo Tilio Monteiro de Carvalho o Linha(s) de Pesquisa do Departamento: Bancos de dados para e‐science Ricardo Niederberger Cabral o Título da Dissertação ou Tese: Um estudo de recomendadores baseados em conteúdo e redes sociais o Data da Defesa: 28/11/2008 o Orientador: Daniel Schwabe o Componentes da Banca: Daniel Schwabe; Ruy Luiz Milidiú; Marcus Vinicius Soledade Poggi de Aragão o Linha(s) de Pesquisa do Departamento: Aplicações multimídia e hipermídia Roberto Pereira Cavalcante o Título da Dissertação ou Tese: Filtragem Colaborativa aplicada a Publicidade Direcionada o Data da Defesa: 03/04/2008 o Orientador: Ruy Luiz Milidiú o Componentes da Banca: Ruy Luiz Milidiú; Marcus Vinicius Soledade Poggi de Aragão; Daniel Schwabe o Linha(s) de Pesquisa do Departamento: Aprendizado de máquina, raciocínio heurístico e probabilístico p. 20/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
•
•
•
•
•
Sérgio Ciglione de Azevedo o Título da Dissertação ou Tese: MASSES (Sistema de Multi‐Agente para Simulação de Negociação de Ações). o Data da Defesa: 10/09/2008 o Orientador: Carlos José Pereira de Lucena o Componentes da Banca: Carlos José Pereira de Lucena; Ruy Luiz Milidiú; Ricardo Choren Noya o Linha(s) de Pesquisa do Departamento: Engenharia de software para sistemas multi‐agentes Sinisa Kolaric o Título da Dissertação ou Tese: Rumo à manipulação direta espacial de objetos virtuais 3D usando rastreamento baseado em visão e no reconhecimento de gestos de mãos sem marcadores. o Data da Defesa: 28/03/2008 o Orientador: Marcelo Gattass o Co‐Orientador: Alberto Barbosa Raposo o Componentes da Banca: Marcelo Gattass; Alberto Barbosa Raposo; Simone Diniz Junqueira Barbosa; Paulo Cezar Pinto de Carvalho o Linha(s) de Pesquisa do Departamento: Visualização e simulação Thiago Costa Ponte o Título da Dissertação ou Tese: LuaCharm: Um modelo híbrido utilizando linguagens de script para programação paralela o Data da Defesa: 07/04/2008 o Orientador: Noemi de La Rocque Rodriguez o Componentes da Banca: Noemi de La Rocque Rodriguez; Roberto Ierusalimschy; Renato Fontoura de Gusmão Cerqueira o Linha(s) de Pesquisa do Departamento: Projeto e implementação de linguagens de programação Thiago de Almeida Bastos o Título da Dissertação ou Tese: Campos de Distância Amostrados Adaptativamente com Aceleração por Placa Gráfica o Data da Defesa: 05/03/2008 o Orientador: Waldemar Celes Filho o Componentes da Banca: Waldemar Celes Filho; Marcelo Gattass; Thomas Lewiner o Linha(s) de Pesquisa do Departamento: Visualização e simulação Tulio Jorge A. N. S. Anibolete o Título da Dissertação ou Tese: Boosting para Sistemas de Recomendação o Data da Defesa: 29/08/2008 o Orientador: Ruy Luiz Milidiú o Componentes da Banca: Ruy Luiz Milidiú; Daniel Schwabe; Marcus Vinicius Soledade Poggi de Aragão o Linha(s) de Pesquisa do Departamento: Otimização e programação matemática Vitor Medina Cruz o Título da Dissertação ou Tese: Ginga‐NCL para Dispositivos Portáteis. o Data da Defesa: 13/06/2008 o Orientador: Luiz Fernando Gomes Soares o Componentes da Banca: Luiz Fernando Gomes Soares; Guido Lemos de Souza Filho; Renato Fontoura de Gusmão Cerqueira o Linha(s) de Pesquisa do Departamento: Serviços de redes de computadores p. 21/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Doutores
•
•
•
•
•
Aletéia Patrícia Favacho de Araújo o Título da Dissertação ou Tese: Paralelização Autonômica de Metaheurísticas em Ambientes de Grid o Data da Defesa: 07/04/2008 o Orientador: Celso da Cruz Carneiro Ribeiro o Co‐Orientador: Eugene Francis Vinod Rebello o Componentes da Banca: Celso da Cruz Carneiro Ribeiro; Sérgio Lifschitz; Renato Fontoura de Gusmão Cerqueira; Simone de Lima Martins; Mário Antônio Ribeiro Dantas; Edson Norberto Cáceres o Linha(s) de Pesquisa do Departamento: Aprendizado de máquina, raciocínio heurístico e probabilístico Alexandre Rocha Duarte o Título da Dissertação ou Tese: Atribuição de árbitros em competições esportivas: Algoritmos e aplicações mono e multi‐critério o Data da Defesa: 05/09/2008 o Orientador: Celso da Cruz Carneiro Ribeiro o Componentes da Banca: Celso da Cruz Carneiro Ribeiro; Edward Hermann Haeusler; Sérgio Lifschitz; Jayme Luiz Szwarcfiter; Simone de Lima Martins; Luciana Salete Buriol o Linha(s) de Pesquisa do Departamento: Otimização e programação matemática Anolan Yamilé Milanés Barrientos o Título da Dissertação ou Tese: Suporte de linguagens de programação para migração heterogênea de computações. o Data da Defesa: 11/07/2008 o Orientador: Noemi de La Rocque Rodriguez o Co‐Orientador: Roberto Ierusalimschy o Componentes da Banca: Noemi de La Rocque Rodriguez; Roberto Ierusalimschy; Renato Fontoura de Gusmão Cerqueira; Edward Hermann Haeusler; Andre Luís de Medeiros Santos; Marco Túlio de Oliveira Valente o Linha(s) de Pesquisa do Departamento: Engenharia de algoritmos Antonio de Padua Albuquerque Oliveira o Título da Dissertação ou Tese: Engenharia de Requisitos Intencional: Um Método de Elicitação, Modelagem e Análise de Requisitos. o Data da Defesa: 27/03/2008 o Orientador: Julio Cesar Sampaio do Prado Leite o Co‐Orientador: Luiz Marcio Cysneiros o Componentes da Banca: Julio Cesar Sampaio do Prado Leite; Luiz Marcio Cysneiros; Carlos José Pereira de Lucena; Simone Diniz Junqueira Barbosa; Jaelson Freire Brelaz de Castro; Vera Maria Benjamim Werneck o Linha(s) de Pesquisa do Departamento: Engenharia de requisitos Carolina Howard Felicissimo o Título da Dissertação ou Tese: An Approach to Operationalize Regulative Norms in Multiagent Systems. o Data da Defesa: 13/08/2008 o Orientador: Carlos José Pereira de Lucena o Co‐Orientador: Jean‐Pierre Briot o Componentes da Banca: Carlos José Pereira de Lucena; Firmo Freire; Simone Diniz Junqueira Barbosa; Evandro de Barros Costa; Vera Maria Benjamim Werneck; Jean‐Pierre Briot o Linha(s) de Pesquisa do Departamento: Engenharia de requisitos p. 22/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
•
•
•
•
•
Cláudio Nogueira Sant'Anna o Título da Dissertação ou Tese: On the Modularity of Aspect‐Oriented Design: A Concern‐Driven Measurement Approach o Data da Defesa: 11/04/2008 o Orientador: Carlos José Pereira de Lucena o Co‐Orientador: Alessandro Fabricio Garcia o Componentes da Banca: Carlos José Pereira de Lucena; Alessandro Fabricio Garcia; Arndt von Staa; Julio Cesar Sampaio do Prado Leite; Itana Maria de Souza Gimenes; Paulo Cesar Masieiro o Linha(s) de Pesquisa do Departamento: Design e implementação orientados a aspectos Daniela Francisco Brauner o Título da Dissertação ou Tese: Alinhamento de esquemas baseado em instâncias. o Data da Defesa: 09/06/2008 o Orientador: Marco Antonio Casanova o Componentes da Banca: Marco Antonio Casanova; Karin Koogan Breitman ; Ruy Luiz Milidiú; Carlos José Pereira de Lucena; Claudia Maria Bauzer Medeiros ; Vania Maria Ponte Vidal o Linha(s) de Pesquisa do Departamento: Bancos de dados para e‐science Denise Del Re Filippo o Título da Dissertação ou Tese: Suporte à coordenação em Sistemas Colaborativos: uma pesquisa‐ação com aprendizes e mediadores atuando em fóruns de discussão de um curso a distância o Data da Defesa: 26/03/2008 o Orientador: Hugo Fuks o Componentes da Banca: Hugo Fuks; Carlos José Pereira de Lucena; Alberto Barbosa Raposo; Mariano Gomes Pimentel; Marco Aurélio Gerosa o Linha(s) de Pesquisa do Departamento: Ambientes de telecolaboração e ensino a distância José Maria da Silva Monteiro Filho o Título da Dissertação ou Tese: Uma Abordagem Não‐Intrusiva para a Manutenção Automática do Projeto Físico de Bancos de Dados o Data da Defesa: 09/10/2008 o Orientador: Sérgio Lifschitz o Componentes da Banca: Sérgio Lifschitz; Rubens Nascimento Melo; Antonio Luz Furtado; Javam de Castro Machado; Caetano Traina Junior o Linha(s) de Pesquisa do Departamento: Bancos de dados para bioinformática Lorenza Leão Oliveira Moreno o Título da Dissertação ou Tese: On Routing Problems with Splittable Demands o Data da Defesa: 15/09/2008 o Orientador: Marcus Vinicius Soledade Poggi de Aragão o Co‐Orientador: Eduardo Uchoa Barboza o Componentes da Banca: Marcus Vinicius Soledade Poggi de Aragão; Eduardo Uchoa Barboza; Ruy Luiz Milidiú; Luiz Satoru Ochi; Alexandre Street de Aguiar; Carlos Alberto de Jesus Martinhon o Linha(s) de Pesquisa do Departamento: Engenharia de algoritmos Marcelo Ferreira Moreno o Título da Dissertação ou Tese: Gerenciamento de recursos dirigido por modelos: Adaptabilidade e Interoperabilidade no suporte a QoS fim‐a‐fim o Data da Defesa: 08/04/2008 o Orientador: Luiz Fernando Gomes Soares o Componentes da Banca: Luiz Fernando Gomes Soares; Sérgio Colcher; Renato Fontoura de Gusmão Cerqueira; Antônio Augusto Medeiros Frölich; José Ferreira de Rezende o Linha(s) de Pesquisa do Departamento: Serviços de redes de computadores p. 23/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
•
•
•
Marcos de Carvalho Machado o Título da Dissertação ou Tese: Geração de Malhas de Falhas em Dados Sísmicos por Aprendizado Competitivo o Data da Defesa: 14/03/2008 o Orientador: Marcelo Gattass o Componentes da Banca: Marcelo Gattass; Ruy Luiz Milidiú; Marley Maria Bernardes Rebuzzi Vellasco; Paulo Cezar Pinto de Carvalho; Paulo Marcos de Carvalho; Paulo Roma Cavalcanti o Linha(s) de Pesquisa do Departamento: Visualização e simulação Roberta de Souza Coelho o Título da Dissertação ou Tese: Analyzing Exception Flows of Aspect‐Oriented Programs o Data da Defesa: 11/06/2008 o Orientador: Arndt von Staa o Componentes da Banca: Arndt von Staa; Paulo Cesar Masieiro; Paulo Henrique Monteiro Borba; Carlos José Pereira de Lucena; Renato Fontoura de Gusmão Cerqueira o Linha(s) de Pesquisa do Departamento: Bancos de dados para bioinformática Thiago Ferreira Noronha o Título da Dissertação ou Tese: Algoritmos para Problemas de Otimização Aplicados a Roteamento e Atribuição de Comprimentos de Onda o Data da Defesa: 05/09/2008 o Orientador: Celso da Cruz Carneiro Ribeiro o Componentes da Banca: Celso da Cruz Carneiro Ribeiro; Carlos José Pereira de Lucena; Edward Hermann Haeusler; Cid Carvalho de Souza; Luciana Salete Buriol; Simone de Lima Martins o Linha(s) de Pesquisa do Departamento: Otimização e programação matemática Vinicius da Silva Almendra o Título da Dissertação ou Tese: Um estudo de identificação de fraudadores em mercados eletrônicos através da computação humana. o Data da Defesa: 18/09/2008 o Orientador: Daniel Schwabe o Componentes da Banca: Daniel Schwabe; Marco Antonio Casanova; Eduardo Sany Laber; Ana Cristina Bicharra Garcia; Ricardo Miyashita o Linha(s) de Pesquisa do Departamento: Engenharia de software para sistemas multi‐agentes p. 24/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Publicações de Docentes e Discentes
Artigos Completos em Anais de Eventos Científicos
•
AQUINO, J.F.S.; NAKAMURA, E.; LOUREIRO, A. A. F.; ENDLER, M. A differential coding algorithm for wireless sensor networks.. IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2008), 19.. Cannes. 2008. Proceedings of the IEEE International Symposium on Personal, Indoor and Mobile Radio Communications. IEEE. Los Alamitos. p.1‐5. 2008. Internacional. (Publicada) •
Assis, P. S.; SCHWABE, D. The Use of Adaptive Semantic Hypermedia for Ubiquitous Collaboration Systems. Intenational Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Porto Sani. 2008. Proceedings. Springer. Heidelberg. v.17. s.Communications in Computer and Information Science. p.548‐560. 2008. Internacional. (Publicada) •
AZEVEDO, S.C.; ABREU NETTO, M.T; COSTA, A.D.; BORSATO, B.S.S.; SOARES, F. DE A.; LUCENA, C.J.P. Multi‐Agent Systems for Stock Exchange Simulation ‐ MASSES. Workshop on Software Engineering for Agent‐Oriented Systems (SEAS 2004), 4. (integrado ao Simpósio Brasileiro em Engenharia dee Software (SBES 2008), 22.). Campinas. 2008. Anais. SBC. Porto Alegre. p.61‐72. 2008. Nacional. (Publicada) •
BARROS, A.; IERUSALIMSCHY, R. Eliminating cycles in weak tables. . Brazilian Symposium on Programming Languages (SBLP 2008), 12.. Fortaleza. 2008. Proceedings of the XII Brazilian Symposium on Programming Languages. SBC. Porto Alegre. p.61‐74. 2008. Nacional. (Publicada) •
BASTOS, T.A.; CELES, W. GPU‐accelerated adaptively sampled distance fields. . IEEE International Conference on Shape Modeling and Applications (SMI 2008) . New York. 2008. Proceedings of the IEEE International Conference on Shape Modeling and Applications. IEEE. Piscataway. p.171 ‐ 178 . 2008. Internacional. (Publicada) •
BRAUNER, D.F.; GAZOLA, A.; CASANOVA, M.A.; BREITMAN,K. K. Adaptative matching of database web services export schemas. . International Conference on Enterprise Information Systems (ICEIS 2008), 10. . Barcelona. 2008. Proceedings of ICEIS 2008 Tenth International Conference on Enterprise Information Systems. INSTICC. Setubal. p.49‐56. 2008. Internacional. (Publicada) •
BREITMAN,K. K.; BRAUNER, D.F.; CASANOVA, M.A.; MILIDIU, R.L.; GAZOLA, A.; PERAZOLO, M. Instance‐based ontology mapping. . IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe 2008), 5.. Belfast. 2008. Proceedings of the Fifth IEEE p. 25/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 International Workshop on Engineering of Autonomic and Autonomous Systems . IEEE. Los Alamitos. p.67‐74. 2008. Internacional. (Publicada) •
BRIOT, J.; VASCONCELOS FILHO, J.E.; ADAMATTI, D.F.; SEBBA PATTO, V.; IRVING, M.; BARBOSA, S.D.J.; FURTADO, J.J.V.P.; LUCENA, C.J.P. A computer‐based support for participatory management of protected areas: the simParc project. . Seminário Integrado de Software e Hardware (SEMISH 2008), 35. (em conjunto com o Congresso da Sociedade Brasileira de Computação (SBC 2008), 28.). Belém. 2008. Anais do SEMISH 2008. SBC. Porto Alegre. p.1‐15. 2008. Nacional. (Publicada) •
CAFEZEIRO, I. L.; HAEUSLER, E.H.; RADEMAKER, A. Ontology and context. . Workshop on Context Modeling and Reasoning (CoMoRea 2008), 5. (co‐located with IEEE International Conference on Pervasive Computing and Communications (PerCom2008), 6.). Hong Kong. 2008. Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications. IEEE. Los Alamitos. p.417‐422. 2008. Internacional. (Publicada) •
CAFEZEIRO, I. L.; VITERBO FILHO, J.; RADEMAKER, A.; ENDLER, M.; HAEUSLER, E.H. A formal framework for understanding context‐aware behavior in ubiquitous computing.. International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008), 3.. Porto Sani. 2008. Proceeding of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Springer. Berlin. s.Communications in Computer and Information Science, 17 . p.519‐533. 2008. Internacional. (Publicada) •
CAMANHO, M.M.; CIARLINI, A.E.M.; FURTADO, A.L.; POZZER, C.T.; FEIJO, B. Conciliating coherence and high responsiveness in interactive storytelling.. ACM International Conference on Digital Interactive Media in Entertainment and Arts (DIMEA 2008), 3.. Athens . 2008. Proceedings of the 3rd International Conference on Digital Interactive Media in Entertainment and Arts. ACM. New York. p.427‐434 . 2008. Internacional. (Publicada) •
CASANOVA, M.A.; BARBOSA, S.D.J.; BREITMAN,K. K.; FURTADO, A.L. Generalization and blending in the generation of entity‐relationship schemas by analogy. . International Conference on Enterprise Information Systems (ICEIS), 10.. Barcelona. 2008. Proceedings of the Tenth International Conference on Enterprise Information Systems. INSTICC. Setúbal. p.43‐48. 2008. Internacional. (Publicada) •
CASTRO, T.H.C.; CASTRO JUNIOR, A.N.; FUKS, H. Aprendendo a programar em grupo.. Simpósio Brasileiro de Sistemas Colaborativos (SBSC 2008), 5. (em conjunto com Simpósio Brasileiro de Sistemas Multimídia e Web (WebMedia 2008), 14.) . Vila Velha. 2008. Anais do V Simpósio Brasileiro de Sistemas Colaborativos. SBC. Porto Alegre. p.45‐54. 2008. Nacional. (Publicada) •
CASTRO, T.H.C.; FUKS, H.; CASTRO JUNIOR, A.N. p. 26/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Detecting code evolution in programming learning.. Brazilian Symposium on Artificial Intelligence (SBIA 2008), 19.. Salvador. 2008. Proceedings of the 19th Brazilian Symposium on Artificial Intelligence . Springer. Berlin . s.Lecture Notes in Artificial Intelligence , 5249 . p.145‐
156. 2008. Nacional. (Publicada) •
CASTRO, T.H.C.; FUKS, H.; CASTRO JUNIOR, A.N. Programming in groups: a progression learning scheme from the individual to the group. . Frontiers in Education Conference (FIE 2008), 38.. Saratoga Springs. 2008. Proceedings of the 38th ASEE/IEEE Annual Frontiers in Education Conference. IEEE. Los Alamitos, Ca.. p.15‐20. 2008. Internacional. (Publicada) •
CASTRO, T.H.C.; FUKS, H.; SPOSITO, M.A.F.; CASTRO JUNIOR, A.N. The analysis of a case study for group programming learning. . International Conference on Advanced Learning Technologies (ICALT 2008), 8.. Santander. 2008. Proceedings of The 8th IEEE International Conference on Advanced Learning Technologies. IEEE. Los Alamitos. p.850‐
854. 2008. Internacional. (Publicada) •
CIARLINI, A.E.M.; BARBOSA, S.D.J.; CASANOVA, M.A.; FURTADO, A.L. Event relations in plan‐based plot composition. Symposium on Computer Games and Digital Entertainment (SBGames 2008), 7. . Belo Horizonte. 2008. Proceedings of SBGames . SBC. Porto Alegre . p.31‐40. 2008. Nacional. (Publicada) •
CIARLINI, A.E.M.; CAMANHO, M.M.; DÓRIA, T.R.; FURTADO, A.L.; POZZER, C.T.; FEIJO, B. Planning and interaction levels for TV storytelling. . Joint International Conference on Interactive Digital Storytelling (ICIDS 2008). Erfurt. 2008. Proceedings of the First Joint International Conference on Interactive Digital Storytelling. Springer . Berlin . s.Lecture Notes in Computer Science, 5334 . p.198‐209. 2008. Internacional. (Publicada) •
CIRILO,E.J.R.; KULESZA,U.; COELHO, R. S.; LUCENA, C.J.P.; STAA, A.v. Integrating Component and Product Lines Technologies. International Conference on Software Reuse (ICSR 2008), 10.. Beijing. 2008. High Confidence Software Reuse in Large Systems; proceedings of the 10th International Conference on Software Reuse (ICSR'08). Springer. Berlin. s.Lecture Notes in Computer Science, 5030. p.130‐141. 2008. Internacional. (Publicada) •
COELHO, R. S.; KULESZA,U.; RASHID, A.; STAA, A.v.; LUCENA, C.J.P. Unveiling and taming the liabilities of aspect libraries reuse.. Simpósio Brasileiro de Engenharia de Software (SBES 2008), 22. (em conjunto com SBBD 2008). Campinas. 2008. Anais do XXII Simpósio Brasileiro de Engenharia de Software . SBC. Porto Alegre. p.81‐96. 2008. Nacional. (Publicada) •
COELHO, R. S.; RASHID, A.; GARCIA, A.; FERRARI, F.; CACHO, N.; KULESZA,U.; STAA, A.v.; LUCENA, C.J.P. Assessing the impact of aspects on exception flows: an exploratory study.. European Conference on Object‐Oriented Programming (ECOOP 2008), 22.. Paphos. 2008. Proceedings of p. 27/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 the 22nd European Conference on Object‐Oriented Programming (ECOOP´08). Springer. Berlin . p.207‐234. 2008. Internacional. (Publicada) •
COELHO, R. S.; RASHID, A.; KULESZA,U.; STAA, A.v.; LUCENA, C.J.P.; NOBLE, J. Exception Handling Bug Patterns in Aspect Oriented Programs. Conference on Patterns Language of Programs (PLoP 2008), 15. (Co‐located with OOPSLA 2008). Nashville, Tennessee. 2008. Proceedings. ACM. New York, NY. p.[1‐19]. 2008. Internacional. (Publicada) •
COELHO, R. S.; RASHID, A.; STAA, A.v.; NOBLE, J.; KULESZA,U.; LUCENA, C.J.P. A Catalogue of Bug Patterns for Exception Handling in Aspect‐Oriented Programs. Conference on Patterns Language of Programs (PLoP 2008), 15. (Co‐located with OOPSLA 2008). Nashville, TN USA. 2008. Proceedings of 2008 Conference on Patterns Language of Programs. ACM . New York, NY. p.1‐19. 2008. Internacional. (Publicada) •
COSTA, A.D.; LUCENA, C.J.P.; SILVA, V.T.; ALENCAR, P. A Hybrid Diagnostic‐Recommendation System for Agent Execution in Multi‐Agent Systems. International Conference on Software and Data Tecnologies (ICSOFT 2008), 3.. Porto. 2008. Proceedings of ICSOFT 2008. INSTICC . Setúbal. 2008. Internacional. (Publicada) •
COSTA, A.D.; LUCENA, C.J.P.; SILVA, V.T.; COWAN, D. D.; ALENCAR, P.; SANTOS NETO, B.F. A Hybrid Diagnostic‐Recommendation System for Agent Execution Applied to Ubiquitous Computing Systems. Workshop on Software Engineering for Agent‐Oriented Systems (SEAS), 4. (integrado ao SBES 2008). Campinas. 2008. Anais. SBC. Porto Alegre. p.25‐36. 2008. Nacional. (Publicada) •
COSTA, R. M. R.; MORENO, M.F.; SOARES, L.F.G. Intermedia synchronization management in DTV systems. . ACM Symposium on Document Engineering (DocEng 2008), 8.. São Paulo. 2008. Proceeding of the Eighth ACM Symposium on Document Engineering . ACM. New York. p.289‐297 . 2008. Internacional. (Publicada) •
CRUZ, V.M.; MORENO, M.F.; SOARES, L.F.G. Ginga‐NCL: implementação de referência para dispositivos portáteis.. Simpósio Brasileiro de Sistemas Multimídia e Hipermídia (WebMedia 2008), 14.. Vila Velha. 2008. Anais do XIV Simpósio Brasileiro de Sistemas Multimídia e Hipermídia. SBC. Porto Alegre. v.1. p.67‐74. 2008. Nacional. (Publicada) •
CUNHA, M.L.C.; RAPOSO, A.B.; FUKS, H. Educational technology for collaborative virtual environments. . International Conference on Computer Supported Cooperative Work in Design (CSCWD 2008), 12.. Xi’an. 2008. Proceedings of the 2008 12th International Conference on Computer Supported Cooperative Work in Design. IEEE. Los Alamitos. p.716‐720. 2008. Internacional. (Publicada) •
de SOUZA, C.S.; CYPHER, A. p. 28/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Semiotic engineering in practice: redesigning the CoScripter interface. Working Conference on Advanced Visual interfaces (AVI 2008). Nápoles. 2008. Proceedings of the Working Conference on Advanced Visual interfaces (Napoli, Italy, May 28 ‐ 30, 2008). AVI '08. ACM. New York. p.165‐172. 2008. Internacional. (Publicada) •
de SOUZA, C.S.; LAFFON, R.F.; LEITÃO, C. F. Communicability in multicultural contexts: a study with the International Children s Digital Library. . IFIP Human‐Computer Interaction Symposium (HCIS 2008). Milão. 2008. Proceedings of the 1st TC 13 Human‐Computer Interaction Symposium . Springer . Boston. s.IFIP International Federation for Information Processing, 272 . p.129‐142. 2008. Internacional. (Publicada) •
El Fallah Seghrouchni, A. ; BREITMAN,K. K.; SABOURET, N.; ENDLER, M.; CHARIF, Y. ; BRIOT, J. Ambient intelligence applications: introducing the campus framework.. IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), 13.. Belfast. 2008. Proceedings of the Thirteenth IEEE International Conference on Engineering of Complex Computer Systems. IEEE. Los Alamitos. p.165‐174. 2008. Internacional. (Publicada) •
ELIAS, P.C.; SÁ, A. M.; RAPOSO, A.B.; CARVALHO, P. C. P.; GATTASS, M. An augmented 3D album based on photos and building models.. International Conference on Virtual Systems and MultiMedia (VSMM 2008), 14.. Limassol. 2008. Proceedings of the 14th International Conference on Virtual Systems and MultiMedia. Archaeolingua. Budapeste. p.303‐310. 2008. Internacional. (Publicada) •
ELIAS, P.C.; SÁ, A. M.; RAPOSO, A.B.; GATTASS, M.; CARVALHO, P. C. P. Navegação 3D a partir de Fotos de Edificações e Modelos CAD. Iberian Latin American Congress on Computational Methods in Engineering (CILAMCE 2008), 29.. Maceió. 2008. Proceedings of XXIX CILAMCE. Associação Brasileira de Métodos Computacionais em Engenharia ‐ ABMEC . Rio de Janeiro. 2008. Internacional. (Publicada) •
FELICISSIMO, C.H.; BRIOT, J.; Chopinaud, C. ; LUCENA, C.J.P. DynaCROM: an Approach to Implement Regulative Norms in Normative Multiagent Systems. International Workshop on Normative Multiagent Systems (NorMAS 2008), 3. (associated with DEON 2008). Luxembourg. 2008. Proceedings of the 3rd DEON’08 International Workshop on Normative Multiagent Systems (NorMAS 2008). Université du Luxenbourg. Luxenbourg. p.[1‐
15]. 2008. Internacional. (Publicada) •
FELICISSIMO, C.H.; BRIOT, J.; Chopinaud, C. ; LUCENA, C.J.P.; VITERBO FILHO, J. How to Concretize Norms in NMAS? An Operational Normative Approach Presented with a Case Study from the Television Domain. International Workshop on Coordination, Organization, Institutions and Norms in Agent systems (COIN 2008), 6. (at AAAI 2008). Chicago. 2008. Proceedings of the AAAI’08 International Workshop on Coordination, Organization, Institutions and Norms in Agent systems (COIN@AAAI 2008). AAAI Press . Menlo Park, Ca.. p.[1‐
8]. 2008. Internacional. (Publicada) p. 29/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
FELICISSIMO, C.H.; Chopinaud, C. ; BRIOT, J.; El Fallah Seghrouchni, A. ; LUCENA, C.J.P. Contextualizing Normative Open Multi‐Agent Systems. ACM Symposium on Applied Computing (ACM SAC 2008), 23.. Fortaleza. 2008. Proceedings of the 23rd Annual ACM Symposium on Applied Computing (ACM SAC 2008). ACM. New York, NY. p.52‐59. 2008. Internacional. (Publicada) •
FELICISSIMO, C.H.; VITERBO FILHO, J.; VALENTE, L.P.S.; ENDLER, M.; BRIOT, J.; LUCENA, C.J.P.; FEIJO, B. Supporting Agents in Intelligent Environments with Protocol Information. IET International Conference on Intelligent Environments (IE 2008), 4.. Seattle. 2008. Proceedings. IEEE / The Institution of Engineering and Technology. Los Alamitos. p.1‐7. 2008. Internacional. (Publicada) •
FILIPPO, D. D. R.; FUKS, H.; LUCENA, C.J.P. Notificação‐ação: informação e acesso ao ambiente de aprendizagem através de notificações para suporte à coordenação de fóruns de cursos à distância. . Simpósio Brasileiro de Sistemas Colaborativos (SBSC 2008), 5. (em conjunto com Simpósio Brasileiro de Sistemas Multimídia e Web (WebMedia 2008), 14.) . Vila Velha. 2008. Anais do V Simpósio Brasileiro de Sistemas Colaborativos. SBC. Porto Alegre. p.111‐121. 2008. Nacional. (Publicada) •
FILIPPO, D. D. R.; FUKS, H.; LUCENA, C.J.P. Notificação para ação: uso de notificações para apoio a aprendizes e mediadores de fóruns de discussão em cursos à distância.. Simpósio Brasileiro de Informática na Educação (SBIE 2008), 19.. Fortaleza. 2008. Anais do XIX Simpósio Brasileiro de Informática na Educação. SBC. Porto Alegre. p.[1‐10]. 2008. Nacional. (Publicada) •
FONSECA, E.; CORREA, S.L.; CERQUEIRA, R. Experimenting middleware‐level monitoring facilities to observe component‐based applications.. Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2008), 2.. Porto Alegre. 2008. Anais do II Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software. SBC / EDIPUCRS. Porto Alegre. p.96‐106. 2008. Nacional. (Publicada) •
FONSECA, H.A.C.L; MALCHER, M.A.G.; AQUINO, J.F.S.; ROCHA, R.C.A.; ENDLER, M. Mobilis: uma arquitetura para aplicações móveis colaborativas e sensíveis ao contexto. . Worskhop on Pervasive and Ubiquitous Computing (WPUC 2008), 2. (paralelo ao Internatinal Symposium on Computer Architecture and High Performance Computing (SBAC‐PAD 2008), 20.). Mato Grosso. 2008. Anais do 2nd Worskhop on Pervasive and Ubiquitous Computing . SBC. Porto Alegre. p.[1‐6]. 2008. Nacional. (Publicada) •
FOOK, K.D.; AMARAL, S.; MONTEIRO, A.M.V.; CÂMARA, G.; CASANOVA, M.A. Sharing executable models through an open architecture based on geospatial web services: a case study in biodiversity modelling.. Brazilian Symposium on GeoInformatics (GeoINFO 2008), 10.. Rio de Janeiro. 2008. Proceedings of the X Brazilian Symposium on GeoInformatics. p. 30/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Instituto Nacional de Pesquisas Espaciais. São José dos Campos . p.[1‐13]. 2008. Nacional. (Publicada) •
FUKS, H.; RAPOSO, A.B.; GEROSA, M.A.; PIMENTEL, M.G.; LUCENA, C.J.P. Inter and intra‐relationships between communication coordination and cooperation in the scope of the 3C Collaboration Model. International Conference on Computer Supported Cooperative Work in Design (CSCWD 2008), 12.. Xi’an. 2008. Proceedings of the 2008 12th International Conference on Computer Supported Cooperative Work in Design. IEEE. Los Alamitos. p.148‐153. 2008. Internacional. (Publicada) •
FURTADO, A.L.; CASANOVA, M.A.; BARBOSA, S.D.J.; BREITMAN,K. K. Analysis and reuse of plots using similarity and analogy.. International Conference on Conceptual Modeling (ER 2008), 27.. Barcelona. 2008. Proceedings of the 27th International Conference on Conceptual Modeling. Springer. Berlin. s.Lecture Notes in Computer Science, 5231 . p.355‐368. 2008. Internacional. (Publicada) •
GADELHA, B.F.; GOMES, S.R.; FUKS, H. FLOCOS: sistema colaborativo à construção de objetos de aprendizagem funcionais.. Simpósio Brasileiro de Sistemas Colaborativos (SBSC 2008), 5. (em conjunto com com Simpósio Brasileiro de Sistemas Multimídia e Web (WebMedia 2008), 14.) . Vila Velha. 2008. Anais do V Simpósio Brasileiro de Sistemas Colaborativos. SBC. Porto Alegre. p.215‐223. 2008. Nacional. (Publicada) •
GATTI, M.A.C.; FAUSTINO, G.M.; CONCEIÇÃO, D. B.; VASCONCELOS FILHO, J.E.; LUCENA, C.J.P. Agent‐Oriented Stem Cell Computational Modeling . Seminário Integrado de Software e Hardware (SEMISH 2008), 35. (em conjunto co o Congresso da SBC (SBC 2008), 22). Belém. PA. 2008. Anais do SEMISH 2008. SBC. Porto Alegre. p.31‐45. 2008. Nacional. (Publicada) •
GATTI, M.A.C.; LUCENA, C.J.P. A Bio‐inspired Representation Model for Engineering Self‐Organizing Emergent Systems. Simpósio Brasileiro de Engenharia de Software (SBES 2008), 22. (em conjunto com SBBD 2008). Campinas. 2008. Anais do XXII Simpósio Brasileiro de Engenharia de Software . SBC. Porto Alegre. p.204‐219. 2008. Nacional. (Publicada) •
GATTI, M.A.C.; LUCENA, C.J.P.; GATTASS, M.; FAUSTINO, G.M.; CONCEIÇÃO, D. B. A 3D Multi‐Scale Agent‐based Stem Cell Self‐Organization. Workshop on Software Engineering for Agent‐oriented Systems (SEAS 2008), 4. (integrado ao Simpósio Brasileiro de Engenharia de Software (SBES 2008), 22.). Campinas, SP. 2008. Anais . SBC. Porto Alegre. p.37‐48. 2008. Nacional. (Publicada) •
GOMES, A.T.; ZIVIANI, A.; LIMA, L.S.; ENDLER, M.; CHELIUS, G. Mitigating reply implosions in query‐based service discovery protocols for mobile wireless ad hoc networks.. International Conference Ad‐hoc, Mobile and Wireless Networks (ADHOC‐NOW 2008), 7.. Sophia Antipolis. 2008. Proceedings of the 7th International Conference Ad‐hoc, p. 31/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Mobile and Wireless Networks. Springer. Berlin. s.Lecture Notes in Computer Science, 5198 . p.29‐42. 2008. Internacional. (Publicada) •
GOMES, G.R.R. ; CURTTIS, I.P.; SIQUEIRA, S.W.M. ; BRAZ, M.H.L.B. ; MELO, R.N. Reuso de definições existentes em documentos digitais no contexto de educação a distância.. International Conference on Engineering and Computer Education (INTERTECH 2008). Santos. 2008. Proceedings of the International Conference on Engineering and Technology Education. INTERTECH / COPEC. São Vicente, SP. p.449‐453. 2008. Internacional. (Publicada) •
GUIMARAES, R.L.; COSTA, R. M. R.; SOARES, L.F.G. Composer: authoring tool for iTV programs.. European Interactive TV Conference (EuroITV 2008), 6.. Salzburg. 2008. Proceedings of the 6th European Interactive Conference. Springer . Berlin. s.Lecture Notes in Computer Science, 5066 . p.61‐71. 2008. Internacional. (Publicada) •
JOSELLI, M.E.S.; ZAMITH, M.P.M.; GONZALEZ CLUA, E.W.; MONTENEGRO, A. A.;; CONCI, A.; LEAL‐
TOLEDO, R.C.P.; VALENTE, L.P.S.; FEIJO, B. Automatic dynamic task distribution between CPU and GPU for real‐time systems. . IEEE International Conference on Computational Science and Engineering (CSE 2008), 11.. São Paulo. 2008. Proceedings of the 11th IEEE International Conference on Computational Science and Engineering . IEEE. Los Alamitos. p.48‐55. 2008. Internacional. (Publicada) •
JOSELLI, M.E.S.; ZAMITH, M.P.M.; MONTENEGRO, A. A.;; LEAL‐TOLEDO, R.C.P.; CONCI, A.; VALENTE, L.P.S.; FEIJO, B. An adaptative game loop architecture with automatic distribution of tasks between CPU and GPU.. Symposium on Computer Games and Digital Entertainment (SBGames 2008), 7.. Belo Horizonte. 2008. Proceedings of SBGames . SBC. Porto Alegre. p.115‐120. 2008. Internacional. (Publicada) •
KOLARIC, S.; RAPOSO, A.B.; GATTASS, M. Direct 3D Manipulation Using Vision‐Based Recognition of Uninstrumented Hands. Symposium on Virtual and Augmented Reality (SVR 2008), 10.. João Pessoa. 2008. Proceedings of SVR 2008. SBC. Porto Alegre. p.212‐220. 2008. Nacional. (Publicada) •
LABER, E.S.; CICALESE, F. Function evaluation via linear programming in the priced information model. . International Colloquium Automata, Languages and Programming (ICALP 2008 ), 35.. Reykjavik. 2008. Proceedings of the 35th International Colloquium Automata, Languages and Programming . Springer. Berlin . s.Lecture Notes in Computer Science, 5125 . p.173‐185. 2008. Internacional. (Publicada) •
LABER, E.S.; MOLINARO, M.S. An Approximation Algorithm for Binary Searching in Trees.. International Colloquium Automata, Languages and Programming (ICALP 2008 ), 35.. Reykjavik. 2008. Proceedings of the p. 32/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 35th International Colloquium Automata, Languages and Programming . Springer. Berlin . s.Lecture Notes in Computer Science, 5125 . p.459‐471. 2008. Internacional. (Publicada) •
LEME, L.A.P.P.; FURTADO, A.L.; CASANOVA, M.A.; BREITMAN,K. K. Database mediation using multi‐agent systems.. IEEE Software Engineering Workshop (SEW‐
32), 32. (Co‐located with ISoLA, 3.). Kassandra. 2008. Proceedings. IEEE Computer Society. Los Alamitos. 2008. Internacional. (Publicada) •
LOBATO, C. A.; GARCIA, A.; KULESZA,U.; STAA, A.v.; LUCENA, C.J.P. Evolving and Composing Frameworks with Aspects: The MobiGrid Case. IEEE International Conference on Composition‐Based Software Systems (ICCBSS 2008), 7.. Madrid. 2008. Proceedings of the 7th IEEE International Conference on Composition‐Based Software Systems (ICCBSS). IEEE Computer Society. Los Alamitos, Ca.. p.53‐62. 2008. Internacional. (Publicada) •
MACHADO, L.E.; FEIJO, B. Parallel culling and sorting based on adaptive static balancing.. Symposium on Computer Games and Digital Entertainment (SBGames 2008), 7.. Belo Horizonte. 2008. Proceedings of SBGames . SBC. Porto Alegre. p.16‐23. 2008. Internacional. (Publicada) •
MALCHER, M.A.G.; ENDLER, M. A context‐aware collaborative presentation system for handhelds.. Simpósio Brasileiro de Sistemas Colaborativos (SBSC 2008), 5. (em conjunto com o WebMedia 2008). Vila Velha. 2008. Anais do 5º Simpósio Brasileiro de Sistemas Colaborativos . IEEE / SBC. Los Alamitos. p.[1‐11]. 2008. Nacional. (Publicada) •
MARTINS, C.B.; HAEUSLER, E.H. Automatic parallel code generation through denotational semantics and dependence graphs.. Workshop on Languages and Tools for Parallel and Distributed Programming (LTPD 2008), 2. (co‐located with SBLP 2008) . Fortaleza. 2008. Proceedings of LTPD 2008. SBC. Porto Alegre. p.[1‐8]. 2008. Nacional. (Publicada) •
MASIERO, L.P.; CASANOVA, M.A.; CARVALHO, M. T. M. Detecção automática de rotas de ônibus. . Brazilian Symposium on GeoInformatics (GeoINFO 2008), 10.. Rio de Janeiro. 2008. Proceedings of the X Brazilian Symposium on GeoInformatics. Instituto Nacional de Pesquisas Espaciais / SBC. São José dos Campos. p.[1‐6]. 2008. Nacional. (Publicada) •
MEDEIROS, S.Q.; IERUSALIMSCHY, R. A parsing machine for PEGs.. Dynamic Languages Symposium (DLS 2008) (co‐located with ECOOP 2008). Paphos. 2008. Proceedings of the 2008 Symposium on Dynamic languages . ACM. New York. p.[1‐12]. 2008. Internacional. (Publicada) •
METELLO, M.G.; CASANOVA, M.A. p. 33/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Serious games and GIS. . Colloquium to Celebrate Andrew Frank 60th Birthday. Vienna. 2008. Procroceedings of the Colloquium to Celebrate Andrew Frank 60th Birthday, 2008. . University of Vienna. Vienna. s.GeoInf Series, v. 39. p.67‐73. 2008. Internacional. (Publicada) •
METELLO, M.G.; CASANOVA, M.A.; CARVALHO, M. T. M. Using serious game techniques to simulate emergency situations. . Brazilian Symposium on GeoInformatics (GeoINFO 2008), 10.. Rio de Janeiro. 2008. Proceedings of the X Brazilian Symposium on GeoInformatics. Instituto Nacional de Pesquisas Espaciais. São José dos Campos . p.[1‐11]. 2008. Nacional. (Publicada) •
MORAES, P.L.; FEIJO, B.; PACHECO, M.A.C. Procedural animation with genetic algorithms and physics simulation. Symposium on Computer Games and Digital Entertainment (SBGames 2008), 7.. Belo Horizonte. 2008. Proceedings of SBGames . SBC. Porto Alegre. p.1‐5. 2008. Internacional. (Publicada) •
MORENO, M.F.; COSTA, R. M. R.; SOARES, L.F.G. Sincronismo entre fluxos de mídia contínua e aplicações multimídia em redes por difusão.. Simpósio Brasileiro de Sistemas Multimídia e Hipermídia (WebMedia 2008), 14.. Vila Velha. 2008. Anais do XIV Simpósio Brasileiro de Sistemas Multimídia e Hipermídia. SBC. Porto Alegre. v.1. p.202‐209. 2008. Nacional. (Publicada) •
MORENO, M.F.; SOARES NETTO, C. S.; NAGATO, F.; SOARES, L.F.G. Uma abordagem declarativa para geração e adaptação de aplicações de guias eletrônicos de programação. . Simpósio Brasileiro de Sistemas Multimídia e Hipermídia (WebMedia 2008), 14.. Vila Velha. 2008. Anais do XIV Simpósio Brasileiro de Sistemas Multimídia e Hipermídia. SBC. Porto Alegre. v.1. p.99‐106. 2008. Nacional. (Publicada) •
NUNES, C.P.B; KULESZA,U.; SANT'ANNA, C.N.; NUNES, I.O.; LUCENA, C.J.P. On the Modularity Assessment of Aspect‐Oriented Multi‐Agent Systems Product Lines: a Quantitative Study. Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2008), 2.. Porto Alegre. 2008. Anais do II Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software. SBC. Porto Alegre. p.122‐135. 2008. Nacional. (Publicada) •
NUNES, I.O.; KULESZA,U.; NUNES, C.P.B; CIRILO,E.J.R.; LUCENA, C.J.P. Extending Web‐Based Applications to Incorporate Autonomous Behavior. Simpósio Brasileiro de Sistemas Multimídia e Web (WebMedia 2008), 14.. Vila Velha. 2008. WebMedia 2008 ‐ XIV Simpósio Brasileiro de Sistemas Multimídia e Web. SBC. Porto Alegre. p.115‐122. 2008. Nacional. (Publicada) •
NUNES, I.O.; KULESZA,U.; NUNES, C.P.B; LUCENA, C.J.P. Documenting and Modeling Multi‐agent Systems Product Lines. International Conference on Software Engineering and Knowledge Engineering (SEKE 2008), 20.. City, San Francisco Bay. p. 34/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 2008. Proceedings of Twentieth International Conference on Software Engineering and Knowledge Engineering (SEKE 2008). Knowledge Systems Institute Graduate School. Skokie, Ill.. p.745‐751. 2008. Internacional. (Publicada) •
NUNES, I.O.; NUNES, C.P.B; KULESZA,U.; LUCENA, C.J.P. Developing and Evolving a Multi‐Agent System Product Line: An Exploratory Study. International Workshop on Agent‐Oriented Software Engineering (AOSE 2008), 9. (at AAMAS 2008). Estoril. 2008. Proceedings of the 9th International Workshop on Agent‐Oriented Software Engineering (AOSE 2008) at the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008). Springer. Berlin. s.Lecture Notes in Computer Science (to appear). p.177‐188. 2008. Internacional. (Publicada) •
OLIVEIRA, A. P. A.; LEITE, J.C.S.P.; CYSNEIROS, L. M. Método ERi*c ‐ Engenharia de Requisitos Intencional. Workshop on Requirements Engineering (WER 2008), 11.. Barcelona. 2008. Proceedings of the 11th Workshop on Requirements Engineering. Universitat Politecnica de Catalunya. Barcelona. p.155‐166. 2008. Internacional. (Publicada) •
OLIVEIRA, A. P. A.; LEITE, J.C.S.P.; CYSNEIROS, L. M.; LUCENA, C.J.P. i* Diagnoses: A Quality Process for Building i* Models. International Conference on Advanced Information Systems Engineering (CAiSE 2008), 20.. Montpellier. 2008. Proceedings of the Forum at the CAiSE'08 Conference. Sun SITE Central Europe / CEUR‐WS.org. Aachen. s.CEUR Workshop Proceedings Series, vol 344. p.9‐12. 2008. Internacional. (Publicada) •
PASSOS, E.B.; JOSELLI, M.E.S.; ZAMITH, M.P.M.; ROCHA, J.; GONZALEZ CLUA, E.W.; FEIJO, B. Supermassive crowd simulation on GPU based on emergent behavior.. Symposium on Computer Games and Digital Entertainment (SBGames 2008), 7.. Belo Horizonte. 2008. Proceedings of the VII Symposium on Computer Games and Digital Entertainment . SBC. Porto Alegre. p.70‐75. 2008. Nacional. (Publicada) •
PIMENTEL, M.G.; FUKS, H.; LUCENA, C.J.P. Não esqueci o que vocês disseram em mensagens passadas: elos para a convergência da discussão no fórum do AulaNet. . Conferencia Latinoamericana de Informática (CLEI 2008), 34.. Santa Fé. 2008. Anais da XXXIV Conferencia Latinoamericana de Informática,. Centro Latino Americano de Informatica ‐ CLEI. Valparaíso. p.1325‐1334. 2008. Internacional. (Publicada) •
PIMENTEL, M.G.; FUKS, H.; LUCENA, C.J.P. Um processo de desenvolvimento de sistemas colaborativos baseados no modelo 3C: RUP‐3C‐
Groupware.. Simpósio Brasileiro de Sistemas de Informação (SBSI 2008), 4.. Rio de Janeiro. 2008. Anais IV Simpósio Brasileiro de Sistemas de Informação. SBC. Porto Alegre. p.35‐47. 2008. Nacional. (Publicada) •
PIMENTEL, M.G.; FUKS, H.; LUCENA, C.J.P. p. 35/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Linking to several messages for convergence: A case study in the AulaNet forum. Collaboration Researchers International Workshop on Groupware (CRIWG 2008), 14. . OMAHA, NEBRASKA. 2008. Proceedings of CRIWG 2008 ‐ 14th Collaboration Researchers International Workshop on Groupware. p.198‐205. 2008. Internacional. (Publicada) •
QUEIROZ, F.M.; IERUSALIMSCHY, R. Efficient compilation of Lua for the CLR.. ACM Symposium on Applied Computing (ACM SAC 2008), 23.. Fortaleza. 2008. Proceedings of the 23rd Annual ACM Symposium on Applied Computing (ACM SAC 2008) . ACM. New York. p.217‐221 . 2008. Internacional. (Publicada) •
RADEMAKER, A.; HAEUSLER, E.H. Toward short and structural ALC‐reasoning explanations: a sequent calculus approach.. Brazilian Symposium on Artificial Intelligence (SBIA 2008), 19.. Salvador. 2008. Proceedings of the 19th Brazilian Symposium on Artificial Intelligence . Springer . Berlin . s.Lecture Notes in Computer Science, 5249 . p.167‐176. 2008. Nacional. (Publicada) •
RADEMAKER, A.; HAEUSLER, E.H.; PEREIRA, L.C.P.D. On the proof theory of ALC . Brazilian Logic Conference (EBL 2000), 15. (em conjunto com o Latin American Symposium on Mathematical Logic (SLALM 2008), 14.) . Paraty. 2008. CLE e‐
Prints. Center for Logic, Epistemology and the History of Science ‐ CLE / SBL. Campinas. v.8. n.6. p.[1‐10]. 2008. Nacional. (Publicada) •
REIS, V.Q.; CERQUEIRA, R. Reserva de processamento: uma abordagem no nível do usuário.. Workshop de Sistemas Operacionais (WSO 2008), 5. (em conjunto com o Congresso da Sociedade Brasileira de Computação, 28.). Belém. 2008. Anais do 5º Workshop de Sistemas Operacionais. SBC. Porto Alegre. p.99‐110. 2008. Nacional. (Publicada) •
REIS, V.Q.; CERQUEIRA, R. A tool for isolating performance in general‐purpose operating systems. . International Workshop on Middleware for Grid Computing (MGC 2008), 6. (in conjunction with ACM/IFIP/USENIX International Middleware Conference (Middleware 2008), 9.) . Leuven. 2008. Proceedings of the 6th International Workshop on Middleware for Grid Computing. ACM. New York. p.1‐6. 2008. Internacional. (Publicada) •
ROCHA, R.C.A.; ENDLER, M. Middleware for ubiquitous context awareness.. International Workshop on Middleware for Pervasive and Ad‐Hoc Computing (MPAC 2008), 6. (in conjunction with ACM/IFIP/USENIX International Middleware Conference (Middleware 2008). 9.) . Leuven . 2008. Proceedings of the 6th International Workshop on Middleware for Pervasive and Ad‐Hoc Computing . ACM. New York, NY. p.43‐48. 2008. Internacional. (Publicada) •
ROCHA, R. M. ; CHOREN, R.; LUCENA, C.J.P. p. 36/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Um Framework para a Simulação da Negociação de Serviços em Redes sem Fio. Worshop on Software Engineering for Agent‐oriented Systems (SEAS 2008), 4. (integrado ao Simpósio Brasileiro de Engenharia de Software (SBES 2008), 22.). Campinas, SP. 2008. Anais . SBC. Porto Alegre. p.49‐60. 2008. Nacional. (Publicada) •
RODRIGUES, D.S.S.; SIQUEIRA, S.W.M. ; BRAZ, M.H.L.B. ; MELO, R.N. A strategy for achieving learning content repurposing.. World Summit on the Knowledge Society (WSKS 2008).. Athenas. 2008. Proceedings of the First World Summit on the Knowledge Society. Springer. Berlin . s.Lecture Notes in Computer Science, 5288 . p.197‐204 . 2008. Internacional. (Publicada) •
RODRIGUES, D.S.S.; SIQUEIRA, S.W.M. ; BRAZ, M.H.L.B. ; MELO, R.N. Modeling learning practices as componets of learning objects and specifying sequences of content and practice. . IASTED International Conference Web‐based Education (WBE 2008), 7.. Insbruck. 2008. Proceedings of the Seventh IASTED International Conference Web‐based Education. Acta Press. Anaheim. p.22‐27. 2008. Internacional. (Publicada) •
SAMPAIO, A.L.; de SOUZA, C.S. Usuários podem escrever especificações de sistemas? Um estudo empírico com uma linguagem de script .. Simpósio Brasileiro de Fatores Humanos em Sistemas Computacionais (IHC 2008), 8.. Porto Alegre. 2008. Anais do VIII Simpósio Brasileiro de Fatores Humanos em Sistemas Computacionais. SBC. Porto Alegre. s.ACM International Conference Proceedings Series, vol. 378. p.224‐233. 2008. Nacional. (Publicada) •
SANT'ANNA, F.F.G.; CERQUEIRA, R.; SOARES, L.F.G. NCLua ‐ objetos imperativos Lua na llnguagem declarativa NCL. . Simpósio Brasileiro de Sistemas Multimídia e Hipermídia (WebMedia 2008), 14.. Vila Velha. 2008. Anais do XIV Simpósio Brasileiro de Sistemas Multimídia e Hipermídia. SBC. Porto Alegre. v.1. p.83‐90. 2008. Nacional. (Publicada) •
SANTOS, I.H.F.; RAPOSO, A.B.; GATTASS, M. Collaborative environment for engineering simulations with integrated VR visualization.. OTM Confederated International Workshops and Posters (in conjunction with ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS). Monterrey. 2008. Proceedings of the OTM Confederated International Workshops and Posters . Springer. Berlin. s.Lecture Notes in Computer Science, 5333. p.12‐13. 2008. Internacional. (Publicada) •
SANTOS, I.H.F.; RAPOSO, A.B.; GATTASS, M. A Software Architecture for an Engineering Collaborative Problem Solving Environment. IEEE Software Engineering Workshop (SEW‐32), 32. (Co‐located with ISOLA 2008) . Kassandra. 2008. Proceedings of SEW 2008. IEEE Computer Society. Los Alamitos, Ca.. 2008. Internacional. (Publicada) p. 37/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
SANTOS, I.H.F.; RAPOSO, A.B.; SOARES, L. P.; Corseuil, E.T.L.; WAGNER, G.N.; SANTOS, P.I.N.; TOELDO, R.P.R.; GATTASS, M. EnViron: An Integrated VR Tool for Engineering Projects. International Conference on Computer Supported Cooperative Work in Design (CSCWD 2008), 12.. Xi'an. 2008. Proceedings of CSCWD 2008. IEEE Computer Society. Los Alamitos, Ca.. v.2. p.721‐726. 2008. Internacional. (Publicada) •
SERRANO, M.; SERRANO, M.; LUCENA, C.J.P. Framework for Content Adaptation in Ubiquitous Computing Centered on Agents Intentionality and Collaborative MAS. Workshop on Software Engineering for Agent‐oriented Systems (SEAS 2008), 4. (integrado ao Simpósio Brasileiro de Engenharia de Software (SBES 2008), 22.) . Campinas, SP. 2008. Anais . SBC. Porto Alegre. p.1‐12. 2008. Nacional. (Publicada) •
SERRANO, M.; SERRANO, M.; NAPOLITANO, F.M.P.; ALMENTERO, E.K.; JACYNTHO, M.D.A.; SANTOS, D.L.; REZENDE, B.L.; LEITE, J.C.S.P. Avaliação experimental de um método para avaliação de equipes de requisitos.. Simpósio Brasileiro de Engenharia de Software (SBES), 22. (em conjunto com Simpósio Brasileiro de Banco de Dados (SBBD), 23.). Campinas. 2008. Anais do XXII Simpósio Brasileiro de Engenharia de Software. SBC. Porto Alegre. p.124‐139. 2008. Nacional. (Publicada) •
SERRANO, M.; SERRANO, M.; NAPOLITANO, F.M.P.; ALMENTERO, E.K.; JACYNTHO, M.D.A.; SANTOS, D.L.; REZENDE, B.L.; LEITE, J.C.S.P. Uma proposta para avaliação de equipes de requisitos.. Workshop on Requirements Engineering (WER 2008), 11.. Barcelona. 2008. Proceedings of the 11th Workshop on Requirements Engineering. Universitat Politecnica de Catalunya. Barcelona. p.34‐46. 2008. Internacional. (Publicada) •
SILVA, B.S.; BARBOSA, S.D.J.; LEITE, J.C.S.P. A language‐based approach to variability analysis.. Workshop on Requirements Engineering (WER 2008), 11.. Barcelona. 2008. Proceedings of the 11th Workshop on Requirements Engineering. Universitat Politecnica de Catalunya. Barcelona. p.179‐190. 2008. Internacional. (Publicada) •
SILVA, J. J. L.; ENDLER, M.; Springer, T. A middleware service for coordinated adaptation of communication services in groups of device. Middleware Support for Pervasive Computing Workshop (PerWare 2009) (at IEEE Conference on Pervasive Computing Communications (PerCom). Galvestone. USA. IEEE Computer Society. Los Alamitos. Internacional. (Aceita) •
SKYRME, A.R.A.; RODRIGUEZ, N.L.R.; IERUSALIMSCHY, R. Exploring Lua for concurrent programming. . Brazilian Symposium on Programming Languages (SBLP 2008), 12.. Fortaleza. 2008. Proceedings of the XII Brazilian Symposium on Programming Languages. SBC. Porto Alegre. p.117‐128. Nacional. (Publicada) p. 38/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
SOARES, B.C.B.A.; LUCENA, C.J.P.; GATTI, M.A.C. Towards Verifying and Optimizing Self‐Organizing Systems through an Autonomic Convergence Method. Workshop on Software Engineering for Agent‐Oriented Systems (SEAS 2008), 4. (integrado ao Simpósio Brasileiro de Engenharia de Software (SBES 2008), 22.). Campinas, SP. 2008. Anais do XXII Simpósio Brasileiro de Engenharia de Software (SBES 2008). SBC. Porto Alegre. p.73‐84. 2008. Nacional. (Publicada) •
SOARES, L.F.G.; RODRIGUES, R.F.; CERQUEIRA, R.; BARBOSA, S.D.J. Variable handling in time‐based XML declarative languages.. Annual ACM Symposium on Applied Computing (SAC 2009), 24.. Hawaii. 2009. Proceedings of the 24th Annual ACM Symposium on Applied Computing. ACM. New York. 2009. Internacional. (Aceita) •
SOARES, L. P.; Corseuil, E.T.L.; RAPOSO, A.B.; GATTASS, M. Uma Ferramenta de Realidade Virtual para Projetos de Engenharia. Iberian Latin American Congress on Computational Methods in Engineering (CILAMCE 2008), 29.. Maceió. 2008. Proceedings of XXIX CILAMCE. Associação Brasileira de Métodos Computacionais em Engenharia ‐ ABMEC . Rio de Janeiro. 2008. Internacional. (Publicada) •
SOARES NETTO, C. S.; de SOUZA, C.S.; SOARES, L.F.G. Linguagens computacionais como interfaces: um estudo com Nested Context Language . Simpósio Brasileiro de Fatores Humanos em Sistemas Computacionais (IHC 2008), 8.. Porto Alegre. 2008. Anais do VIII Simpósio Brasileiro de Fatores Humanos em Sistemas Computacionais. SBC. Porto Alegre. s.ACM International Conference Proceeding Series, vol. 378. p.166‐175. 2008. Nacional. (Publicada) •
SOARES NETTO, C. S.; SOARES, L.F.G. Autoria orientada a arquétipos para TV digital: uma abordagem restritiva e direcionada.. Conferência Latino Americana de Informática (CLEI 2008), 34.. Santa Fé. 2008. Anais da XXXIV Conferência Latino Americana de Informática. Centro Latino Americano de Informatica ‐ CLEI. Valparaíso. p.[1‐10]. 2008. Internacional. (Publicada) •
SOUSA, D.X.; LIFSCHITZ, S.; VALDURIEZ, P. BLAST distributed execution on partitioned databases with primary fragments.. International Workshop on High‐Performance Data Management in Grid Environments (HPDGrid 2008), 8. (Co‐located and organized with VECPAR 2008). Toulouse. 2008. Proceeding of the International Workshop on High‐Performance Data Management in Grid Environments. Springer . Berlin . s.Lecture Notes in Computer Science, 5336. p.544‐554. 2008. Internacional. (Publicada) •
TEIXEIRA, L.P.; CELES, W.; GATTASS, M. Accelerated Corner Detector Algorithms. British Machine Vision Conference (BMVC 2008). Leeds. 2008. Proceedings of the British Machine Vision Conference 2008. The British Machine Vision Association and Society for Pattern Recognition . Works. p.625‐634. 2008. Internacional. (Publicada) p. 39/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
TEIXEIRA, L.P.; LOAIZA FERNANDEZ, M. E.; RAPOSO, A.B.; GATTASS, M. Um Sistema Híbrido para Rastreamento Baseado em Esferas Retrorreflexivas e Características do Objeto Rastreado. Simposium on Virtual and Augmented Reality (SVR 2008), 10.. João Pessoa. 2008. Proceedings of SVR 2008. SBC. Porto Alegre. p.28‐35. 2008. Nacional. (Publicada) •
TEIXEIRA, L.P.; LOAIZA FERNANDEZ, M. E.; RAPOSO, A.B.; GATTASS, M. Augmented reality using projective invariant patterns.. International Symposium on Advances in Visual Computing (ISVC 2008), 4.. Las Vegas. 2008. Proceedings of the 4th International Symposium on Advances in Visual Computing. Springer. Berlin. s.Lecture Notes in Computer Science, 5358. p.520‐529 . 2008. Internacional. (Publicada) •
VALENTE, L.P.S.; de SOUZA, C.S.; FEIJO, B. An exploratory study on non‐visual mobile phone interfaces for games.. Simpósio Brasileiro de Fatores Humanos em Sistemas Computacionais (IHC 2008), 8.. Porto Alegre. 2008. Anais do VIII Simpósio Brasileiro de Fatores Humanos em Sistemas Computacionais. SBC. Porto Alegre. s.ACM International Conference Proceeding Series, vol. 378. p.31‐39. 2008. Nacional. (Publicada) •
VASCONCELOS, C.N.; SÁ, A. M.; CARVALHO, P. C. P.; GATTASS, M. Lloyd’s algorithm on GPU.. International Symposium on Advances in Visual Computing (ISVC 2008), 4.. Las Vegas. 2008. Proceedings of the 4th International Symposium on Advances in Visual Computing . Springer. Berlin . s.Lecture Notes in Computer Science, 5358. p.953‐964. 2008. Internacional. (Publicada) •
VASCONCELOS, C.N.; SÁ, A. M.; TEIXEIRA, L.P.; CARVALHO, P. C. P.; GATTASS, M. Real‐Time Video Processing for Multi‐Object Chromatic Tracking.. British Machine Vision Conference (BMVC 2008). Leeds. 2008. Proceedings of the British Machine Vision Confencence 2008. The British Machine Vision Association and Society for Pattern Recognition. Works. p.113‐122. 2008. Internacional. (Publicada) •
VASCONCELOS, D.R.; HAEUSLER, E.H. Towards an implementation theory via a game logic approach.. Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2008), 8.. Amsterdam. 2008. Pre‐Proceedings of the 8th Conference on Logic and the Foundations of Game and Decision Theory . Institute for Logic, Language and Computation / University of Amsterdam. Amsterdam. p.[1‐10]. 2008. Internacional. (Publicada) •
VASCONCELOS, D.R.; HAEUSLER, E.H. Quantifying in extensive games . Brazilian Logic Conference (EBL 2000), 15. (em conjunto com o LAtin American Symposium on Mathematical Logic (SLALM 2008), 14.) . Paraty. 2008. CLE e‐
Prints. Center for Logic, Epistemology and the History of Science ‐ CLE / SBL. Campinas. v.8. n.6. p.[1‐10]. 2008. Nacional. (Publicada) p. 40/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
VIDAL, V. M. P.; LEMOS, F.C. ; ARAUJO, V.S.; CASANOVA, M.A. A mapping‐driven approach for SQL/XML. . International Conference on Enterprise Information Systems (ICEIS 2008), 10. . Barcelona. 2008. Proceedings of ICEIS 2008 Tenth International Conference on Enterprise Information Systems. INSTICC. Setubal. 2008. Internacional. (Publicada) •
VITERBO FILHO, J.; ENDLER, M. A strategy for cooperative rule‐based reasoning in ubiquitous computing environments. . International Workshop on Middleware for Pervasive and Ad‐Hoc Computing (MPAC 2008), 6. (in conjunction with ACM/IFIP/USENIX International Middleware Conference (Middleware 2008). 9.) . Leuven . 2008. Proceedings of the 6th International Workshop on Middleware for Pervasive and Ad‐Hoc Computing . ACM . New York, NY. p.66‐71. 2008. Internacional. (Publicada) •
VITERBO FILHO, J.; ENDLER, M.; BRIOT, J. Ubiquitous service regulation based on dynamic rules. . IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), 13.. Belfast. 2008. Proceedings of the Thirteenth IEEE International Conference on Engineering of Complex Computer Systems. IEEE. Los Alamitos. p.175‐182. 2008. Internacional. (Publicada) •
VITERBO FILHO, J.; SACRAMENTO, V.; ROCHA, R.C.A.; MALCHER, M.A.G.; BAPTISTA, G.L.B.; ENDLER, M. A middleware architecture for context‐aware and location‐based mobile applications.. IEEE Software Engineering Workshop (SEW‐32), 32. (Co‐located with ISOLA 2008). Kassandra . 2008. Proceedings of the 32rd International Software Engineering Workshop. IEEE Computer Society. Los Alamitos, Ca.. EUA. Internacional. (Publicada) •
YU, Y.; LAPOUCHNIAN, A.; LIASKOS, S.; MYLOPOULOS, J.; LEITE, J.C.S.P. From goals to high‐variability software design.. International Symposium on Methodologies for Intelligent Systems (ISMIS 2008), 17. . Toronto. 2008. Proceedings of the 17th International Symposium on Methodologies for Intelligent Systems . Springer . Berlin . s.Lecture Notes in Computer Science, 4994 . p.1‐16. 2008. Internacional. (Publicada) •
YU, Y.; LEITE, J.C.S.P.; LAPOUCHNIAN, A.; MYLOPOULOS, J. Configuring features with stakeholder goals.. ACM Symposium on Applied Computing (SAC 2008), 23.. Fortaleza. 2008. Proceedings of the 2008 ACM Symposium on Applied Computing . ACM. New York. p.645‐649 . 2008. Internacional. (Publicada) p. 41/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Artigos em Periódicos
•
CAVALIERE, M.L.; CASANOVA, M.A.; FURTADO, A.L. Process pipeline scheduling.. Journal of Systems and Software. Elsevier North Holland. New York . v.81. n.3. p.307‐327. 2008. Internacional. (Publicada) •
CESAR, P.; BULTERMAN, D.C.A.; SOARES, L.F.G. Human‐Centered television: directions in interactive digital television research.. ACM Transactions on Multimedia Computing Communications and Applications. ACM. New York. v.4. n.4. p.24.1‐24.7. 2008. (Publicada) •
CIRILO,E.J.R.; KULESZA,U.; LUCENA, C.J.P. A Product Derivation Tool Based on Model‐Driven Techniques and Annotations. Journal of Universal Computer Science. Springer. Berlin. v.14. n.8. p.1344‐1367. 2008. Internacional. (Publicada) •
de SOUZA, C.S. Missing links in the rhetoric of activity theory.. Interacting with Computers. Elsevier. Amsterdam . v.20. n.2. p.267‐271. 2008. Internacional. (Publicada) •
FURTADO, A.L.; BREITMAN,K. K.; CASANOVA, M.A.; BARBOSA, S.D.J. Applying analogy to schema generation.. iSys : Revista Brasileira de Sistemas de Informação. UNIRIO. Rio de Janeiro. v.1. p.[1‐8]. 2008. (Publicada) •
GARCIA, A.; LUCENA, C.J.P. Taming Heterogeneous Agent Architectures. Communications of the ACM. ACM Press. New York. v.51. n.1. p.75‐81. 2008. Internacional. (Publicada) •
GORDEEV, L.; HAEUSLER, E.H.; COSTA, V.G. Proof compressions with circuit‐structured substituitions.. Zapiski naučnyh seminarov Leningradskogo otdeleniâ ordena Lenina Matematičeskogo instituta im. V.A. Steklova Akademii nauk SSSR. Nauka. Sankt‐Peterburg . v.358. p.77‐99. (Publicada) •
IERUSALIMSCHY, R. A text pattern‐matching tool based on parsing expression grammars. . Software, Practice & Experience. Wiley Interscience . New York, NY. p.1‐30. 2008. Internacional. (Publicada) •
LABER, E.S. p. 42/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 A randomized competitive algorithm for evaluating priced AND/OR trees.. Theoretical Computer Science. Elsevier Science. Amsterdam . v.401. n.1/3. p.120‐130. 2008. Internacional. (Publicada) •
LAENDER, A. H. F. ; LUCENA, C.J.P.; MALDONADO, J. C.; SILVA, E. S. ; ZIVIANI, N. Assessing the Research and Education Quality of the Top Brazilian Computer Graduate Programs. SIGCSE Bulletin Inroads. ACM Press. New York. v.40. n.2. p.135‐145. 2008. (Publicada) •
LEME, L.A.P.P.; BRAUNER, D.F.; BREITMAN,K. K.; CASANOVA, M.A.; GAZOLA, A. Matching object catalogues.. Innovations in Systems and Software Engineering (print). Springer . London. v.4. n.4. p.315‐328. 2008. (Publicada) •
LOBATO, C. A.; GARCIA, A.; ROMANOVSKY, A.; LUCENA, C.J.P. An Aspect‐oriented Software Architecture for Code Mobility. Software, Practice & Experience. Wiley Interscience. New York. v.38. n.13. p.1365 ‐ 1392. 2008. Internacional. (Publicada) •
LUCENA, C.J.P.; NORONHA, T. F.; RIBEIRO, C. C. C.; URRUTIA, S. A multi‐agent framework to retrieve and publish information on qualification and elimination data in sports tournaments. International Transactions in Operational Research. Blackwell ( Wiley / IFORS). Oxford. v.15. n.6. p.739‐753. 2008. Internacional. (Publicada) •
MAGALHAES, J.A.P.; STAA, A.v.; LUCENA, C.J.P. Evaluating the recovery‐oriented approach through the systematic development of real complex applications. Software, Practice & Experience. Wiley InterScience . New York, NY. s.SPE903. p.1‐16. 2008. Internacional. (Publicada) •
Martins, L. O.; Silva, A. C.; Paiva, A.C.; GATTASS, M. Detection of Breast Masses in Mammogram Images Using Growing Neural Gas Algorithm and Ripley’s K Function. Journal of Signal Processing Systems (Online). Spinger. Nova York. p.[1‐14]. 2008. (Publicada) •
MEDEIROS, A.P.; SCHWABE, D. Kuaba Approach: integrating formal semantics and design rationale representation to support design reuse.. Artificial Intelligence for Engineering Design, Analysis and Manufacturing. Academic Press. London . v.22. n.4. p.399‐419 . 2008. Internacional. (Publicada) •
MILANES BARRIENTOS, A. Y. ; RODRIGUEZ, N.L.R.; SCHULZE, B. State of the art in heterogeneous strong migration of computations.. Concurrency and Computation. Practice & Experience. John Wiley and Sons . Chichester. v.20. n.13. p.1485‐1508 . 2008. Internacional. (Publicada) p. 43/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
MILIDIU, R.L.; SANTOS, C.N.; DUARTE, J.C. Portuguese corpus‐based learning using ETL . Journal of the Brazilian Computer Society. SBC. Porto Alegre. v.14. n.4. p.17‐27. 2008. Internacional. (Publicada) •
MORENO, L. L. O.; ARAGAO, M.V.S.P.; UCHOA, E. Improved lower bounds for the split delivery vehicle routing problem.. Operations Research Letters. Elsevier. Amsterdam . (Aceita) •
MOURA, A.; IERUSALIMSCHY, R. Revisiting coroutines.. ACM Transactions on Programming Languages and Systems. ACM. New York. (Aceita) •
PAES, R.B.; LUCENA, C.J.P.; CARVALHO, G.R.; CHOREN, R. Interaction Laws for Dependability Explicit Computing in Open Multi‐agent Systems. IET software. Institution of Engineering and Technology. Herts. (Aceita) •
PAULINO, G.H.; CELES, W.; ESPINHA, R.S.L.; ZHANG, Z.J. A general topology‐based framework for adaptive insertion of cohesive elements in finite element meshes.. Engineering with Computers. Springer . London. v.24. n.1. p.59‐78 . 2008. Internacional. (Publicada) •
PEREIRA, L.C.P.D.; HAEUSLER, E.H. Alguns resultados sobre fragmentos da lógica proposicional clássica.. O Que nos faz pensar. Pontifícia Universidade Católica do Rio de Janeiro, Departamento de Filosofia. Rio de Janeiro . n.23. p.105‐111. 2008. (Publicada) •
PESSOA, A.A. ; ARAGAO, M.V.S.P.; UCHOA, E. A robust branch‐cut‐and‐price algorithm for the heterogeneous fleet routing problem. . Networks (New York). John Wiley . New York, NY. Internacional. (Aceita) •
RODRIGUEZ, N.L.R.; ROSSETTO, S. Integrating remote invocations with asynchronism and cooperative multitasking.. Parallel Processing Letters. World Scientific . Singapore. v.18. n.1. p.71‐85. 2008. Internacional. (Publicada) •
SACRAMENTO, V.; ENDLER, M.; de SOUZA, C.S. A privacy service for location‐based collaboration among mobile users. Journal of the Brazilian Computer Society. SBC. Porto Alegre. v.14. n.4. p.41‐57. 2008. Internacional. (Publicada) •
SANT'ANNA, C.N.; LOBATO, C. A.; KULESZA,U.; GARCIA, A.; Chavez, C. v. F.; LUCENA, C.J.P. p. 44/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 On the modularity assessment of aspect‐oriented multiagent architectures: a quantitative study. International Journal of Agent‐Oriented Software Engineering (Print). Inderscience / Metapress. Geneva. v.2. n.1. p.34–61. 2008. (Publicada) •
SCHWINGER, W.; RETSCHITZEGGER, W.; SCHAUERHUBER, A.; KAPPEL, G.; WIMMER, M.; PRÖLL, B.; CASTRO, C.C.; CASTELEYN, S.; DE TROYER, O.; FRATERNALI, P.; GARRIGOS, I.; GARZOTTO, F.; GINIGE, A.; HOUBEN, G‐J.; KOCH, N.; MORENO, N.; PASTOR, O.; PAOLINI, P.; FERRAGUD, V.P.; ROSSI, G.; SCHWABE, D.; TISI, M.; VALLECILLO, A.; SLUIJS, K.v.d.; ZHANG, G. A survey on web modeling approaches for ubiquitous web applications.. International Journal of Web Information Systems. Emerald. Bingley. v.4. n.3. p.234‐305. 2008. (Publicada) •
Silva, E.C.; Silva, A. C.; Paiva, A.C.; Nunes, R. A.; GATTASS, M. Diagnosis of Solitary Lung Nodules Using the Local Form of Ripley's K Function Applied to Three‐dimensional CT Data . Computer Methods and Programs in Biomedicine. Elsevier. Amsterdam. v.90. n.3. p.230‐239. 2008. Internacional. (Publicada) •
SILVA, V.T.; CHOREN, R.; LUCENA, C.J.P. MAS‐ML: A Multi‐Agent System Modeling Language. International Journal of Agent‐Oriented Software Engineering (Print). Inderscience / Metapress. Geneva. v.2. n.4. p.382‐421. 2008. (Publicada) •
SIQUEIRA, S.W.M. ; BRAZ, M.H.L.B. ; MELO, R.N. Navigational exploration of learning content.. Scientia. UNISINOS. São Leopoldo. v.19. n.1. p.36‐43. 2008. (Publicada) •
UCHOA, E.; FUKASAWA, R.; LYSGAARD, J.; PESSOA, A.A. ; ARAGAO, M.V.S.P.; ANDRADE, D. Robust branch‐cut‐and‐price for the capacitated minimum spanning tree problem over a large extended formulation.. Mathematical Programming. Springer. Berlin. v.112. n.2. p.443‐472 . 2008. Internacional. (Publicada) •
ZAMITH, M.P.M.; GONZALEZ CLUA, E.W.; CONCI, A.; MONTENEGRO, A. A.; LEAL‐TOLEDO, R.C.P.; PAGLIOSA, P.A.; VALENTE, L.P.S.; FEIJO, B. A game loop architecture for the GPU used as a math coprocessor in real‐time applications. . Computers in Entertainment : CIE. ACM. New York. v.6. n.3. p.1‐19. 2008. (Publicada) •
ZAUPA, F.; GIMENES, I.M.S.; COWAN, D. D.; ALENCAR, P.; LUCENA, C.J.P. A Service‐oriented Process to Develop Web Applications. Journal of Universal Computer Science. Springer. Berlin. v.14. n.8. p.1368‐1388. 2008. Internacional. (Publicada) p. 45/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Artigos em Jornais ou Revistas
•
COSTA, A.D.; LUCENA, C.J.P.; STAA, A.v. Ferramentas de Integração Contínua tornando o Trabalho de Equipes mais Organizado. Engenharia de Software Magazine . Rio de Janeiro. v.7. p.20‐27. 01/11/2008. Nacional. Capítulos de Livros
•
AUGUSTO, F. D. M.; SILVA, V.T.; LUCENA, C.J.P. Using Testimonies to Enforce the Behavior of Agents. Jaime Simão Sichman; Julian Padget; Sascha Ossowski; Pablo Noriega. Coordination, Organizations, Institutions, and Norms in Agent Systems III (COIN 2007 post‐proceedings). Springer‐Verlag. Berlin/Heidelberg. v.4870 . s.Lecture Notes in Computer Science / LNAI. 4870. p.218‐231. 2008. Internacional. (Publicada) •
BARBOSA, S.D.J.; SOARES, L.F.G. TV digital interativa no Brasil se faz com Ginga: fundamentos, padrões, autoria declarativa e usabilidade. . 3. Tomasz Kowaltowski; Karin Koogan Breitman . Atualização em Informática 2008. Ed. PUC‐Rio ; SBC. Rio de Janeiro ; Porto Alegre. p.105‐174. 2008. Nacional. (Publicada) •
BORGIDA, A.; CASANOVA, M.A.; LAENDER, A.H.F. Logical database design: from conceptual to logical schema. . M. Tamer Özsu; Ling Liu. Encyclopedia of Database Systems. Springer. Heidelberg. Internacional. (Aceita) •
BRAZ, M.H.L.B. ; SIQUEIRA, S.W.M. ; MELO, R.N. Standardization in learning technology.. Mehdi Khosrow‐Pour . Encyclopedia of Information Science and Technology. Information Science Reference. Hershey. v.7. p.3570‐3576. 2008. Internacional. (Publicada) •
COSTA, A.D.; LUCENA, C.J.P.; SILVA, V.T.; AZEVEDO, S.C.; SOARES, F. DE A. Art Competition: Agent Designs to Handle Negotiation Challenges. R. Falcone; S. K. Barber; J. Sabater‐Mir; M.P. Singh. Trust in Agent Society, 11th International Workshop, TRUST 2008, Estoril, Portugal, May 12 ‐13, 2008. Revised Selected and Invited Papers. Springer‐Verlag. Berlim. s.Lecture Notes in Artificial Inteligence / LNCS, 5396. p.244‐272. 2008. Internacional. (Publicada) •
COSTA, G.A.O.P.; FEITOSA, R.Q.; CAZES, T.B.; FEIJO, B. Genetic Adaptation of Segmentation Parameters. . Thomas Blaschke; Stefan Lang; Geoffrey J. Hay. Object‐Based Image Analysis: Spatial Concepts for Knowledge‐Driven Remote Sensing Applications.. Springer . Berlin. s.Lecture Notes in Geoinformation and Cartography. p.679‐695. 2008. Internacional. (Publicada) p. 46/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
FELICISSIMO, C.H.; CHOREN, R.; BRIOT, J.; LUCENA, C.J.P.; Chopinaud, C. ; El Fallah Seghrouchni, A. Providing Contextual Norm Information in Open Multi‐Agent Systems. Manuel Kolp; Alessandro Fabricio Garcia; Paolo Bresciani; Brian Henderson‐Sellers; Haris Mouratidis. Agent Oriented Information Systems IV. Springer. Berlin / Heidelberg. s.Lecture Notes in Computer Science, 4898. p.19‐36. 2008. Internacional. (Publicada) •
FUKS, H.; RAPOSO, A.B.; GEROSA, M.A.; PIMENTEL, M.G.; LUCENA, C.J.P. The 3C Collaboration Model. Ned Kock. The Encyclopedia of E‐Collaboration. Idea Group Reference. Texas. p.637‐644. 2008. Internacional. (Publicada) •
FURTADO, A.L. The Crusaders' Grail. . 3. Norris J. Lacy. The Grail, the Quest, and the World of Arthur.. D. S. Brewer. Cambridge. s.Arthurian Studies . 2008. Internacional. (Publicada) •
GOMES, A.T.; ZIVIANI, A.; LIMA, L.S.; ENDLER, M. Service discovery approaches to mobile peer‐to‐peer computing.. Boon‐Chong Seet. Mobile peer‐to‐peer computing for next generation distributed environments: advancing conceptual and algorithmic applications. IGI Global. Hershey. Internacional. (Aceita) •
GUEDES, J.S.P.; SILVA, V.T.; LUCENA, C.J.P. A Reputation Model Based on Testimonies. Manuel Kolp; Alessandro Fabricio Garcia; Aditya Ghose; Brian Henderson‐Sellers; Haris Mouratidis. Agent Oriented Information Systems IV: Proc. of the 8th International Bi‐Conference Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg June 6, 2006, Revised Selected Papers . Springer. Berlim/Heidelberg. s.Lecture Notes in Computer Science, 4898. p.37‐52. 2008. Internacional. (Publicada) •
IERUSALIMSCHY, R. Lua Performance Tips. 2. Luiz Henrique de Figueiredo; Waldemar Celes Filho; Roberto Ierusalimschy. Lua Programming Gems. Lua.org. Rio de Janeiro. p.15‐28. 2008. Internacional. (Publicada) •
MARANHÃO, S.M.B.; RODRIGUES, R.F.; SOARES, L.F.G. On‐the‐fly time scaling for compressed audio streams.. E‐Business and Telecommunication Networks . Springer . Berlin. s.Communications in Computer and Information Science, 9. p.211‐
223. 2008. Internacional. (Publicada) •
PESSOA, A.A. ; ARAGAO, M.V.S.P.; UCHOA, E. Robust branch‐cut‐and‐price algorithms for vehicle routing problems.. Bruce Golden; S. Raghavan; Edward Wasil. The Vehicle Routing Problem: Latest Advances and New Challenges. Springer. Berlin. s.Operations Research/Computer Science Interfaces Series, 43 . p.297‐325. 2008. Internacional. (Publicada) p. 47/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
VITERBO FILHO, J.; MAZUEL, L.; CHARIF, Y. ; ENDLER, M.; SABOURET, N.; El Fallah Seghrouchni, A. ; BRIOT, J. Ambient intelligence: management of distributed and heterogeneous context knowledge.. Waltenegus Dargie. Context‐aware computing and self‐managing systems. CRC/Francis & Taylor. London. s.CRC Studies in Informatics Series. p.[44]. Internacional. (Aceita) Coletâneas
•
SCHWABE, D.; CURBERA, F.; DANTZIG, P. Proceedings of the Eighth International Conference on Web Engineering (ICWE 2008) . IEEE Computer Society. Los Alamitos. 374p. 2008. Internacional. •
TAIANI, F.; CERQUEIRA, R. Proceedings of the 7th Workshop on Reflective and Adaptive Middleware (ARM 2008). ACM. New York. 55p. 2008. Internacional. Livros
•
FIGUEREDO, L.H.; CELES, W.; IERUSALIMSCHY, R. Lua Programming Gems. . Lua.org. Rio de Janeiro. 368p. 2008. Nacional. (Publicada) Resumos de Artigos em Anais de Eventos Científicos
•
CORREA, S.L.; FONSECA, E.; CERQUEIRA, R. A self‐diagnosis approach for performance problem localization in component‐based applications.. IEEE/IFIP Network Operations and Management Symposium (NOMS 2008), 11.. Salvador. 2008. Proceedings of the 11th IEEE/IFIP Network Operations and Management Symposium . IEEE. Piscataway. p.931‐934. 2008. Internacional. (Publicada) •
CUNHA, H.S.; LEITE, J.C.S.P. Modelagem intencional de requisitos de segurança.. Workshop IberoAmericano de Engenharia de Requisitos e Ambientes de Software (IDEAS 2008), 11. (co‐located with International i* Workshop (ISTAR 2008), 3.). Recife. 2008. Anais do XI Workshop IberoAmericano de Engenharia de Requisitos e Ambientes de Software. Universidade Federal de Pernambuco. Recife. p.321‐326.. 2008. Internacional. (Publicada) •
GUIMARAES, R.L.; SOARES NETTO, C. S.; SOARES, L.F.G. p. 48/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 A visual approach for modeling spatiotemporal relations.. ACM Symposium on Document Engineering (DocEng 2008), 8.. São Paulo. 2008. Proceeding of the Eighth ACM Symposium on Document Engineering . ACM. New York. p.285‐288. 2008. Internacional. (Publicada) •
INTRATOR, C.; de SOUZA, C.S. Using web scripts to improve accessibility. . Simpósio Brasileiro de Fatores Humanos em Sistemas Computacionais (IHC 2008), 8.. Porto Alegre. 2008. Anais do VIII Simpósio Brasileiro de Fatores Humanos em Sistemas Computacionais. SBC. Porto Alegre. s.ACM International Conference Proceeding Series, 378 . p.292‐295. 2008. Nacional. (Publicada) •
LEITE, J.C.S.P. Software transparency.. Dagstuhl Perspectives Workshop: Science of Design : High‐Impact Requirements for Software‐Intensive Systems. Wadern. 2008. Extended abstracts. Schloss Dagstuhl ‐ Leibniz Center for Informatics. Wadern. 2008. Internacional. (Publicada) •
LEITE, J.C.S.P.; ALO, C.C. Exploring i* characteristics that support software transparency. International i* Workshop (ISTAR 2008), 3. (co‐located IDEAS 2008) . Recife. 2008. Proceedings of the Third International i* Workshop . Sun SITE Central Europe / CEUR‐WS.org . Aachen . s.CEUR Workshop Proceedings Series, vol 322 . p.51‐54. 2008. Internacional. (Publicada) •
MONTEIRO FILHO, J. M. S.; LIFSCHITZ, S.; BRAYNER, A. R. A. Uma ferramenta não‐intrusiva para a manutenção automática de índices.. Simpósio Brasileiro de Bancos de Dados (SBBD 2008), 23.. Campinas. 2008. Anais da Seção de Demos do SBBD . SBC. Porto Alegre. 2008. Nacional. (Publicada) •
NORONHA, M.F.; LIFSCHITZ, S.; MIRANDA, A.B. A practical evaluation of BioProvider. . Brazilian Symposium on Bioinformatics (BSB 2008), 3.. Santo André. 2008. Proceedings of the Third Brazilian Symposium on Bioinformatics. Springer . Berlin . s.Lecture Notes in Computer Science, 5167 . p.174‐177 . 2008. Nacional. (Publicada) •
OLIVEIRA, A. P. A.; LEITE, J.C.S.P.; CYSNEIROS, L. M. AGFL Agent Goals from Lexicon ‐ eliciting multi‐agent systems intentionality.. International i* Workshop (ISTAR 2008), 3. . Recife. 2008. Proceedings of the Third International i* Workshop . Sun SITE Central Europe / CEUR‐WS.org . Aachen . s.CEUR Workshop Proceedings Series, vol 322. p.29‐32. 2008. Internacional. (Publicada) •
PEREIRA, L.C.P.D.; HAEUSLER, E.H.; COSTA, V.G.; SANZ, W. Revisiting Peirce's rule in natural deduction.. Logic Coloquium (LC 2008). Berna. 2008. Abstracts of Logic Coloquium. Association for Symbolic Logic. New York . p.46. 2008. Internacional. (Publicada) •
RIBEIRO, M.H.F.; SOUZA, J.F.; SIQUEIRA, S.W.M. ; MELO, R.N. p. 49/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 An ontology‐driven model for semantic negotiation on metadata.. International Symposium on the Management of Industrial and Corporate Knowledge (ISMICK 2008), 12.. Niteroi. 2008. Anais do XII International Symposium on the Management of Industrial and Corporate Knowledge. UFF. Niteroi. p.[1‐4]. 2008. Internacional. (Publicada) •
SOUZA, J.F.; SIQUEIRA, S.W.M. ; MELO, R.N. Treatment of the evolution of ontologies based on negotiation techniques to support collaborative environments.. International Symposium on the Management of Industrial and Corporate Knowledge (ISMICK 2008), 12.. Niteroi. 2008. Anais do XII International Symposium on the Management of Industrial and Corporate Knowledge. UFF. Niteroi. p.[1‐4]. 2008. Internacional. (Publicada) •
Springer, T.; Schuster, D.; Braun, I.; SILVA, J. J. L.; ENDLER, M.; LOUREIRO, A. A. F. A flexible architecture for mobile real‐time collaboration services.. ACM/IFIP/USENIX International Middleware Conference (Middleware 2008), 9. . Leuven . 2008. Poster Session of the ACM/IFIP/USENIX 9th International Middleware Conference . ACM. New York, NY. p.[1‐2]. 2008. Internacional. (Publicada) •
VITERBO FILHO, J.; MALCHER, M.A.G.; ENDLER, M. Supporting the development of context‐aware agent‐based systems for mobile networks. . ACM Symposium on Applied Computing (SAC 2008), 23.. Fortaleza. 2008. Proceedings of the 2008 ACM Symposium on Applied Computing . ACM. New York. p.1872‐1873 . 2008. Internacional. (Publicada) •
WOLTER, U.; MARTINI, A.; HAEUSLER, E.H. Indexed logical closure operators.. Brazilian Logic Conference (CBL 2008), 15. (in conjuntion with Latin‐American Symposium on Mathematical Logic (SLALM 2008), 14. . Paraty. 2008. Pre‐
Proceedings of the Brazilian Logic Conference. Center for Logic, Epistemology and the History of Science ‐ CLE / SBL . Campinas. 2008. Nacional. (Publicada) p. 50/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Projetos
Projetos de Pesquisa e Desenvolvimento - Através de Auxílios Individuais
•
•
•
•
•
Algoritmos Aproximados, Aleatorizados e On‐Line o Coordenador: Eduardo Sany Laber o Breve Descrição: O principal tópico de pesquisa desta proposta diz respeito ao projeto e análise de algoritmos eficientes para avaliação de funções. o Data Inicial‐Final: 3/2007‐3/2010 o Órgão(s) Financiador(es): CNPQ o Classificação mais específica do Projeto: Produtividade em Pesquisa Aprimoramento de uma aplicação para compartilhamento de apresentações em computadores portáteis o Coordenador: Markus Endler o Breve Descrição: Este projeto tem como objetivo melhorar, complementar e otimizar o iPH, que atualmente se encontra na forma de um protipo operacional (tanto a versão Tablet como a versão Handheld). Além disso, o \IPH deverá ser tornado ciente de contexto através do acoplamento com os serviços de contexto e localização da MoCA. o Data Inicial‐Final: 12/2008‐9/2010 o Órgão(s) Financiador(es): CNPq Autonomic Semantic Platform o Coordenador: Karin Koogan Breitman o Colaborador(es): Luiz André Portes Paes Leme; Carolina Howard Felicissimo; Daniela Francisco Brauner; Alexandre Gazola o Breve Descrição: We propose an Autonomic Semantic Platform that will enable Autonomic Managers to consult, search, retrieve and integrate heterogeneous knowledge resources, e.g . solution topology, policy and problem determination knowledge, according to their needs. o Data Inicial‐Final: 8/2007‐8/2009 Componentes para o Ambiente de Desenvolvimento Integrado daVinci o Coordenador: Marcelo Gattass o Colaborador(es): Antonio Escaño Scuri o Breve Descrição: Apesar das facilidades de uso e potencialidades das ferramentas desenvolvidas no TECGRAF e de Lua, ainda não existe um ambiente de desenvolvimento que integre todas elas para a criação de aplicações de Computação Gráfica e Processamento de Imagens. Este é o intuito deste projeto: a criação de um ambiente de desenvolvimento integrado, o qual chamaremos de daVinci. O ambiente desenvolvido também será gratuito de forma a beneficiar uma quantidade maior de pessoas e poderá ser utilizado em cursos de formação em Computação Gráfica e Processamento de Imagens, sem custos para professores e alunos, e com boas possibilidades de aceitação o Data Inicial‐Final: 11/2007‐9/2008 o Órgão(s) Financiador(es): CNPq Composição e veiculação de conteúdo interativo para TV Digital o Coordenador: Bruno Feijó o Colaborador(es): Antonio Luz Furtado; Angelo Ernani Maia Ciarlini; Cesar Tadeu Pozzer o Breve Descrição: O objetivo final do projeto é a obtenção de dois protótipos para geração e veiculação de conteúdo para TV digital baseados nos conceitos de "storytelling" interativo, os quais deverão ser compatíveis com o SBTVD‐T o Data Inicial‐Final: 7/2008‐7/2012 o Órgão(s) Financiador(es): CAPES o Classificação mais específica do Projeto: Edital RH‐TVD 01/2007, No. 133/2008/CII/CGPE/DPB p. 51/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
•
•
•
Cooperativas de Fontes de Dados o Coordenador: Marco Antonio Casanova o Colaborador(es): Daniela Francisco Brauner; Luiz André Portes Paes Leme; Geraldo da Silva Rocha Netto; André Luiz Almeida Marins; Alexandre Gazola; Raphael do Vale Amaral Gomes o Breve Descrição: Este projeto visa desenvolver métodos e ferramentas para criação de cooperativas de fontes de dados, definidas como conjuntos de fontes de dados autônomas, interligadas através de mediadores que oferecem consulta e atualização dos dados. Uma fonte de dados é um termo neutro para designar um conjunto de dados encapsulados por um sistema de gerência de banco de dados ou por uma aplicação especificamente desenvolvida para tal. Os métodos de projeto propostos para cooperativas de fontes de dados enfatizarão a definição de padrões estendíveis para organização e acesso aos dados, simplificando a criação de mediadores. As ferramentas de consulta propostas incluirão mecanismos de flexibilização que substituem o conceito de resposta exata pelo conceito de resposta pelo melhor esforço. As ferramentas de atualização propostas também incluirão mecanismos para processamento flexível de workflows, resgatando a noção de transação, na medida do possível. Os métodos e ferramentas propostos manterão a liberdade das fontes de dados, inerente à noção de cooperativa. Os métodos e ferramentas propostos terão impacto tanto no contexto aberto da Web, expondo a semântica das fontes de dados de forma processável por software, quanto no contexto de corporações cujos dados residem em uma variedades de fontes relativamente autônomas. O primeiro contexto corresponde à visão da Web semântica, com a diferença de que a semântica tornada visível é a do conjunto de dados armazenados em uma fonte de dados. O segundo contexto é essencialmente o de uma federação de bancos de dados, exceto que elimina à priori os problemas oriundos da heterogeneidade semântica dos dados. o Data Inicial‐Final: 3/2007‐2/2010 o Órgão(s) Financiador(es): CNPq Desenvolvimento em Plataforma Lua com base em Cenários o Coordenador: Julio Cesar Sampaio do Prado Leite o Colaborador(es): Eduardo Kinder Almentero o Breve Descrição: Desenvolvimento de método de programação em Lua usando cenários como requisitos. o Data Inicial‐Final: 4/2008‐4/2009 o Órgão(s) Financiador(es): CNPq Engenharia de Groupware: Componentes para Colaboração o Coordenador: Hugo Fuks o Breve Descrição: O objetivo da pesquisa é avançar no delineamento de uma Engenharia de Groupware, baseada no Modelo 3C de Colaboração (comunicação, coordenação e cooperação) para o projeto e implementação de aplicações colaborativas, neste caso para o learningware AulaNet que está evoluindo para a versão 3.0 que será baseada em componentes. Discute‐se como o Modelo 3C de colaboração é usado para guiar o desenvolvimento dos frameworks a serem utilizados neste projeto para dar suporte ao desenvolvimento de serviços e componentes 3C; a arquitetura elaborada para montar um serviço; o processo de desenvolvimento dos serviços; e a extensão AulaNet_M (mobilidade). o Data Inicial‐Final: 3/2006‐2/2009 o Órgão(s) Financiador(es): CNPq, FAPERJ EU‐Composer: Ambiente de Autoria de Programas Audiovisuais Interativos para TV Digital por Não‐
Programadores o Coordenador: Simone Diniz Junqueira Barbosa o Breve Descrição: Com a introdução da TV digital interativa no Brasil, torna‐se necessário não apenas formar recursos humanos capazes de produzir conteúdo para essa tecnologia, mas também fornecer‐lhes ferramentas para tornar seu trabalho mais produtivo e criativo. Já existe uma ferramenta de autoria chamada Composer, disponível em www.ncl.org.br como software p. 52/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
•
livre. No entanto, uma inspeção dessa ferramenta permite identificar obstáculos para sua utilização em ampla escala. O principal obstáculo é a necessidade de conhecimento técnico alheio à formação dos produtores de mídias, pertencente ao domínio de programadores e profissionais de informática. O objetivo final deste projeto é desenvolver, com base na ferramenta Composer, um ambiente de autoria de programas para TV digital interativa, não para programadores, mas sim para profissionais capacitados em diversas áreas de criação e produção de mídias. Para isto, torna‐se necessário compreender profundamente as formas de trabalho e entendimento do domínio desses profissionais. É necessário também fazer uma avaliação com a ferramenta Composer, visando identificar problemas que os usuários enfrentam e determinar as causas desses problemas. Essa avaliação pode ser feita de três formas: inspeção da qualidade de uso do Composer por especialistas, buscando identificar problemas potenciais com base em heurísticas e boas práticas já estabelecidas na literatura da área de interação humano‐computador (IHC); testes com usuários, buscando identificar problemas reais que certos perfis de usuários enfrentam ao utilizar o Composer; e análise da ferramenta com base na pesquisa sobre o domínio. A partir dessa avaliação e da literatura sobre ambientes de design adaptáveis, será possível projetar um novo ambiente de autoria, o EU‐Composer, que deverá fazer a ponte entre os domínios de mídia não interativa e de mídia interativa, para não apenas capacitar os profissionais existentes nessa nova tecnologia, mas também tornar seu trabalho mais eficiente. o Data Inicial‐Final: 10/2007‐9/2009 o Órgão(s) Financiador(es): FAPERJ ‐ Jovens Cientistas do Nosso Estado FLEC – Fostering Learning through Engagement and Collaboration: Exploring and Evaluating the Use of Tablet PCs in Human‐Computer Interaction Education o Coordenador: Simone Diniz Junqueira Barbosa o Breve Descrição: In the course of this project, we will explore, document and evaluate alternative usages of the Tablet PC in the classroom. We aim to describe success and failure stories, and possibly to establish a set of principles and best practices for using the Tablet PC in a variety of classroom situations. One of the first classes in which we will introduce the Tablet PCs is an introductory human‐computer interaction (HCI) class. We have chosen HCI classes because of the interdisciplinary nature of the area and the diversity of content addressed. HCI design activities are highly collaborative in nature, and involve many rapid iterations to generate, evaluate and refine (or discard) design solutions. There is no “right” solution to an problem. Instead, diverse solutions need to be considered by both students and professors in a short period of time. Tablet PCs will facilitate students to work and collaborate in a more natural fashion, and will allow professors to give timely feedback which is paramount to the efficiency of learning in this area. The mobility will allow professors to make their courses more dynamic, by exploring different collaboration schemas both inside and outside the classroom, mimicking what happens in real design projects. o Data Inicial‐Final: 8/2007‐7/2009 o Órgão(s) Financiador(es): HP Imagens Médicas: Processamento, Análise e Visualização. o Coordenador: Marcelo Gattass o Colaborador(es): Paulo Cezar Pinto de Carvalho o Breve Descrição: As linhas de pesquisa propostas neste projeto pretendem investigar a aplicação de técnicas de processamento de imagens, computação gráfica e visão computacional no desenvolvimento de ferramentas que visem facilitar a identificação e o diagnóstico de nódulos, através do paradigma conhecido como “Diagnóstico Assistido por Computador ‐ Computer‐Aided Diagnosis (CAD)”. o Data Inicial‐Final: 1/2006‐12/2009 o Órgão(s) Financiador(es): CAPES p. 53/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
•
•
•
•
Instrumentando a Engenharia Semiótica para Promover a Auto‐Reflexão em Sistemas Adaptáveis e Adaptativos o Coordenador: Simone Diniz Junqueira Barbosa o Breve Descrição: O objetivo deste projeto é investigar, em linha com a teoria da engenharia semiótica (de Souza, 2005), os conceitos de reflexão (Smith, 1982) e accountability (Dourish, 1997) de sistemas interativos. Em particular, esses conceitos serão explorados na elaboração de uma arquitetura, um conjunto de modelos e uma abordagem de projeto e construção de sistemas adaptáveis (Mørch, 1997) e adaptativos (Schneider‐Hufschmidt et al., 1993; Opperman, 1994; Maybury & Wahlster, 1999). O objetivo prático do projeto é oferecer aos desenvolvedores de software um ferramental que lhes permita alavancar a qualidade de uso desse tipo de sistemas, promovendo um uso mais eficiente e criativo de software, sem incorrer em custos de projeto proibitivos. Para avaliar a abordagem proposta, será construído um sistema adaptável e adaptativo, sobre o qual será realizado um estudo de caso. o Data Inicial‐Final: 3/2007‐2/2010 o Órgão(s) Financiador(es): CNPq Integração Semântica de Dados o Coordenador: Karin Koogan Breitman o Data Inicial‐Final: 7/2007‐2/2011 o Órgão(s) Financiador(es): CNPq o Classificação mais específica do Projeto: Produtividade em Pesquisa Nível 2 Linguagem de Interação para Manipulação de Objetos em Ambientes de Realidade Virtual e Aumentada o Coordenador: Simone Diniz Junqueira Barbosa o Colaborador(es): Alberto Barbosa Raposo o Breve Descrição: Bolsa de mestrado para o aluno Marcus Alencar, obtida através do edital "Mestrado/Doutorado ‐ Edital MCT/CNPq nº 27/2007 / Edital MCT/CNPq nº 27/2007 ‐ Mestrado" (processo# 565117/2008‐4) o Data Inicial‐Final: 7/2008‐6/2009 o Órgão(s) Financiador(es): CNPq Mediação de Dados em Ambientes de Computação Autonômica o Coordenador: Karin Koogan Breitman o Colaborador(es): Luiz André Portes Paes Leme o Breve Descrição: Propomos investigar a criação de um framework para o planejamento e mediação de dados para ambientes de Computação Autonômica, capaz de habilitar agentes de softwares a agir como gerenciadores autonômicos, i.e., consultando, buscando, recuperando e integrando recursos heterogêneos e distribuídos, de acordo com suas necessidades. o Data Inicial‐Final: 11/2007‐11/2009 o Órgão(s) Financiador(es): CNPq Middleware para Aplicações Ubíquas com Ciência de Contexto o Coordenador: Markus Endler o Breve Descrição: Ciência do contexto é considerada uma das principais características de middlewares para computação ubíqua. Apesar de muitos middlewares existentes já constituírem ferramentas úteis para o desenvolvimento de aplicações para redes móveis e ambientes ubíquos específicos, o desenvolvimento de aplicações genéricas, i.e. independentes de ambientes e middlewares para provisão de contexto específicos, ainda é um grande desafio. Os principais problemas são a dificuldade de descrever modelos de contexto que sejam genéricos e interoperáveis, a falta de padrões para a descoberta, interpretação e acesso às informações de contexto, a dificuldade de tratar adequadamente a imprecisão, a baixa confiabilidade e a instabilidade de dados de contexto, e a ausência de suporte para processamento multi‐modal de contexto. Esta pesquisa tem como objetivo projetar, implementar e incorporar à arquitetura de middleware MoCA novos protocolos, abstrações e p. 54/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
•
•
•
serviços necessários para desenvolver e executar aplicações cientes do contexto em ambientes ubíquos genéricos e redes móveis ad hoc. Assim, o projeto está alinhado com o Grande Desafio em Computação ``Desenvolvimento tecnológico de qualidade: sistemas disponíveis, corretos, seguros, escaláveis, persistentes e ubíquos''. o Data Inicial‐Final: 4/2008‐4/2010 o Órgão(s) Financiador(es): CNPq Modelagem e Visualização em Sistemas Técnico‐Científicos Distribuídos o Coordenador: Marcelo Gattass o Demais Coordenadores: Waldemar Celes Filho; Alberto Barbosa Raposo o Colaborador(es): Paulo Cezar Pinto de Carvalho; Luiz Fernando Campos Ramos Martha; Flavio Szenberg o Breve Descrição: O objetivo central desta proposta é investigar, propor e implementar modelagens matemáticas, estruturas de dados e algoritmos que dão suporte a sistemas de visualização que apoiem atividades de projetos, treinamento e operação em Engenharia, Geologia e Geofísica. Os modelos investigados nesta proposta também são úteis para visualização de Imagens Médicas 3D/4D. Finalmente, a pesquisa contempla a possibilidade dss sistemas computacionais estarem geograficamente distribuídos. o Data Inicial‐Final: 7/2007‐2/2010 o Órgão(s) Financiador(es): CNPq o Classificação mais específica do Projeto: Produtividade em Pesquisa Nível 1A Paradigmas, Técnicas de Otimzação e Aplicações: Logística, Produção e Telecomunicações o Coordenador: Marcus Vinicius Soledade Poggi de Aragão o Breve Descrição: Pesquisa em técnicas para resolução de problemas combinatórios. o Data Inicial‐Final: 3/2007‐2/2010 o Órgão(s) Financiador(es): CNPq o Classificação mais específica do Projeto: Produtividade em Pesquisa ‐ PQ Projeto e Análise de Linguagens Dinâmicas o Coordenador: Roberto Ierusalimschy o Data Inicial‐Final: 3/2006‐2/2009 o Órgão(s) Financiador(es): CNPq o Classificação mais específica do Projeto: Bolsa de pesquisa nível 1D Significação Cultural em Linguagens de Interface para Usuários o Coordenador: Clarisse Sieckenius de Souza o Breve Descrição: Este projeto de pesquisa é um passo inicial na direção de facilitar contatos interdisciplinares que possam, a médio prazo, promover soluções para problemas de acessibilidade ligados à significação cultural em linguagens de interface de usuários. Seus objetivos globais são: Objetivo Geral 1: Enunciar hipóteses e explicações da Engenharia Semiótica sobre fenômenos de significação cultural por meio de Tecnologias de Informação e Comunicação. Objetivo Geral 2: Criticar tais hipóteses e explicações através de um método científico. Objetivo Geral 3: Produzir revisões da teoria a partir das críticas realizadas, através de extensões, ajustes ou refutações de partes hoje enunciadas. Objetivo Geral 4: Contribuir para a formação de pesquisadores e profissionais técnicos que possam tratar dos problemas de acessibilidade cultural na Internet Brasileira (especialmente em websites do poder público). Serão indicadores de produtividade deste projeto, os seguintes itens: Publicações em veículos de divulgação científica qualificados; Teses e Dissertações concluídas ou em andamento; Participações em foros de discussão e de eventos científicos, especialmente quando interdisciplinares; Oferta de cursos avançados de pós‐graduação e projetos/laboratórios/estágios de iniciação científica da graduação; e Articulação com projetos de outros professores e laboratórios de pesquisa, dentro e/ou fora da PUC‐Rio. o Data Inicial‐Final: 3/2007‐2/2010 o Órgão(s) Financiador(es): CNPq p. 55/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Classificação mais específica do Projeto: Bolsa nível 1C Sistema de Software Transparentes o Coordenador: Julio Cesar Sampaio do Prado Leite o Colaborador(es): Claudia Cappelli Aló; Eduardo Kinder Almentero; Antonio de Padua Albuquerque Oliveira; Herbert de Souza Cunha; Maurício Serrano; Fillipe Machado Pinto Napolitano o Breve Descrição: O interesse pelo conceito de transparência de software foi uma dos resultados de um período como visiting scholar (2003 2004) na Universidade de Toronto. Com o aprofundamento no entendimento sobre as representações intencionais, passamos a melhor entender a importância da transparência. Ficou claro que precisamos buscar maneiras mais transparentes de informar a sociedade sobre o software que permeia processos e artefatos que envolvem digitalização. o Data Inicial‐Final: 3/2007‐2/2010 o Órgão(s) Financiador(es): CNPq Sistemas de Informação Avançados o Coordenador: Daniel Schwabe o Colaborador(es): Daniele Reis Gonzaga Santos; Danielle Loyola Santos; Francisco José Zamith Guimarães; Hazel Carvalho Crato; Marcelo Cohen de Azevedo; Mark Douglas de Azevedo Jacyntho; Mauricio Henrique de Souza Bomfim; Miguel Rezende da Silva; Pedro Maia Torres ; Ricardo Niederberger Cabral; Samur Felipe Cardoso de Araújo; Vinicius da Silva Almendra; Andréia Miranda de Luna o Breve Descrição: Esta pesquisa estuda aplicações hipermidia, sobretudo na Web, vistas como parte de times homem‐máquina que resolvem problemas. O projeto e implementação destas aplicações é realizado através de abordagens dirigidas por modelos. o Data Inicial‐Final: 3/2007‐2/2010 o Órgão(s) Financiador(es): CNPq o Classificação mais específica do Projeto: Produtividade em Pesquisa IB Software Transparente o Coordenador: Julio Cesar Sampaio do Prado Leite o Colaborador(es): Claudia Cappelli Aló; Antonio de Padua Albuquerque Oliveira; Herbert de Souza Cunha; Maurício Serrano; Fillipe Machado Pinto Napolitano o Breve Descrição: Estudo das caractéristicas básicas dos sistemas de software para permitirem transparência, isto é informar aos cidadãos sobre seu funcionamento. o Data Inicial‐Final: 3/2007‐3/2009 o Órgão(s) Financiador(es): CNPq o Classificação mais específica do Projeto: Edital Universal 2006 Transparência de Software o Coordenador: Julio Cesar Sampaio do Prado Leite o Colaborador(es): Claudia Cappelli Aló; Antonio de Padua Albuquerque Oliveira; Herbert de Souza Cunha; Maurício Serrano; Fillipe Machado Pinto Napolitano o Breve Descrição: Estudo das caractéristicas básicas dos sistemas de software para permitirem transparência, isto é informar aos cidadãos sobre seu funcionamento. o Data Inicial‐Final: 10/2007‐10/2009 o Órgão(s) Financiador(es): Finep o Classificação mais específica do Projeto: Prêmio Cientista do Nosso Estado UISkEI: Instrumento para Esboços e Avaliação de Interfaces de Usuário o Coordenador: Simone Diniz Junqueira Barbosa o Colaborador(es): Vinícius Costa Villas Bôas Segura o Breve Descrição: O objetivo maior subjacente ao trabalho de pesquisa e desenvolvimento da proponente é integrar o projeto de IHC a processos de desenvolvimento pregados pela Engenharia de Software. Para alcançar esse objetivo, este projeto propõe a concepção, o
•
•
•
•
•
p. 56/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
desenvolvimento e testes de uma ferramenta computacional que apóie, também de forma integrada, a construção e avaliação de esboços de interface, e que permita especificar o comportamento do sistema do ponto de vista do usuário, ancorado ainda em um modelo de interação. Este projeto visa contribuir tanto para o ensino quanto para a pesquisa e prática de IHC. o Data Inicial‐Final: 11/2008‐10/2010 o Órgão(s) Financiador(es): CNPq o Classificação mais específica do Projeto: Edital Universal Visualização, Simulação e Entretenimento Digital o Coordenador: Bruno Feijó o Breve Descrição: Do ponto de vista de empreendimentos de P&D, o presente projeto pretende consolidar a Rede Brasileira de Tecnologias de Visualização (RBV) e o Laboratório de Visualização (VisionLab/IGames). Da perspectiva de pesquisa, o presente projeto visa: desenvolver o paradigma de Storytelling para TV Interativa; apresentar propostas para composição em tempo real (especialmente jogos digitais); e desenvolver sistemas para animação facial e simulação de emoções em personagens virtuais. o Data Inicial‐Final: 3/2007‐2/2010 o Órgão(s) Financiador(es): CNPq o Classificação mais específica do Projeto: Bolsa nível 1C Projetos de Pesquisa e Desenvolvimento - Integrados
•
•
Middleware com suporte a ciência do contexto para aplicações ubíquas o Coordenador: Markus Endler o Breve Descrição: Esta pesquisa tem como objetivo projetar, implementar e incorporar à arquitetura de middleware MoCA novos protocolos, abstrações e serviços necessários para desenvolver e executar aplicações cientes do contexto em ambientes ubíquos genéricos e redes móveis ad hoc. o Data Inicial‐Final: 3/2007‐3/2010 o Órgão(s) Financiador(es): CNPq o Classificação mais específica do Projeto: Produtividade em Pesquisa Mobilis o Coordenador: Antonio Alfredo Ferreira Loureiro o Demais Coordenadores: Markus Endler; Thomas Springer o Colaborador(es): Daniel Schuster; Iris Braun o Breve Descrição: O objetivo do projeto é desenvolver um middleware baseado em serviços com provisão ubíqua de informação de contexto, ciência de localização e adaptação dinâmica de serviços. A aplicação alvo é colaboração móvel com compartilhamento de informação de localização para grupos de pessoas (p.ex. turistas, equipes médicas, etc.). A arquitetura orientada a serviços (SOA) deve ser independente de plataforma, mas já foi desenvolvido um protótipo baseado em Andoid (da Google) e usando XMPP eo sistema Publish/Subscribe NaraderBrokering. o Data Inicial‐Final: 6/2007‐7/2009 o Órgão(s) Financiador(es): CNPq/BMBF Cooperação Brasil‐Alemanha p. 57/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Projetos de Pesquisa e Desenvolvimento - Patrocinados
•
•
Ancoragem o Coordenador: Ivan Fábio Mota de Menezes o Demais Coordenadores: Marcelo Gattass o Colaborador(es): Anderson Pereira; Frederico Carvalho Gomes; Joabson Lima Alves; Leonardo Seperuelo Duarte ; Luiz Felipe Machado da Silva; Thiago Manhente de Carvalho Marques; Thyago Cruz Lopes o Breve Descrição: Nos últimos anos, a crescente expansão das atividades de exploração de petróleo tem motivado o desenvolvimento de programas para o projeto de sistemas de ancoragem em águas profundas. Tais programas vêm se constituindo em ferramentas de uso cada vez mais amplo pela PETROBRAS, empregados desde a fase de concepção dos projetos até a instalação e operação dos sistemas. Dentre os programas desenvolvidos pelo Tecgraf/PUC‐Rio na área de ancoragem, destaca‐se o Prea3D, cujo objetivo principal é a realização de análises quase‐estáticas de configurações complexas de sistemas de ancoragem, formadas por linhas em catenária. Trata‐se de um sistema integrado, composto por um pré‐
processador gráfico interativo, no qual os modelos são criados; um módulo de análise numérica, baseado no Método dos Elementos Finitos; e um módulo de visualização gráfica dos resultados, tais como configurações de equilíbrio e tensões ao longo das linhas, entre outros. Atualmente, o Prea3D está sendo amplamente desenvolvido para se tornar um pré‐
processador gráfico "genérico" de programas utilizados pelo CENPES (Centro de Pesquisas da PETROBRAS) para a análise dinâmica de sistemas de ancoragem. Com relação aos projetos de risers um destaque especial é dado ao sistema computacional Anflex, desenvolvido pelo CENPES sob a coordenação do engenheiro Márcio Mourelle, para análise não‐linear, estática e dinâmica, determinística e aleatória, através do Método dos Elementos Finitos. Dentre as principais aplicações do Anflex, destacam‐se os modelos que envolvem: Risers Flexíveis (ou ainda: Rígidos em Catenária, Mistos, Perfuração e Completação), Linhas de Ancoragem e Tendões de Plataformas TLP. O Tecgraf/PUC‐Rio tem sido responsável pelo desenvolvimento das interfaces gráficas para geração dos dados necessários ao processamento numérico (pré‐
processamento gráfico) e para visualização dos resultados (pós‐processamento gráfico). A primeira versão do pré‐processador gráfico do Anflex se limitava à geração de modelos compostos por apenas uma linha (ou riser). Essa versão, denominada “mono‐linha”, foi amplamente utilizada por diversos usuários da Petrobras e, em função da necessidade de se gerar modelos cada vez mais complexos, deu‐se início ao desenvolvimento da interface “multi‐
linhas”, capaz de gerar várias linhas simultâneamente. Essa nova versão já se encontra em fase de utilização e tem sido aprimorada para que a geração dos modelos de análise se torne cada vez mais simples e eficiente. Atualmente, a versão “multi‐linhas” também tem sido especializada para problemas de instalação de risers. o Data Inicial‐Final: 1/2008‐12/2008 o Órgão(s) Financiador(es): Petrobras o Controle: FPLF o Classificação mais específica do Projeto: Cooperação de P&D com a PETROBRAS Automação de Projetos e Modelos 3D o Coordenador: Eduardo Thadeu Leite Corseuil o Demais Coordenadores: Marcelo Gattass o Colaborador(es): Marcio Henrique G. Pinto; Filip Duarte dos Santos; Hugo Fernandes Neves; Geiza Maria Hamazaki da Silva; Rodrigo Marques Almeida da Silva; Paola Regina Dalcanal; Guilherme Lemos Mazie; Flavio Ney Magno Filho; Rafael Rodrigues Dobal; Raphael Gomes de Sousa; Pedro Andrade Arantes; Guilherme Martino Felles; Thiago Valente Aguiar; Paulo p. 58/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
•
Fernandes Neves; Evandro Pereira Chaves; Mariana Vieira Abi Ramia Chimelli; Mauro Nunes Gaspar Filho; Yasmin Vilhena Marques o Breve Descrição: Dentre as atividades desempenhadas pela equipe do Tecgraf/PUC‐Rio nessa área, destaca‐se a construção de ferramentas de interação e visualização foto‐realistas em tempo real para ambientes virtuais, dando suporte a programas para representação e inspeção de maquetes eletrônicas, bem como para a representação de modelos naturais, tais como terrenos, reservatórios, céu e mar. Desenvolve‐se ainda ferramentas para implementar aplicações em ambientes distribuídos, permitindo que os usuários manipulem os modelos remotamente e sincronizem a visualização de aplicativos distribuídos. Outra atividade relacionada é o desenvolvimento de vídeos estereoscópicos, realizados com modelos virtuais (3D). Denominados como documentação audiovisual, os vídeos são utilizados para relatar, com uma linguagem técnica, porém de forma sintetizada, o desenvolvimento de novos projetos e tecnologias associadas. Trata‐se de ferramenta poderosa para divulgação de novos empreendimentos e é adequada para apresentações gerencias, onde a informação é passada de forma sucinta e com uma qualidade visual que confere um alto grau de realismo aos modelos representados. o Data Inicial‐Final: 1/2008‐12/2008 o Órgão(s) Financiador(es): Petrobras o Controle: FPLF o Classificação mais específica do Projeto: Cooperação de P&D com a PETROBRAS CSI – Cross Section Interpretation o Coordenador: Flavio Szenberg o Demais Coordenadores: Marcelo Gattass o Colaborador(es): Ítalo de Oliveira Matias; Aurélio Moraes Figueiredo; Victor Bogado da Silva Lins; Marcelo de Matos Nascimento o Breve Descrição: Descrever um conjunto de classes que caracterizem diversas entidades geológicas o Data Inicial‐Final: 1/2008‐12/2008 o Órgão(s) Financiador(es): Petrobras o Controle: FPLF o Classificação mais específica do Projeto: Cooperação de P&D com a PETROBRAS Engenharia de Sistemas Distribuídos o Coordenador: Renato Fontoura de Gusmão Cerqueira o Demais Coordenadores: Marcelo Gattass; Carlos Roberto Serra Pinto Cassino o Colaborador(es): André Luiz Soares Clínio dos Santos; André Oliveira da Costa; Claudio Antonio da Silva; Cristina Ururahy da Fontoura Cerqueira; Leonardo Abreu de Barros; Leticia Nogueira; Maria Julia Dias de Lima; Andrea Miranda Pizzol; Carlos Eduardo Lara Augusto; Isabella Almeida da Silva; Karla Nazaré Ferreira Damasceno; Maria Lúcia Arraes Seixas; Ana Carolina Innecco Cantuária de Araújo; Ana Lúcia Lodi da Cruz; Bernardo Breder; Carlos Eduardo Leite de Andrade; Ernani Sottomaior; Giovani Mancuso Tadei; Glauco Mas Cardoso da Silva; Gustavo Britto Hupsel de Azevedo; Hugo Roenick; Jorge Luiz Marques dos Santos; Julio Nobre Lopes; Leonardo da Silva Souza; Luiz Gustavo Ferreira da Silva Costa; Maurício de Paiva Colão; Paolo Bacci Mortari; Ricardo Calheiros de Miranda Cosme; Rodrigo Santiago F. de Oliveira; Victor Sá Freire Fusco; Renato Figueiró Maia; Valéria Quadros Reis; Sand Luz Correa; Maíra Athanázio Cerqueira Gatti; Juliana França Santos Aquino; Tomas Guisasola Gorham; Marcelo Andrade da Gama Malcher; Rodrigo Carneiro Henrique; Bernardo Quaresma Dias; Amadeu Andrade Barbosa Júnior; Hugo Marques de Castro Saldanha; Allan Alves Valeriano; Pedro Larronda Asti; Tathiane Mendonça Andrade o Breve Descrição: Desde meados da década de 90, pode‐se observar nos projetos de pesquisa e desenvolvimento do Tecgraf/PUC‐Rio uma crescente demanda por facilidades de processamento distribuído e de integração em ambientes de redes, tanto locais quanto p. 59/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
geograficamente distribuídas. Essa demanda trouxe vários novos desafios para o desenvolvimento de aplicações científicas e de engenharia, desde técnicas que viabilizem a interoperabilidade entre diferentes tecnologias até abstrações de programação e arquiteturas de software que facilitem o projeto e implementação de tais aplicações. O Grupo de Engenharia de Sistemas Distribuídos foi formado com o objetivo de atender essa demanda, e para isso tem atuado principalmente na investigação e desenvolvimento de novas abstrações, arquiteturas e sistemas de middleware para o desenvolvimento de sistemas distribuídos mais flexíveis, robustos e escaláveis. Dentre as diversas tecnologias desenvolvidas, merecem destaque: ferramentas para composição, adaptação e coordenação de sistemas distribuídos em tempo de execução; técnicas para oferecer interoperabilidade entre diferentes tecnologias de componentes de software distribuídos; modelos de componentes de software; arquiteturas e middlewares orientados a seviços para integração de aplicações científicas; frameworks para a gerência de recursos e execução de aplicações em ambientes distribuídos e heterogêneos; técnicas para especificação e execução de procedimentos de controle, monitoração e diagnóstico sobre plantas industriais; middlewares adaptáveis; serviços de diagnóstico de falhas para sistemas distribuídos autonômicos; middlewares para dispositivos móveis; middlewares para salas multimídia inteligentes; e middlewares para TV digital. O grupo também atua fortemente no desenvolvimento de aplicações distribuídas avançadas em colaboração com parceiros industriais. As necessidades dessas aplicações guiam o desenvolvimento de novas tecnologias, servindo também como um mecanismo de avaliação destas. Recentemente, o grupo tem atuado no desenvolvimento de ambientes integrados baseados na Web para execução e acompanhamento de aplicações em servidores e clusters de alto desempenho, um barramento para integração de aplicações científicas da área de Exploração e Produção da PETROBRAS, sistemas de automação industrial para refinarias e plataformas de petróleo, e sistemas de apoio logístico para a área de Abastecimento da PETROBRAS (planejamento e acompanhamento da cadeia logística). Essas aplicações são um importante canal para a transferência das tecnologias desenvolvidas no grupo para a sociedade. o Data Inicial‐Final: 1/2008‐12/2008 o Órgão(s) Financiador(es): Petrobras o Controle: FPLF o Classificação mais específica do Projeto: Cooperação de P&D com a PETROBRAS Engenharia de Sistemas Multi‐Agentes o Coordenador: Carlos José Pereira de Lucena o Colaborador(es): Maíra Athanázio Cerqueira Gatti; Elder José Reioli Cirilo; Andrew Diniz da Costa; Geisa Martins Faustino; Sérgio Luiz Ruivace Cerqueira; Camila Patrícia Bazílio Nunes; Ingrid Oliveira de Nunes; Manoel Teixeira de Abreu Netto; Baldoíno Fonseca dos Santos Neto; Diêgo Bispo Conceição; Donald D. Cowan; Paulo Alencar; Arndt von Staa; Firmo Freire; Ricardo Choren Noya; Amal El Fallah Seghrouchni ; Rodrigo de Barros Paes; Carolina Howard Felicissimo; Viviane Torres da Silva ; Hugo Fuks; Ruy Luiz Milidiú; Markus Endler; Julio Cesar Sampaio do Prado Leite; Toacy Cavalcante de Oliveira; Mariela Inés Cortes ; Raul Cesar Baptista Martins; Maria Cristina Pfeiffer Fernandes; Marcus Felipe Fontoura; Gustavo Robichez de Carvalho; Milene Serrano; Maurício Serrano; Jean‐Pierre Briot o Breve Descrição: Está associado aos seguintes projetos: Plataformas de Software Extensíveis Baseadas em Sistemas Multi‐Agentes (Pós Doutorado ‐ 151705/2008‐9): proposição de processos, técnicas e ferramentas de apoio as atividades de manutenção, reengenharia e evolução de software que serão apoiadas pela promissora tecnologia de agentes de software. Inclui a elaboração de uma base de conhecimento em processos e técnicas baseados em modelos de qualidade largamente utilizados e nos principais problemas de manutenção identificados por meio de um estudo de caso em empresas que desenvolvem e mantém software. Além disso, associado aos processos e técnicas, serão identificadas e propostas um p. 60/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 conjunto de ferramentas de software que permitam apoiar e integrar as atividades de manutenção de software; Futuro da Tecnologia de Software e Suas Aplicações: Elaboração e desenvolvimento de técnicas promissoras de engenharia de software: ‐ Concerns e Aspectos ‐ Desenvolvimento baseado em Modelos (Model Driven) ‐ Linhas de Produto para Software (Software Product Lines) ‐ Sistemas Multi‐agentes ‐ Desenvolvimento Tecnológico de Qualidade (sistemas disponíveis, corretos, seguros,escaláveis, persistentes e ubíquos); Modelagem Computacional de Sistemas Biológicos e Sociais Baseada em Sistemas Multiagentes: Situa na área da análise, especificação e desenvolvimento de modelos, algoritmos e ferramentas computacionais para solução de sistemas complexos nos domínios biológicos, ambientais e sociais utilizando Sistemas Multiagentes. Serão tratados problemas tais como a simulação e visualização do comportamento evolutivo de células tronco; simulações e jogos de papéis baseadas em agentes computacionais para a gestão participativa de áreas protegidas (eg. parques nacionais no Brasil) e o desenvolvimento de novas possibilidades de interação, inovação e criação de conteúdo de forma colaborativa em comunidades virtuais de larga escala. O objetivo principal é o desenvolvimento de pesquisas e aplicações que demonstrem a aplicabilidade da tecnologia de agentes de software a domínios reais, complexos e relevantes. Os resultados deste projeto prevêem a criação de fundamentos e o desenvolvimento de tecnologias que possam contribuir para o desenvolvimento dos modelos computacionais previstos no projeto. Alguns exemplos de técnicas e fundamentos que serão desenvolvidas no âmbito deste projeto são: linguagens de modelagem, arquitetura para implementação, métodos e abordagens para o suporte ao processo de desenvolvimento, e modelos computacionais baseados em organizações multiagentes; Sistemas Multi‐Agentes para Domínios Complexos Análise de Risco Geo‐Ambiental: São raras as aplicações complexas de Sistemas Multi‐Agentes, em particular baseadas em uma Engenharia de Software de Sistemas Multi‐Agentes rigorosa O objetivo principal deste projeto é o desenvolvimento de pesquisas e aplicações que demonstrem a aplicabilidade da tecnologia de agentes de software à domínios reais e complexos. Para isto, escolheu‐se o domínio de análise de risco geo‐
ambiental. Este domínio foi escolhido por ser considerado de alta relevância para o país e por ser considerado um domínio de alta complexidade que envolve um grande número de dados, variáveis e modelos. Pretende‐se contribuir, através de pesquisas e aplicações, com o amadurecimento de uma tecnologia de desenvolvimento de software que permitirá lidar melhor com a complexidade. Este projeto irá se defrontar com questões em aberto desafiadoras como definição de processos, testes e validação de sistemas multi‐agentes; IMBP ‐ Aplicações de Agentes de Software: Desenvolver competências nas áreas de Engenharia de Software para Sistemas Multi‐Agent, Web‐Semântica e e‐Learning; Engenharia de Software de Sistemas Multi‐Agentes [ESSMA/CTinfo (CNPq)] : Desenvolver a área de Engenharia de Software de Sistemas Multi‐Agentes (ESSMA), avaliando e validando seus fundamentos e as tecnologias desenvolvidas em domínios de aplicação que têm a vocação natural para a adoção de soluções baseadas em SMAs, como: Comércio Eletrônico, Computação Móvel, Educação à Distância e Otimização de Sistemas; Engenharia de Software para Aplicações Multi‐agentes Cooperativas (EMACA) : Este projeto de pesquisa focaliza no desenvolvimento de metodologias de desenvolvimento, arquiteturas de software, frameworks, linguagens de programação e linguagens de modelagem para fornecer suporte à especificação, construção e manutenção de sistemas multi‐agentes cooperativos, robustos e reutilizáveis; Agentes de Software em Solução Inovadora para Síndromes Hipertensivas na Gestação (Edital Telemedicina 09/2007): O objetivo deste projeto é desenvolver, testar e implementar aplicações de apoio a decisão médica através das tecnologias da Engenharia de Software para Sistemas Multiagentes (ESSMA) e exibir o potencial destas tecnologias para Medicina Fetal, Obstetrícia e Ginecologia para o apoio a orientação na assistência pré‐natal de gestantes com síndromes hipertensivas. Procura‐se: contribuir para o estabelecimento de uma ESSMA em todos os seus aspectos, com ênfase na aplicabilidade em medicina; desenvolver, como estudos de caso, aplicações de apoio p. 61/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
a treinamentos na área médica; produzir uma nova geração de doutores, mestres e técnicos; reduzir a morbidade e a mortalidade materna e fetal através da orientação de condutas obstétricas, com ênfase na redução das taxas de prematuridade (e suas complicações) e de internação em unidades de terapia intensiva; contribuir para a disseminação do conhecimento em medicina; e estruturar e organizar o conhecimento médico em modelos computacionais; Engenharia de Software de Sistemas Multi‐Agentes (ESSMA/CNPq‐Produtividade): Desenvolver a área de Engenharia de Software de Sistemas Multi‐Agentes (ESSMA), avaliando e validando seus fundamentos e as tecnologias desenvolvidas em domínios de aplicação que têm a vocação natural para a adoção de soluções baseadas em SMAs, como: Comércio Eletrônico, Computação Móvel, Educação à Distância e Otimização de Sistemas; Engenharia de Software de Sistemas Multi‐Agentes [ESSMA/Faperj (Cientistas do nosso Estado)]: Desenvolver a área de Engenharia de Software de Sistemas Multi‐Agentes (ESSMA), avaliando e validando seus fundamentos e as tecnologias desenvolvidas em domínios de aplicação que têm a vocação natural para a adoção de soluções baseadas em SMAs, como: Comércio Eletrônico, Computação Móvel, Educação à Distância e Otimização de Sistemas. o Data Inicial‐Final: 3/2002‐12/2010 o Órgão(s) Financiador(es): CNPq, FAPERJ o Controle: Próprio Engenharia de Software Aplicada o Coordenador: Carlos José Pereira de Lucena o Demais Coordenadores: Gustavo Robichez de Carvalho o Colaborador(es): Christiano Picanço de Assis ; Janaina de Souza Horacio; Michel Menezes Pinto ; Rafael Henrique Paiva Vieira ; Dario Ferreira; Yoshiro Nagae; Allyson Felipe da Silva Gomes; Daniel Mendonça da Silva; Eduardo Furtado de Mendonça M Velloso; Luana Lachtermacher; Márcio Aguiar Ribeiro; Silvia Helena Rocha de Resende; Manoel Teixeira de Abreu Netto; Leandra Mara da Silva; Andrew Diniz da Costa; Arndt von Staa; Akeo Tanabe ; Carolina Howard Felicissimo; Soeli Fiorini o Breve Descrição: Está associado aos seguintes projetos: Plataformas de Software Extensíveis Baseadas em Sistemas Multi‐Agentes (Pós Doutorado ‐ 151705/2008‐9): Proposição de processos, técnicas e ferramentas de apoio as atividades de manutenção, reengenharia e evolução de software que serão apoiadas pela promissora tecnologia de agentes de software. Inclui a elaboração de uma base de conhecimento em processos e técnicas baseados em modelos de qualidade largamente utilizados e nos principais problemas de manutenção identificados por meio de um estudo de caso em empresas que desenvolvem e mantém software. Além disso, associado aos processos e técnicas, serão identificadas e propostas um conjunto de ferramentas de software que permitam apoiar e integrar as atividades de manutenção de software; Futuro da Tecnologia de Software e Suas Aplicações: Elaboração e desenvolvimento de técnicas promissoras de engenharia de software: ‐ Concerns e Aspectos ‐ Desenvolvimento baseado em Modelos (Model Driven) ‐ Linhas de Produto para Software (Software Product Lines) ‐ Sistemas Multi‐agentes ‐ Desenvolvimento Tecnológico de Qualidade (sistemas disponíveis, corretos, seguros,escaláveis, persistentes e ubíquos); Programa de Residência em Desenvolvimento de Software: Inovação em Áreas Estratégicas: O programa de residência na área médica é uma modalidade de aperfeiçoamento profissional onde o participante vivencia situações reais através da supervisão de profissionais altamente capacitados. O LES da PUC‐Rio vem aplicando a mesma idéia para o contexto de software através de um projeto piloto de residência em desenvolvimento de software (PRDS), onde os alunos de graduação passam por um treinamento em tecnologias avançadas de desenvolvimento, associado as boas práticas de Engenharia de Software (ES). O trabalho é supervisionado pelo professor, mestrandos e doutorandos que estão relacionados ao LES. Os resultados esperados deste projeto são desenvolvimento de ferramentas, protótipos e aplicações; artigos científicos publicados em eventos nacionais e internacionais; indução de p. 62/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
•
•
novos alunos ingressando na pós‐graduação; complementação da formação técnica dos residentes em relação ao currículo tradicional; e trabalhos de conclusão de cursos de graduação; Escritório de Qualidade LES / Tecgraf / Petrobrás: Ambiente prático e experimental de disciplinas de engenharia de software em projetos reais e aplicados. Inclui atividades de pesquisa, desenvolvimento e experimentação com sistemas legados. o Data Inicial‐Final: 3/2006‐12/2010 o Órgão(s) Financiador(es): CNPq, FAPERJ o Controle: Próprio Ferramentas Inovadoras de Engenharia de Software para a Melhoria da Qualidade em Processos o Coordenador: Arndt von Staa o Demais Coordenadores: Gustavo Robichez de Carvalho o Colaborador(es): Rodrigo de Barros Paes; Rafael de Souza Lima Espinha o Breve Descrição: Este projeto tem como objetivo desenvolver e aprimorar conhecimento e aplicativos para a definição e institucionalização de processos de desenvolvimento de software. Para atingir este objetivo, foram elaboradas ferramentas e uma base de conhecimento contendo ativos de processo definidos segundo critérios presentes em modelos de qualidade ou normas de refe‐rência (CMMI e MPS.BR respectivamente). A metodologia utilizada para a realização deste projeto foi um ciclo inovador de residência em engenharia de software, que envolve as fases de treinamento, pesquisa, desenvolvimento e aplicação dos resultados obtidos em avaliações e em melhoria de processos em micro, pequenas, médias e grandes empresas. O projeto vem pro‐movendo a capacitação de recursos humanos especializados para a melhoria da qualidade do software desenvolvido em empresas de nosso país. Ainda, o projeto tem uma forte interação u‐niversidade‐empresa‐mercado, criando um ambiente propício a inovação em qualidade de soft‐ware na PUC‐Rio. o Data Inicial‐Final: 12/2006‐11/2008 o Órgão(s) Financiador(es): CNPq / RHAE o Controle: Próprio Gestão do Conhecimento através de Comunidades de Prática o Coordenador: Daniel Schwabe o Colaborador(es): Miguel Rezende da Silva; Marcelo Cohen de Azevedo; Carlos César Laufer o Breve Descrição: Este projeto investiga metodologias e ferramentas para o apoio à Gestão do Conhecimento através de Comunidades de Prática. o Data Inicial‐Final: 10/2007‐9/2009 o Órgão(s) Financiador(es): Petrobras o Controle: FPLF ICDL‐ Brasil o Coordenador: Clarisse Sieckenius de Souza o Demais Coordenadores: Jenny Preece o Colaborador(es): Simone Diniz Junqueira Barbosa; Carla Faria Leitão; Violeta de San Tiago Dantas Barbosa Quental; Rosana Kohl Bines; Jenny Preece; Allison Druin; Ben Bederson; Luciana Cardoso de Castro Salgado; Andréia Libório Sampaio; Sílvia Amélia Bim o Breve Descrição: O ICDL‐Brasil é um projeto de cooperação binacional entre a PUC‐Rio (Brasil) e a Universidade de Maryland College‐Park (Estados Unidos), apoiado pelo CNPq/NSF. Tem por objetivo traduzir e adaptar culturalmente a interface da Biblioteca Digital Internacional para Crianças (ICDL), com vistas a incentivar a leitura e a escrita junto a crianças brasileiras. Através deste incentivo, o projeto almeja contribuir para amenizar os efeitos dos altos índices de analfabetismo funcional existentes no Brasil. (Veja http://www.serg.inf.puc‐rio.br/icdl‐brasil) Situação: Em Andamento Natureza: Pesquisa o Data Inicial‐Final: 7/2006‐6/2009 o Órgão(s) Financiador(es): CNPq, NSF o Controle: Próprio p. 63/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Classificação mais específica do Projeto: Cooperação Binacional Inteligência Computacional para Sísmica o Coordenador: Ernesto Marchioni Fleck o Demais Coordenadores: Marcelo Gattass o Colaborador(es): João Felipe B. Alves; Julia Lima Fleck; Marcelo de Andrade Dreux o Breve Descrição: : Fornecer informações quantitativas (estatísticas, volumes, coordenadas...) e qualitativas (mapas sísmicos, perfis de poços...) a partir do tratamentos de dados sísmicos e de poços. o Data Inicial‐Final: 1/2008‐12/2008 o Órgão(s) Financiador(es): Petrobras o Controle: FPLF o Classificação mais específica do Projeto: Cooperação de P&D com a PETROBRAS Jovem Cientista de Nosso Estado o Coordenador: Eduardo Sany Laber o Data Inicial‐Final: 11/2007‐11/2009 o Órgão(s) Financiador(es): FAPERJ o Controle: Próprio o Classificação mais específica do Projeto: Jovem Cientista de Nosso Estado Modelagem e Desenvolvimento de ferramentas para armazenamento e recuperação de Modelos Hidrodinâmicos o Coordenador: Edward Hermann Haeusler o Breve Descrição: Modelagem e Desenvolvimento de ferramentas para armazenamento e recuperação de Modelos Hidrodinâmicos o Data Inicial‐Final: 8/2007‐8/2010 o Órgão(s) Financiador(es): PETROBRAS (CENPES) o Controle: FPLF o Classificação mais específica do Projeto: Desenvolvimento e Pesquisa Naval o Coordenador: Luiz Cristovão Gomes Coelho o Demais Coordenadores: Marcelo Gattass o Colaborador(es): Antonio Sergio Alves do Nascimento; Bruno de Barros Mendes Kassar; Eduardo Pasquetti; Ruben Gomez Diaz o Breve Descrição: Desde o início da parceria com a PETROBRAS, o Tecgraf/PUC‐Rio desenvolve programas para realizar a modelagem geométrica e simulação do comportamento estático e dinâmico de sistemas flutuantes complexos. O aumento da demanda por sistemas de cálculo que sejam capazes de fazer a modelagem e as análises em águas profundas e ultra‐profundas, aliado ao trabalho conjunto entre os Centros de Engenharia da PETROBRAS e o Tecgraf/PUC‐
Rio, fizeram com que os programas se transformassem em ferramentas fundamentais para o desenvolvimento e a validação de projetos. Mais recentemente, os sistemas de modelagem e estabilidade têm sido empregados também em programas de emergência e em operações diárias de bordo. o Data Inicial‐Final: 1/2008‐12/2008 o Órgão(s) Financiador(es): Petrobras o Controle: FPLF o Classificação mais específica do Projeto: Cooperação de P&D com a PETROBRAS Novas aplicações em dispositivos móveis com Kepler o Coordenador: Roberto Ierusalimschy o Breve Descrição: Desenvolver componentes (em código livre) para a plataforma Kepler para suporte à aplicações em dispositivos móveis. o Data Inicial‐Final: 1/2006‐12/2008 o Órgão(s) Financiador(es): FINEP,SEBRAE o
•
•
•
•
•
p. 64/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Controle: Outro PRONAV ‐ Programação de Navios o Coordenador: Marcus Vinicius Soledade Poggi de Aragão o Colaborador(es): Lorenza Leão Oliveira Moreno; Francisco Henrique de Freitas Viana; Carlos Raoni de Alencar Mendes; Juliana França Santos Aquino; Eduardo Uchoa Barboza; Roger Rocha o Breve Descrição: Desenvolvimento de algoritmos para gerar a movimentação dos produtos claros e escuros ao longo da costa do Brasil utilizando a frota contratada pela Petrobras. Demais Coordenadores: Rubens Nascimento Melo Colaboradores: Lorenza Leão Oliveira Moreno; Carlos Raoni de Alencar Mendes; Francisco Henrique de Freitas Viana; Gleidson Fonseca Soares; Eduardo Uchoa Barboza o Data Inicial‐Final: 6/2008‐11/2009 o Órgão(s) Financiador(es): CENPES ‐ PETROBRAS o Controle: FPLF o Classificação mais específica do Projeto: Contrato PETROBRAS Realidade Virtual e Aumentada o Coordenador: Alberto Barbosa Raposo o Demais Coordenadores: Marcelo Gattass o Colaborador(es): Luciano Pereira Soares; Thiago de Almeida Bastos ; Pablo Carneiro Elias; Gustavo Nunes Wagner; César Morais Palomo; Paulo Ivson Netto Santos; Pedro Luchini de Moraes ; Eduardo Telles Carlos; Cristina Nader Vasconcelos; Fabíola Alvares Rodrigues de Souza Maffra; Felipe Gomes de Carvalho; Daniel Ribeiro Trindade; Eduardo Bizarria Gaspar; Rafael Moreira Savelli; Marcus Franco Costa de Alencar; Manuel Eduardo Loaiza Fernandez; Lucas Pinto Teixeira; Djalma Lucio Soares da Silva; Rogerio Pinheiro de Souza; Bruno Campos de Oliveira Guedes; Eduardo Ribeiro da Silva; Henrique D'Escragnolle‐Taunay; Marcela Costa Câmara do Bonfim; Peter Furtado Dan; Renato Deris Prado o Breve Descrição: Dentre as atividades desempenhadas pela equipe do Tecgraf/PUC‐Rio nessa área, destaca‐se a construção de ferramentas de interação e visualização foto‐realistas em tempo real para ambientes virtuais, dando suporte a programas para representação e inspeção de maquetes eletrônicas, bem como para a representação de modelos naturais, tais como terrenos, reservatórios, céu e mar. Desenvolve‐se ainda ferramentas para implementar aplicações em ambientes distribuídos, permitindo que os usuários manipulem os modelos remotamente e sincronizem a visualização de aplicativos distribuídos. Outra atividade relacionada é o desenvolvimento e experimentação com novos dispositivos de interação e visualização imersiva, tais como sistemas estereoscópicos multiprojetados, mecanismos de rastreamento de usuário, dentre outros. o Data Inicial‐Final: 1/2008‐12/2008 o Órgão(s) Financiador(es): Petrobras o Controle: FPLF o Classificação mais específica do Projeto: Cooperação de P&D com a PETROBRAS RTCCV o Coordenador: Marcelo Gattass o Demais Coordenadores: Roberto de Beauclair Seixas; Alberto Barbosa Raposo o Breve Descrição: Implantação de um núcleo de Computação Científica e Visualização na PUC‐
Rio interligado à Rede Temática em Computação Cientifica e Visualização, voltada à Indústria de Petróleo e Gás e de Energias Renováveis, para ações destinadas à elaboração de estudos e ao desenvolvimento de projetos de P&D. o Data Inicial‐Final: 9/2006‐9/2009 o Órgão(s) Financiador(es): Petrobras o Controle: FPLF o Classificação mais específica do Projeto: Infraestrutura para Cooperação de P&D com a PETROBRAS o
•
•
•
p. 65/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
•
•
•
SACGR ‐ Solução para Automação de Compliance e Gestão de Riscos o Coordenador: Arndt von Staa o Colaborador(es): João Alfredo Pinto de Magalhães; Thiago Pinheiro de Araújo o Breve Descrição: Descrição: Objetiva evoluir uma solução abrangente de Gestão de Análise de Riscos em Segu‐rança da Informação e Compliance fundamentada na NBR ISO/IEC 17799 e ISO/IEC 27001. Tal infra‐estrutura será baseada na ferramenta Check‐up Tool utilizada pela Módulo e tem como principais objetivos: internacionalização do software para o mercado Ibero‐Americano; definição de metodologias de avaliação de conformidade e desenvolvimento de software para automação do processo de avaliação de conformidade; desenvolvimento de ferramentas para suporte à cri‐ação de scripts coletores de evidências em ativos tecnológicos, criação e evolução de coletores automáticos de evidências; criação de metodologia e infra‐
estrutura para geração e gestão de Planos de Continuidade de Negócios; disseminação e compartilhamento do conhecimento em gestão de riscos, segurança da informação e compliance gerado no contexto do projeto. o Data Inicial‐Final: 12/2006‐11/2009 o Órgão(s) Financiador(es): FINEP e Modulo o Controle: FPLF Simulação e Treinamento o Coordenador: Roberto de Beauclair Seixas o Demais Coordenadores: Marcelo Gattass o Colaborador(es): Gustavo Henrique Soares de Oliveira Lyrio o Breve Descrição: Simulação e Treinamento: desenvolver sistemas de simulação para treinamento assistido por computador e pesquisa e desenvolvimento em tecnologias de software para mecânica computacional aplicada à indústria de óleo e gás. o Data Inicial‐Final: 1/2008‐12/2008 o Órgão(s) Financiador(es): Marinha do Brasil o Controle: FPLF Sistema de Otimização de Transporte Ferroviário de Minério o Coordenador: Marcus Vinicius Soledade Poggi de Aragão o Demais Coordenadores: Arndt von Staa o Colaborador(es): João Alfredo Pinto de Magalhães; Rafael Martinelli Pinto o Breve Descrição: O sistema tem como objetivo ajustar dinamicamente os horários dos trens em conjunto com a alocação das locomotivas de modo a maximizar a quantidade transportada no período. Neste contexto, são múltiplas as origens do minérios, assim como são múltiplos seus tipos e seus destinos. o Data Inicial‐Final: 10/2006‐11/2009 o Órgão(s) Financiador(es): FINEP, Sebrae, CNPq o Controle: FPLF o Classificação mais específica do Projeto: MCT/FINEP/SEBRAE Ação Transversal ‐ Cooperação ICT's ‐ MPEs ‐ 10/2005 Sistemas de Informações Geográficas e Meio Ambiente o Coordenador: Marcelo Tilio Monteiro de Carvalho o Demais Coordenadores: Marcelo Gattass; Marco Antonio Casanova o Colaborador(es): Alex Marques Campos; Alexis Velando von Sommerfeld; André Coelho Brait da Silva; Andrea Luisa Assis da Silva; Angelo Motta Gomes; Beatriz Silva Villa Alvarez; Bruno Siqueira Silva; Camilo Fonseca Freire; Carla Maria Stella Ramôa da Silva Chaves; Carlos José Coutinho Netto; Carolina Howard Felicissimo; Claudia Aparecida Sipião Cardoso; Cristiane Gomes Carneiro; Daniel José Lopes Dertoni; Demetrius Arraes Nunes; Diogo Luis Andrade Silva; Edileuza Fernandes Santos; Fabio da Costa Albuquerque; Fabio Delazari Pereira; Fernando Rimola da Cruz Mano; Fabio Rimola da Cruz Mano; Francisco Eduardo Torres Cursino de Moura; Gustavo Bastos Nunes; Gustavo Loureiro Gonçalves; Jacqueline Venturotti; José p. 66/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
•
Ribamar Veras Filho; Krause Cristina da Silva Salles; Leonardo Souza Barroso; Leone Pereira Masiero; Lúcia Botelho de Moraes; Luigi Cambeiro S. P. Berardinelli; Luiz Eduardo Moreira Elerati; Luzanira Ferreira da Silva; Maicon Ferreira de Oliveira; Marcelino Ferreira Soares Neto; Marcelo Ferraz Vieira; Marcelo Chiarella; Marcelo Gomes Metello; Marcelo Pereira Matos; Marcos Paulo G. Bittencourt de Oliveira; Melissa Lemos Cavaliere; Milton Jonathan; Patrick Igrejas Lopes Schenk; Paula Anasthacia de Amorim Santos; Paula Frederick; Paula Mendonça Arruda; Pedro Bittencourt e Silva; Pedro de Almeida de Abreu Elvas; Ricardo Arnaudin; Roberto Francisco de Oliveira Santos; Rodnei Silva Couto; Rodrigo Braga Pinheiro; Rodrigo Fares Barberá; Rodrigo Sanches Ferreira; Rodrigo Yoshiaki Kuriyama; Romolo Campos Marcial; Rubens Francisco do Nascimento; Sandro Marinho da Costa; Theresa Marcele Ferreira Costa; Vinícius Lopes Rodrigues o Breve Descrição: Esta área abrange a pesquisa e o desenvolvimento de tecnologias inovadoras para a construção de Sistemas de Informações Geográficas, ou SIGs, que sirvam de apoio para resolver problemas de engenharia, com ênfase em questões ambientais. Como o próprio nome indica, um SIG caracteriza‐se por tratar objetos com atributos que representam a sua localização na superfície terrestre. No âmbito nacional, SIGs representam um domínio de aplicação de grande importância em função das dimensões continentais de nosso país e da magnitude de nossos problemas urbanos e ambientais. Entre os esforços desta área, destacam‐se: a elaboração de sistemas de resposta a crises, incorporando o tratamento de informações geográficas; o desenvolvimento de tecnologia para a construção de grandes bancos de dados geográficos, com acesso através da Web; rede de sensores móveis, aplicadas ao monitoramento ambiental e a criação de algoritmos de visualização 3D interativa para dados geográficos. Parcerias importantes alavancam os trabalhos do Tecgraf/PUC‐Rio nesta área. A principal delas, com a PETROBRAS, inclui o desenvolvimento de diversos sistema, com destaque para o InfoPAE, um sistema informatizado para apoio a planos de ação de emergência, e para sistemas para otimizar o lançamento de dutos e realizar simulações numéricas para acompanhar vazamentos de óleo no mar, além da confecção de mapas de sensibilidade costeira. Já a parceria com o INPE e o IMPA concentra‐se no desenvolvimento da TerraLib, uma biblioteca com código aberto para facilitar a implantação de SIGs inovadores e que serve de base para o desenvolvimento dos sistemas citados acima. o Data Inicial‐Final: 1/2008‐12/2008 o Órgão(s) Financiador(es): Petrobras o Controle: FPLF o Classificação mais específica do Projeto: Cooperação de P&D com a PETROBRAS SPOT ‐ Sistema de Planejamento Operacional de Transporte Aquaviário o Coordenador: Marcus Vinicius Soledade Poggi de Aragão o Colaborador(es): Pedro de Moura Cunha; Sanjay Dominik Jena o Breve Descrição: O sistema tem como objetivo definir que demandas atender com que navios e o uso dos contêineres por uma frota de navios ao longo de rotas fixas para um horizonte de 4 meses. A qualidade de serviço associada a cada demanda deve atendida o máximo possível e o gasto com contêineres deve ser o menor possível. o Data Inicial‐Final: 12/2006‐6/2009 o Órgão(s) Financiador(es): FINEP o Controle: FPLF o Classificação mais específica do Projeto: FNDCT/CT‐Aquaviario ‐ 0135 0 Adicional ao frete para renovação da marinha mercante transporte aquaviario. SSAIID Solução de Software Para Análise de Inspeção e Integridade de Dutos o Coordenador: Arndt von Staa o Colaborador(es): João Alfredo Pinto de Magalhães; Thiago Pinheiro de Araújo o Breve Descrição: Descrição: Objetiva fortalecer, aprimorar e desenvolver a plataforma de software da PipeWay Engenharia, objetivando aumento de produtividade e escala para seus p. 67/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 •
•
produtos e serviços exis‐tentes, e criação de dois novos serviços: inspeção de refinarias com GIPs e mapeamento de inspeções realizadas por PIGs em um duto. Os softwares serão evoluídos para automatizar a geração de relatórios de inspeção de corrosão e de geometria por PIGs e GIPs e para criar um diferencial estratégico através da introdução de normas e critérios internacionais nos softwares de análise de inspeções, tais como as normas de análise de anomalias de corrosão RS‐TRENGTH, 0.85DL e NG‐18 e os padrões de classificação, de interação entre anomalias e de geração de relatórios definidos no Pipeline Operators Forum 2005. Além disso, será desenvolvi‐da ferramenta para mapeamento de corridas e haverá um esforço para internacionalização dos softwares, adaptando‐os para outros idiomas e mercados. o Data Inicial‐Final: 12/2006‐11/2008 o Órgão(s) Financiador(es): FINEP e Pipeway o Controle: FPLF Visualização o Coordenador: Waldemar Celes Filho o Demais Coordenadores: Marcelo Gattass o Colaborador(es): Marcia Vianna de Sá Earp; Paula Salgado Lucena Rodrigues; Frederico Rodrigues Abraham; Rodrigo de Souza Lima Espinha; Vitor Barata Ribeiro Blanco Barroso; Marcio Pereira de Araújo; Rodrigo Buas Lopes; Pedro de Mazza Cerqueira; Andrei Alhadef Monteiro; Bernardo Bianchi Franceschin; Gabriel Pimenta Gaertner; Ricardo Gomes Leal Costa; Maurício A. Lage Ferreira; Jeronimo Silverio Venetillo; Cristiane Arantes Ferreira; Danilo Toledo Ramos o Breve Descrição: O grupo de Visualização do Tecgraf desenvolve pesquisa e produtos na área de Visualização Científica e Visualização Foto‐realista, fazendo de representações topológicas de modelos, técnicas de aceleração para visualização em tempo real de modelos complexos e técnicas de interação com o usuário. Na área de Visualização Científica, o grupo tem desenvolvido projetos para visualização de reservatórios naturais de petróleo, de malhas de elementos finitos e de malhas de elementos discretos (partículas). Para tanto, o grupo desenvolve e emprega técnicas inovadores de visualização incluindo visualização volumétrica de malhas não‐estruturadas, visualização distribuída de modelos em larga escala e técnicas de navegação assistida em ambientes imersivos. Na área de Visualização Foto‐realista, o grupo desenvolve uma biblioteca para visualização de cenas 3D que utiliza os recursos de programação de placas gráficas e técnicas de aceleração (descarte, oclusão e multi‐resolução). O grupo também desenvolve pesquisas na área de simulação física (partículas, corpos articulados e corpos rígidos), dando suporte a programas de animação e programas de análise numérica com elementos discretos. o Data Inicial‐Final: 1/2008‐12/2008 o Órgão(s) Financiador(es): Petrobras o Controle: FPLF o Classificação mais específica do Projeto: Cooperação de P&D com a PETROBRAS Visualização de Dados Sísmicos o Coordenador: Pedro Mario Cruz e Silva o Demais Coordenadores: Marcelo Gattass o Colaborador(es): Carlos André Tavares Campos; Flávia Medeiros dos Anjos; Leonardo de Oliveira Martins; Leonardo Henrique Camello do Nascimento; Marco Villela Machado Coelho Gelli Marchese; Mauricio Kreczmarsky G. Meinicke; Michel Alain Quintana Truyenque; Sergio Alvares Rodrigues de Souza Maffra o Breve Descrição: Os esforços do Tecgraf/PUC‐Rio, nesta área, se concentram no desenvolvimento de ferramentas para auxiliar no levantamento sísmico, seu processamento e interpretação. A parceria com a PETROBRAS inclui sistemas de verificação de qualidade, de gestão do levantamento sísmico e de apoio a tomadas de decisões, através de mapeamentos e visualizações de dados sísmicos. p. 68/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 o
o
o
o
Data Inicial‐Final: 1/2008‐12/2008 Órgão(s) Financiador(es): Petrobras Controle: FPLF Classificação mais específica do Projeto: Cooperação de P&D com a PETROBRAS Projetos de Pesquisa e Desenvolvimento - Não Patrocinados
•
Data‐driven Knowledge Discovery o Coordenador: Ruy Luiz Milidiú o Colaborador(es): Raul Pierre Renteria; Cícero Nogueira dos Santos; Júlio César Duarte; Carlos Eduardo Meger Crestana; Evelin Carvalho Freire de Amorim o Breve Descrição: O crescimento exponencial do volume total de conteúdos acessíveis via Web possibilita a construção de uma nova geração de aplicações inovadoras baseadas em Aprendizado de Máquina. Adicionalmente, a infra‐estrutura de computação de baixo custo baseada no paradigma de Memória Externa Paralela (PEM) facilita a escalabilidade dos algoritmos de aprendizado. As empresas Google e Netflix são dois exemplos emblemáticos do sucesso dessa combinação de oportunidades tecnológicas. Em particular, importantes tarefas de Lingüística Computacional, tais como, Análise Morfossintática, Identificação de Sintagmas, Orações, Sentenças e também de Papéis Semânticos são atualmente resolvidas com o uso de Aprendizado de Máquina. Esta lista de tarefas, enumeradas em ordem crescente de complexidade, são passos intermediários na descoberta e captura da semântica em bases textuais. Nosso foco de pesquisa concentra‐se em duas linhas centrais: 1. construção de algoritmos de aprendizado para problemas de classificação e regressão; 2. implementação PEM de algoritmos de aprendizado. Recentemente, desenvolvemos o algoritmo ETL – Entropy Guided Transformation Learning. Duas tarefas adicionais estão na nossa agenda de pesquisa para extensões do ETL. A primeira delas é o tratamento do problema regressivo usando o mesmo enfoque, gerando o modelo que desde já denominados de R‐ETL. A segunda é uma implementação do ETL em ambiente distribuído utilizando a metáfora Map‐Reduce disponibilizada pelo Hadoop. Além disso, estamos pesquisando também algoritmos para a construção de Comitês de Modelos. Nesta linha, já desenvolvemos o Boosting at Start (BAS), um esquema que generaliza o conhecido AdaBoost. O uso do BAS como ferramenta para Aprendizado Semi‐supervisionado é o próximo passo planejado. Para problemas regressivos, estamos investigando técnicas preditivas que exploram a estrutura latente nos dados. O PLS e o PLSA são duas delas, sendo a primeira determinística e a segunda probabilística. Estes esquemas de modelagem e aprendizado são bastante apropriados para a construção de Sistemas de Recomendação. o Data Inicial‐Final: 1/2005‐12/2009 p. 69/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Intercâmbios Institucionais
O DI tem uma longa tradição de intercâmbios com instituições de ensino e pesquisa, no Brasil e no exterior. Alguns destes intercâmbios resultam de programas oficiais de cooperação nacional e internacional. Outros resultam de iniciativas de cooperação direta entre grupos de pesquisa ou pesquisadores individuais, cuja liderança tem promovido intercâmbios de média e longa duração. Podemos citar entre os intercâmbios internacionais recentes, os seguintes: Computer Systems Group, Universidade de Waterloo; ‐ IST Instituto Superior Técnico, Lisboa; ‐ LIP6 Laboratoire d’Informatique de Paris 6, Université Pierre et Marie Curie CNRS; ‐ FAST Forschungszentrum für Angewandte Softwaretechnik, Munique; ‐ LMU Institut für Informatik, Ludwig‐
Maximilians Universitat, Munique; ‐ Department of Computing, Imperial College of Science and Medicine da Univ. Londres; ‐ L3S Research Center, Hannover. No âmbito nacional podemos citar uma forte colaboração com: INPE; IMPA; LNCC; CENPES/Petrobras; CEPEL/Eletrobras; Módulo Security and Solutions S.A.; e, através de programas nacionais tais como o CAPES PROCAD e CAPES RH TV Digital, realizados com instituições como a UFAL, UFC, UFMS, UFMA, UFPe, UniRio, Unifor e UFRN. No que tange a programas e projetos de cooperação binacional, ressaltamos: ‐ o programa CAPES/COFECUB com a Universidade de Paris VI. ‐ o projeto PROSUL/CNPq (Desenvolvimento Baseado em Aspectos), envolvendo: PUC‐Rio, USP‐SC UFBA, UFRN UFMG, PUC‐MG, UFPE, UFRGS, UPE (Brasil); Universidad de Chile; UNICEN e Universidade de Buenos Aires (UBA), Universidad de Los Andes (Colômbia). ‐ o projeto Integração de Busca Semântica no Desktop e Projeto de Aplicações Hipermídia, envolvendo a PUC‐
Rio e o L3S Research Center (Alemanha), e financiado pelo acordo de cooperação bilateral CNPq‐DLR (Alemanha). ‐ o projeto ICDL‐Brasil Uma biblioteca digital internacional para crianças brasileiras, envolvendo a PUC‐Rio e a University of Maryland ‐ College Park, e financiado pelo acordo de cooperação bilateral NSF/CNPq. O DI tem ainda forte interação com empresas em vários setores de atividades, bem como spin‐off criadas a partir de trabalhos de pesquisa ou desenvolvimento elaborados no âmbito dos laboratórios temáticos. A lista de parcerias em projetos inclui, por exemplo: IBM, Petrobras, Solectron, SEBRAE, Pipeway, Milestone, PrimeUp . Outro importante indicador de intercâmbios internacionais é a variedade de estágios de pesquisa em universidades e institutos (empresariais) de pesquisa estrangeiros realizados por discentes e docentes. Dur podnte este triênio poemos destacar intercâmbios com LIP6 ‐ Laboratoire D'Informatique de Paris 6, ENST‐
Brest, IBFI Dagstuhl, IBM Research, Google e Microsoft Research. p. 70/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Prêmios e Distinções
Professores do quadro têm, ou receberam em 2008, distinções entre as quais ressaltamos: Prof. Arndt Von Staa Tornou‐se em 2008 Comendador da Ordem Nacional do Mérito Científico Prof. Luiz Fernando Gomes Soares Ganhou em 2008 o Prêmio ASSESPRO 2008 ‐ Personalidade do Ano, na categoria "Academia", pela seu competente trabalho no desenvolvimento de padrões brasileiros para televisão digital e, em especial, por ter projetado, com excelência, o trabalho acadêmico brasileiro noso foros internacionais relevantes. Prof. Eduardo Laber Tornou‐se Membro Afiliado da Academia Brasileira de Ciências. O mesmo professor foi Co‐Chair do LATIN, principal conferência latino‐americada da área de teoria da computação, a qual teve como invited speaker um ganhador do Turing Award (Robert Tarjan) Prof. Carlos José Pereira de Lucena Foi nomeado membro titular da Academy of Sciences for the Developing World. O mesmo professor tornou‐se também membro do corpo editorial da prestigiosa Communications of the ACM. Ele também ganhou um IBM Innovation Award. Prof. Edward Hermann Haeusler Sua publicação "Proof compressions with circuit‐structured substituition" em periódico russo merece destaque, pois este volume do periódico (que depois será traduzido para Journal of Mathematical Sciences [Springer]) é uma coleção de artigos convidados/selecionados para o 'Festschriftt' de Yuri Matyasevich, pesquisador que resolveu o décimo problema da lista elaborada por Hilbert em 1900 "Indecidibilidade das equações diofantinas". p. 71/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 Solidariedade, Nucleação e Visibilidade
O programa vem intensificando a sua participação em projetos de cooperação acadêmica tais como o PROCAD, já mencionados no item INTERCÂMBIOS INSTITUCIONAIS. Através deles, temos tido a oportunidade de colaborar com programas novos ou em vias de consolidação. Além disto, cabe destacar que o Laboratório Telemídia tem articulado sua pesquisa avançada em TV Digital com uma importante iniciativa de responsabilidade social liderada pelo Professor Luiz Fernando Gomes Soares junto ao Centro Integrado de Desenvolvimento Social (CIDS). Cursos profissionalizantes de Produção e Edição de Áudio e Vídeo tem sido oferecidos para jovens ‘considerados em situação de risco’, com toda a tecnologia desenvolvida no Telemídia, dando assim oportunidades profissionais especiais para uma comunidade que enfrenta carências e desafios sociais consideráveis (para mais informações, ver: http://www.cids.telemidia.pucrio.br). Nesta linha de responsabilidade social, outro projeto do DI em andamento também tenta unir desenvolvimento técnico‐científico com algum benefício para cidadãos brasileiros desfavorecidos. Trata‐se do projeto ICDL‐Brasil (ver http://www.icdl‐br.inf.puc‐rio.br ), realizado pelo SERG em cooperação internacional com a Universidade de Maryland, cujo objetivo é adaptar culturalmente a interface de uma biblioteca internacional de literatura infantojuvenil para crianças brasileiras. A meta social aliada à pesquisa em interação humano‐computador é encontrar nesta tecnologia uma forma de criar comunidades on‐line de incentivo à leitura e escrita, numa tentativa de amenizar os níveis extremamente altos de analfabetismo funcional no Brasil. O programa de pós‐graduação do DI, ao longo de seus 40 anos de existência, contribuiu e continua a contribuir substancialmente para a nucleação de vários grupos de pesquisa no Brasil. Não apenas tem entre seus egressos professores de alguns dos melhores programas da área, tais como a USP‐SC, a Unicamp, a UFRGS, a UFMG e a própria COPPE, como também de vários programas emergentes em praticamente todas as regiões do Brasil. Tem também formado quadros de mestres e doutores para a Petrobras, Eletrobras, DATAPREV, EMBRATEL, Globo, Exército Brasileiro, Marinha do Brasil, e outros. Alguns de nossos ex‐alunos tornaram‐se professores em universidades sul‐americanas, norte‐americanas e européias, entre as quais a Universidad de Buenos Aires, Universidad de La Plata, Universidad Técnica Federico Santa María (Chile), George Mason University, University of Waterloo, York University (Canadá), Lancaster University, École Polytechnique de Lausanne, Universidad Complutense de Madrid. Além disto, vários de nossos egressos estão hoje na Microsoft Research, havendo os que já passaram pela IBM Research e a Yahoo Research. Vale ressaltar também que vários dos professores do programa são pioneiros de sub‐áreas importantes da Ciência da Computação no Brasil, alguns deles tendo alcançado projeção e renome internacional com seus trabalhos científicos. Dentre estas sub‐áreas podemos citar: Engenharia de Software, Bancos de Dados, Redes de Computadores, Inteligência Artificial, Computação Gráfica, Interação Humano‐Computador, Sistemas Multimídia e Engenharia para a Web, Engenharia de Requisitos, Sistemas Colaborativos, Educação a Distância, e outras. Corroborando a classificação do programa como CAPES 7, finalmente, estudo realizado em 2007 pelo Comitê de Área de Ciência da Computação mostrou que o perfil do PG‐DI é comparável ao de grandes universidades norte‐americanas e européias. Por exemplo, o índice de doutores titulados por docente no PG‐DI era, até então, consideravelmente superior ao que se vê em renomados programas de excelência de Ciência da Computação na América do Norte e Europa. Listando apenas alguns exemplos, facilmente comprováveis em p. 72/73 Relatório Anual – Informática, PUC‐Rio – Ano 2008 visitas a websites de universidades estrangeiras, viu‐se que a média de doutores titulados por docente no PG‐
DI era de 3 a 10 vezes maior do que nos seguintes programas: Programa Média de Doutores Titulados por Docente de 2002 a 2006 ============================================================== Imperial College0.31 (http://pubs.doc.ic.ac.uk/theses/) Carnegie Mellon 0.55 (http://www.cs.cmu.edu/~burks/grads.html) Brown 0.56 (http://www.cs.brown.edu/publications/theses/phd/) Cornell 1.09 (http://www.cs.cornell.edu/People/Students/Alumni/index.htm) Caltech 1.11 (http://www.cs.caltech.edu/cspeople/alumni/alumni02.html) PUC‐Rio 3.08 (Cadernos de Avaliação do Programa na CAPES) O mesmo estudo mostrou que um importante indicador da competitividade internacional do PG‐DI é, mais uma vez, o seu posicionamento em relação aos principais programas da área na Europa e América do Norte. Através de mineração de dados realizado minuciosa e criteriosamente entre 2004 e 2007 verificou‐se que a PUC‐Rio ocupa o 16º lugar entre 22 renomados programas de Pós‐Graduação em Ciência da Computação no quesito ‘produção científica’. Os programas examinados foram os seguintes: • América do Norte: University of California at Berkeley, Brown University, Caltech ‐ California Technology Institute, CMU – Carnegie Mellon University, Cornell University, Harvard University, University of Illinois, MIT – Massachusetts Institute of Technology, Princeton University, Stanford University, University of Texas at Austin, University of Washington, University of Wisconsin, University of British Columbia, University of Toronto e University of Waterloo; • Europa: Cambridge University, École Polytechnique de Paris, ETH Zürich, Imperial College, Oxford University e Université Pierre et Marie Curie – Paris VI. A base de dados para coletar a produção científica da área foi a DBLP – Digital Bibliography & Library Project, biblioteca digital sediada na Universidade de Trier, Alemanha. A escolha da DBLP como fonte de dados para o estudo se deveu ao fato de ser a mais abrangente biblioteca digital da área de Ciência da Computação, incluindo o registro de mais de 950.000 artigos publicados nos anais das principais conferências e nos mais importantes periódicos da área. Observou‐se a posição ocupada pela PUC‐Rio no conjunto dos programas mencionados acima é bem próxima das apresentadas por grandes universidades tais como Carnegie Mellon (CMU) e MIT, por exemplo. p. 73/73