O objetivo deste projeto é contribuir para reduzir o gap que normalmente observamos entre a arquitetura e o comportamento dinâmico de sistemas de software. Em particular, nosso foco é em uma visão que procure associar a arquitetura de um sistema com as features que são implementadas no código fonte.  Integrantes: Marco

It focuses on the development of network protocols and management solutions for ubiquitous networks (RFID, ad hoc and mesh networks, DTNs). There are five areas that will be studied: efficient routing algorithms for mesh and ad hoc networks, network management in sensor networks, efficient query dissemination in sensor networks, security

O potencial educacional e de preservação e disseminação cultural e científica existente nas bibliotecas digitais é inegável. Tal potencial é ainda mais relevante no Brasil, onde bibliotecas digitais podem atuar como ferramentas de apoio a soluções de problemas específicos do país tais como exclusão digital, analfabetismo, má preparação de educadores

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.  

Desenvolvimento de um sistema embutido utilizando FPGA para aplicação de alto desempenho, atendendo as restrições de sistemas de tempo real, limitações de hardware e que contenha recursos de tolerância a falhas.  

Algumas teorias, métodos e técnicas já estão bem consolidados para a área de Interação Humano-Computador (IHC) (Preece et al. 2002). No entanto, alguns domínios têm especificidades que podem tornar necessária a adaptação ou mesmo a revisão destes métodos e técnicas e apresentam novos desafios para o design e avaliação de

O presente projeto tem como objetivo principal estudar, projetar, desenvolver e avaliar algoritmos e metodologias para coordenação de grandes grupos (tipicamente contendo dezenas ou mesmo milhares) de robôs. Esses arranjos têm sido denominados na literatura internacional por swarms, e que neste texto será traduzido por “enxames”. A coordenação de grupos

O objetivo do projeto é apoiar a colaboração de pesquisadores no Brasil e Dinamarca na área de IHC e Sistemas Colaborativos. Identificou-se que as principais questões de interesse comum aos diversos pesquisadores envolvidos são teorias de IHC e colaboração, design participativo e baseado em modelos e Governo Eletrônico. Faz parte