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

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

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

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

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

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

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

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

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é