Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
ALFA LerNET
LerNET (Language Engineering and Rigourous Software Development) is a network of higher education and research institutions in the Area of Computer Science, formed under the auspices of the European Comission ALFA Programme (Latin America Academic Training) programme. Integrantes: Carlos Camarão de Figueiredo – Integrante / Luis Soares Barbosa – Coordenador
Eficiência em Mercados Eletrônicos: Caracterização, Suporte à Participação e Novos Modelos de Negócio.
O objetivo central deste projeto se resume a aperfeiçoar a eficiência dos mercados eletrônicos, que diz respeito a torná-lo interessante (atrativo) e mais popular para os atores envolvidos na negociação eletrônica (compradores, vendedores, provedores de serviços e soluções tecnológicas). Para alcançar esse objetivo, a estratégia básica é pesquisar e desenvolver
NEW-WIFI: Novos Protocolos para Redes Sem Fio
O objetivo desse trabalho é o desenvolvimento de novos algoritmos e protocolos para Redes Sem Fio. Uma rede utiliza uma pilha de software para garantir a comunicação entre os nós da rede. Pretendemos estudar, criar e avaliar novos protocolos utilizando a técnica de Codificação em Rede e experimentar no mundo
Vigilância e Computação Forense em Larga Escala
Ao longo dos últimos anos, tem-se utilizado cada vez mais câmeras no monitoramento de grandes cidades. Se, por um lado, as câmeras de vigilância proporcionam uma grande quantidade de dados visuais, por outro, a análise desses dados torna-se um grande desafio quando feita manualmente. Desta maneira, o processamento automático desses
Fapemig/Programa Pesquisador Mineiro: Suporte de Sistemas a Aplicações Distribuídas de Alto Desempenho
Este projeto aborda o problema de oferecer a aplicações distribuídas um ambiente de execução que lhes permita atingir o melhor desempenho possível. Para isso pretende-se utilizar uma abordagem sistêmica que não ignore as interações entre sistemas de E/S, escalonadores, protocolos de rede, interfaces de programação e sistemas de memória, sabendo
Avaliação do Desempenho Acadêmico dos Alunos Cotistas da UEMS
O presente trabalho tem como objetivo analisar alguns aspectos do desempenho acadêmico em alunos cotistas e não cotistas, considerando todas as disciplinas cursadas nos anos de 2004 e 2005 das primeiras e segundas séries de todos os cursos da UEMS. O referido período e as séries foram considerados por abranger
Computação Além do Silício Projeto e Simulação de Circuitos de Quantum-Dots Cellular Automata
O objetivo deste projeto de pesquisa é investigar e estudar alternativas tecnológicas que possam ser capazes de substituir os transistores de silício convencionalmente usados na computação. Mais especificamente, focaremos no projeto e simulação de circuitos de Quantum-Dot Cellular Automata (QCA), uma destas alternativas, que não utilizam transistores e nem corrente
A Multi-View Approach for Automatic Quality Assessement in Collaborative Web Documents
The Web 2.0 has brought deep changes to the Internet, as users are now able not only to consume, but also to produce content in a much faster and easier manner, in many cases in a collaborative way. This change gave rise to new ways for creating knowledge repositories to
Verificação Híbrida de Modelos: Ferramentas e Aplicações
Sistemas computacionais são frequentemente utilizados em aplicações críticas como controladores de máquinas industriais aonde falhas podem ter consequências graves. Mesmo em aplicações não industriais erros são frequentemente inaceitáveis. Por exemplo, em um sistema de comércio eletrônico erros podem levar desde a perda de clientes por insatisfação com o serviço até
