Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
Dynamic Analysis for Software (Re-)Architecturing
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
Robustez, desempenho e segurança em redes ubíquas de coisas
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
Uso do Arcabouço 5S para Desenvolvimento de uma Nova Geração de Bibliotecas Digitais
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
Métodos e Ferramentas de Documentação de Programas e Especificação Formal Executável
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.
Projeto de sistema embutido de tempo real tolerante a falhas para aplicações em processamento de alto desempenho
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.
A Engenharia Semiótica para o domínio educacional – Uma pesquisa a partir da avaliação de interfaces de ambientes educacionais
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
Coordenação e Controle de Grandes Grupos de Robôs Móveis
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
HCI in Brazil and Denmark
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
