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 objetivo principal deste projeto é caracterizar o tráfego gerado por usuários de aplicações de armazanamento de dados de nuvem. Mais precisamente, busca-se comparar perfis de usuários de diferentes regiões (Europa e Brasil) bem como de usuários em ambientes acadêmicos e em ambientes comerciais. A análise irá considerar, também, usuários

Serão foco de inversitgação no próximo quadriênio os problemas relativos à cooperação robótica de forma geral, e em particular a cooperação entre robôs (que se movem em diversos meios, como a terra e o ar), e entre robôs e seres humanos. Os problemas clássicos de localização, mapeamento e planejamento também

Esse projeto têm como objetivo incorporar credibilidade a algoritmos de classificação de documentos. O termo credibilidade foi inicialmente definido para avaliar a capacidade de um usuário acreditar em um sistema computacional, e atualmente vêm sido vastamente investigada no contexto de serviços e dados disponíveis na Web. Porém, método automáticos assumem

Um dos principais objetivos da mineração de dados é descobrir padrões e relações em dados. Em várias aplicações, entretanto, é importante não somente descobrir padrões mas separar aqueles que podem ocorrer por mero acaso daqueles outros que são realmente estatisticamente significantes. Além disso, em sistemas de monitoramento contínuo, uma demanda

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,

A etapa de avaliação é fundamental para o design de uma interface, afinal é através dela é que se consegue verficar a qualidade da solução proposta, ou seja, se ela atende às necessidades dos usuários, se existem problemas de interação ou interface, seu efeito sobre o trabalho dos usuários, e

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: (3) . Integrantes: Arnaldo de Albuquerque Araújo – Coordenador /

Este projeto visa investigar as interacoes entre grandes grupos sociais e sistemas distribuidos em larga escala. E constituido de tres sub-areas principais: desempenho de sistemas par-a-par, no qual participo, caracterização do impacto do tempo de resposta no comportamento do usuários de serviços Internet, e planejamento de capacidade. Alunos envolvidos: Graduação: