O objetivo desta pesquisa é desenvolver um protótipo de hardware para tratar a comunicação e a cooperação de entidades computacionais em redes de sensores aquáticas, facilitando o trabalho do homem, aumentando sua produtividade e melhorando a qualidade de vida. Como instância inicial deste projeto, será tratado o problema de desenvolvimento

O objetivo principal desse projeto é desenvolver uma infra-estrutura de hardware e software que permita a experimentação com enxames de robôs. Feito isso, serão implementados e validados experimentalmente algoritmos que envolvam a localização, navegação, coordenação e controle de grandes grupos de robôs, complementando assim os trabalhos de simulação.  Integrantes: Luiz

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

O objetivo do projeto é avançar em direção a modelos que ofereçam uma visão ampla da Web. O foco deste projeto é um estudo quantitativo, tanto do ponto de vista experimental quanto teórico, de sistemas distribuídos em larga escala, como a internet/web, usando uma visão oferecida pela estrutura de grafos

O projeto SIMVIDA pretende desenvolver e implementar um sistema de vigilância epidemiológica para dados de acidentes de trânsito e de violência para uso rotineiro em instituições de saúde pública que tenham referência geográfica e temporal. Os objetivos específicos são os seguintes: (1) Desenvolver métodos epidemiológicos para vigilância espaço-temporal de agravos

SensorNet foi um projeto de 30 meses de duração para pesquisa e desenvolvimento tecnológico em redes de sensores sem fio, executado em parceria entre as universidades federais de Minas Gerais e de Pernambuco, iniciado em janeiro de 2003. Objetiva principalmente o domínio e o desenvolvimento de novas tecnologias em redes

Algumas manifestações de características são consideradas indícios de problemas para a evolução de uma Linha de Produtos de Software (LPS) como, por exemplo, por levarem a um número excessivo de falhas e instabilidade dos produtos. Por outro lado, inúmeras técnicas de desenvolvimento têm sido propostas com o objetivo de separar

Esse projeto de pesquisa concentrou-se na investigação e desenvolvimento de técnicas para execução do planejamento e controle de trajetórias para grandes grupos de robôs de forma eficiente e escalável. Basicamente, trabalhou-se em duas linhas principais: na primeira foram desenvolvidos e aperfeiçoados algoritmos de controle descentralizados para permitir que grupos de

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.