MICEI

Mestrado em Informática e Curso de Especialização em Informática

Tópicos

Avisos

IMPORTANTE: A partir do ano lectivo de 2007/2008, o MICEI funcionará já adequado ao Modelo de Bolonha. Para mais informações consulte Mestrado de Informática.

IMPORTANTE: Directivas para a transição MICEI - Mestrado de Informática (30.07.07)



Seminários MICEI, todas as sextas-feiras, 18h, Anfiteatro DI-A1. Participa!!

Propostas de Temas para Dissertação (aberto em permanência) (Novos temas!)

Algumas Teses Defendidas

Título Autor DataProvas
"Preservação Digital de Bases de Dados Relacionais" Ricardo André Pereira Freitas 22-Julho-2008
"Sistemas de dados em XML - dos sistemas operacionais aos sistemas de processamento analítico" José Jorge Abrantes Coelho de Moura 23-Maio-2008
"Integração de Mecanismos para Encaminhamento com Qualidade de Serviço no Protocolo OSPF" José Filipe Fernandes de Almeida Lopes 28-Junho-2007
"Definição e Implementação de um Sistema de Teste e Exames para E-Learning" António José Lira Fernandes 09-Fevereiro-2007
"Especificação e Implementação de um Repositório de Objectos de Ensino" Paulo Jorge Dias Domingues 09-Fevereiro-2007
"Reusable Aspect-Oriented Implementations of Concurrency Patterns and Mechanisms" Carlos Augusto Silva Cunha 24-Janeiro-2007
"Análise de Sistemas para Especificação de Workflow Baseados em XML" Ricardo Manuel Meira Ferrão Luís 17-Janeiro-2007
"Suporte à Edição Cooperativa de Informação Geográfica em Ambientes Web" Nuno André de Sampaio Faria 04-Janeiro-2007
"Características de um sistema de visualização para compreensão de programas Web" Eva Ferreira de Oliveira 11-Setembro-2006
"Evaluation of group-based database. Replication using centralized simulation" Luis Manuel Oliveira Soares 18-Julho-2006
"Análise de um Sistema de Votação Electrónica Comercial" Filipe José Silva de Campos 12-Julho-2006
"Unifying middleware for commercial replicated database systems" Tiago Chaves Bezerra 3-Julho-2006
"VooDooM: Suport for understanding and re-engeneering of VDM-SL specifications" Tiago Miguel Laureano Chaves 26-Junho-2006
"CORDENA - Uma plataforma para gestão de redes baseada em politicas. Arquitecturas e mecanismos de tradução de politicas" Guilherme António Teixeira 12-Junho-2006
"Model-based transformations for software architectures: a pervasive application case study" Paula Alexandra Fernandes Monteiro 10-Maio-2006
"XBRL em Portugal: Estudo e Indicações Técnicas para a sua implementação" Joel Alexandre da Silva Vicente 20-Abr-2006
"Especificação e Geração Automática de Navegadores para Redes Semânticas Baseados em Interfaces Web" Luís Miguel Alves Domingues 06-Jan-2006
"Interfaces de Computador para Crianças - Avaliação e Construção" Alexandre Sérgio Mano 01-Jan-2006
"Informação Geográfica e Web" Mário André Pinto Ferreira de Araújo 06-Dez-2005
"Cache para Visualização Interactiva de Animações" Victor Manuel dos Santos Coleho 03-Nov-2005
"Serviços Diferenciados sobre Ethernet e ATM" José Manuel Balão da Silva 14-Jul-2005
"Model Cheking of Petri Nets for Embedded Systems" Óscar Rafael da Silva Ferreira Ribeiro 06-Jul-2005
"Formalizing Markup Languages for user Interface" Luis Gonzaga Ferreira 17-Jun-2005
"Localização Automática de Objectos em Sequências de Imagens" António Manuel Ribeiro de Sousa 19-Mai-2005
"A Framework for the Timing Analysis of Ethernet-based Factory-floor Networks" Nuno Alexandre Magalhães Pereira 14-Mar-2005
"Sistemas de Bases de Dados Móveis" Sílvia Maria Rodrigues da Cunha 15-Dez-2004
"Exploração de Soluções de Arquivo para Documentos anotados na linguagem XML e o seu processamento" Giovana Mendes 10-Dez-2004
"Exploração do GML e Web Services para uso de SIG's em PDA's" Ricardo Alexandre Gonçalves Carotta Martins 7-Dez-2004
"Sistemas de Data Webhousing: Análise, desenho, implementação e exploração de sistemas reais" Eurico Alexandre Teixeira Borges 24-Nov-2004
"Objectivação de Especificações Formais" António Miguel Ribeiro dos Santos Rosado da Cruz 12-Nov-2004
"Estudo de um Subconjunto "Precioso" do GML 2.12" Mário Ricardo de Novais Henriques 12-Nov-2004
"Reificação "Genética" de Estruturas de Dados" Fernando Luís Pinto Neves 12-Out-2004
"Projecto e Implementação de Sistemas de Data Warehousing" Vasco Nuno Caio dos Santos 15-Set-2004
"Distributed Transaction Processing in the Escada Protocol" Alfrânio Tavares Correia Júnior 23-Jul-2004
"Extracção Incremental de Padrões Frequentes em bases de dados" José Manuel de Almeida Pereira 14-Jul-2004
"Parallel corpora word aligment and applications" Alberto Manuel Brandão Simões 14-Jun-2004
"Web Services: Aplicações distribuídas sobre Protocolos Internet" Carlos Jorge Feijó Lopes 30-Abr-2004
"Re-engenharia de dados em suporte relacional usando métodos formais" João Carlos Cardoso da Silva 12-Mar-2004

r21 - 20 Oct 2008 - 14:59:52 - PaulaAnjo
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM