O contexto deste projeto de pesquisa envolve algoritmos de otimização explorados em problemas clássicos de Combinatória, mas com grande potencial de aplicação a problemas reais, mas também a três temas de aplicação amarrados a outras linhas clássicas da computação: Engenharia de Software, Robótica, Visão Computacional e Jogos, e Redes de

Este projeto visa desenvolver técnicas baseadas em teoria dos jogos, algoritmos epidêmicos e princípios relacionados para configuração autônoma de sistemas distribuídos em escala planetária. Alunos envolvidos: Graduação: (2) / Doutorado: (2) .  

O objetivo central deste projeto se resume a aperfeiçoar a eficiência dos mercados eletrônicos, que diz respeito a torná-lo interessante (atrativo) e mais popular para os atores envolvidos na negociação eletrônica (compradores, vendedores, provedores de serviços e soluções tecnológicas). Para alcançar esse objetivo, a estratégia básica é pesquisar e desenvolver

O objetivo deste trabalho de pesquisa se origina na necessidade de ferramentas eficientes de suporte à execução e análise de sisteas complexos de modelagem baseadas em métodos formais. Tais ferramentas apresentam difícies problemas de otimização e de bom uso dos recursos do ambiente de computãção, Assim, utilizar ASM para especificar

Apesar do crescente interesse na abordagem de segmentação que considera a dependência espacial, há um número pequeno de trabalhos utilizando campo aleatório de Markov para análise de imagens. A escolha desta técnica de segmentação pode ser considerada como uma contribuição para a literatura, particularmente no país, onde há ainda poucos

O objetivo geral deste projeto é investigar a predição de esforço de manutenção de softwares orientados por objetos tendo como premissa que o grau de conectividade é o fator que pode ser usado para tal predição. Conectividade é o grau de intercomunicação entre os módulos de um sistema. Dentre os

A confiabilidade de uma aplicação depende de três aspectos chaves: desempenho, disponibilidade e robustez a usuários maliciosos e oportunistas. Neste projeto, pretendemos atuar em três frentes de trabalho para aumentar a confiabilidade de aplicações da Internet. No contexto de aplicações de comércio eletrônico, pretendemos desenvolver um arcabouço integrado de gerenciamento

O projeto em andamento tem como objetivo principal explorar uma técnica de aprendizado de máquina (ou supervisionada), programação genética (PG), na resolução  de diversos problemas nas áreas de recuperação de informação e casamento inexato em Sistemas de Informação avançados, com foco principal na Web. Mais especificamente, PG foi utilizada, com bastante sucesso pelo

Estudo e pesquisa de métodos de especificação formal executáveis e de geração de compiladores baseados em semântica formal. Integrantes: Mariza Andrade da Silva Bigonha – Integrante / Vladimir O Di Iorio – Integrante / BIGONHA, Roberto S. – Coordenador.