Desenvolvimento de Ferramentas Computacionais Aplicadas a Modelos Complexos da Fisiologia de Células Cardíacas, utilizando Redes Metabólicas, Cadeias de Markov, Problema Inverso e Computação Paralela. Integrantes: Ana Paula Couto da Silva – Integrante / Itamar Leite de Oliveira – Integrante / Rodrigo Weber dos Santos – Coordenador / Carlos Cristiano Hasenclever

Este projeto propõe a adaptação de jogos educacionais existentes para refletir práticas mais modernas de produção de software e para considerar aspectos intrínsecos do desenvolvimento de software no Brasil. O objetivo geral é tornar o ensino de Engenharia de Software mais atrativo aos alunos, apresentando conceitos práticos importantes de uma

Projeto de Colaboração Espanha – Seminários, que visa a realização de dois seminários, um na Espanha e um no Brasil. Os objetivos são: identificar problemas de interesse dos dois grupos para projetos de colaboração, e treinar alunos de pós-graduação nos dois países nos temas que os grupos são mais fortes:

O objetivo geral do projeto é a execução de pesquisa e desenvolvimento tecnológico em redes de computadores e sistemas distribuídos, especialmente em: redes móveis ad hoc, redes mesh, redes de sensores sem fio e sistemas distribuídos; gerenciamento de redes de computadores; aplicações e segurança em redes de sensores sem fio

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

Um projeto de desenvolvimento e pesquisa na transmissão de vídeo ao vivo utilizando tecnologias P2P. Alunos envolvidos: Graduação: (1) / Doutorado: (2) . Integrantes: Sergio Vale Aguiar Campos – Coordenador / Alex Borges – Integrante / Marcus Vinicius Rocha – Integrante / italo cunha – Integrante. Número de produções C,

O projeto visa o desenvolvimento da tecnologia de redes de computadores no âmbito da Internet de coisas. Ele é composto por sete sub-projetos relacionados à robustez e segurança das comunicações em um ambiente de redes heterogêneo, típico do encontrado pelos sistemas vislumbrados para a Internet de coisas. O Sub-projeto 1

This project consists in the design and implementation of a new pointer analysis algorithm that can be parallelized. Integrantes: Fernando Magno Quintão Pereira – Coordenador / Daniel Berlin – Integrante. Número de produções C, T A: 1  

Neste projeto de pesquisa, pretende-se especificar, projetar, implementar e analisar sistemas de middleware que viabilizem a implementação de forma modular de requisitos não-funcionais que são típicos de aplicações distribuídas. A idéia é que um desenvolvedor de aplicações distribuídas possa dispor de sistemas de middleware que confinem em módulos bem definidos