O objetivo deste projeto de pesquisa é aperfeiçoar as técnicas de definição da semântica denotacional de linguagens de programação, oferecendo meio apropriados para tratamento dos elementos inerentes às linguagens de grande porte e que ainda são impedimentos à escrita de definições modulares. Como resultado, espera-se desenvolver uma nova metodologia de

O INCT NAMITEC tem como missão gerar, aplicar e disseminar conhecimentos de micro e nanoeletrônica, articulando competências para promover inovações que atendam às necessidades da sociedade. Ocupa posição estratégica no Sistema Nacional de Ciência e Tecnologia, contemplando dois objetivos prioritários do desenvolvimento científico e tecnológico nacional: a) Tecnologias da Informação

Dentro deste contexto, o objetivo principal deste projeto é investigar, desenvolver e avaliar algoritmos para a Nanotecnologia Computacional, visando a otimização de  dispositivos, o desenvolvimento de sistemas de gerenciamento de dados da síntese de nanoestruturas e a posterior descoberta de conhecimento através destes dados. Além  disso, também é objetivo deste trabalho a

O projeto está inserido no grande desafio da Sociedade Brasileira de Computação (SBC) Gestão da informação em grandes volumes de dados multimídia distribuídos . Dentro deste desafio, o projeto trata especificamente da gestão de documentos textuais, como páginas WEB ou documentos eletrônicos, gerados em organizações públicas ou privadas. Integrantes: Mirella

Objetivos Propostos  – Desenvolvimento de pesquisa básica e aplicada e geração de tecnologia, contribuindo para a auto-suficiência tecnológica do país na área de foco do projeto, ou seja, tecnologia para a World-Wide Web. – Formação de mão-de-obra de alto nível qualificada nas áreas de foco da pesquisa e nas tecnologias

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

Realização de reuniões de trabalho com a equipe francesa, acompanhamento do trabalho de doutorandos brasileiros, apresentação de seminário sobre pesquisa desenvolvida no DCC/UFMG. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissionalizante: (0) / Doutorado: (2) . Integrantes: Arnaldo de Albuquerque Araújo – Coordenador /

Objetivos Propostos: a)Desenvolver um conhecimento mais sólido sobre padrões de comportamento de usuários de serviços de mídia contínua, a partir de caracterizações mais extensivas e completas de diferentes tipos de cargas de trabalho. b)Criar classes de modelos de acesso que reflitam o comportamento típico dos clientes para cada tipo de aplicação

Este projeto visa o estudo e caracterização da dinamicidade em redes de computadores. É evidente que novos nodos surgem ou outros abandonam as redes e que suas ligações alteram ao longo do tempo. A visão de uma rede evoluindo com o tempo é diferente da visão tradicional que agregada o