Aplicação informática para o estudo da viabilidade técnico-económica de uma habitação sustentável

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Energias Renováveis – Conversão Eléctrica e Utilização Sustentáveis

Linguagem de especificação leve Hoare-separação para java

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Interfaces persuasivas e tangíveis

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática.

Quantitative assessment of modularity of caesarJ components

Dissertação apresentada no âmbito do Mestrado em Engenharia Informática para obtenção do grau de Mestre em Engenharia Informática

Implementação de uma linguagem concorrente com tipos comportamentais

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Programação cultural enquanto exercício do poder

Dissertação de Doutoramento em Ciências da Comunicação

Avaliação experimental de esquemas de pré-distribuição de chaves em redes de sensores sem fios

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática.

Espaços seguros de tuplos partilhados para redes de sensores sem fios

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Implementation of the RIF-PRD

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Verificação prática de anomalias em programas de memória transaccional

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

MixCloud middleware para replicação e integração de repositórios chave/valor

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Um middleware independente da plataforma para computação paralela

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Linguagem intermédia tipificada para concorrência em memória partilhada

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Resolução de horários de exames com pesquisa local restringida

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Single operation multiple data - paralelismo de dados ao nível da sub-rotina

Dissertação para obtenção do Grau de Mestre em Engenharia Informática