Supporting NAT traversal and secure communications in a protocol implementation framework

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Hybrid link-state path-vector protocol ++

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores Mestrado Integrado em Engenharia Electrotécnica e de Computadores

Type-based protocol conformance and aliasing control in concurrent java programs

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

A random access MAC protocol for MPR satellite networks

Dissertação apresentada para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

From Strategic Planning to Development Initiatives: a first reflection on the situation of Lisbon and Barcelona

MARQUES, B.P. (2014) From Strategic Planning to Development Initiatives: a first reflection on the situation of Lisbon and Barcelona, in 20th APDR Congress Proceddings, APDR and UÉvora, Évora, pp. 850-857, ISBN 978-989-8780-01-0.

Specification of a partial replication protocol with TLA+

Nowadays, data available and used by companies is growing very fast creating the need to use and manage this data in the most efficient way. To this end, data is replicated overmultiple datacenters and use different replication protocols, according to their needs, like more availability or stronger consistency level. The costs associated with full data replication can be very high, and most of the times, full replication is not needed since information can be logically partitioned. Another problem, is that by using datacenters to store and process information clients become heavily dependent on them. We propose a partial replication protocol called ParTree, which replicates data to clients, and organizes clients in a hierarchy, using communication between them to propagate information. This solution addresses some of these problems, namely by supporting partial data replication and offline execution mode. Given the complexity of the protocol, the use of formal verification is crucial to ensure the protocol two correctness properties: causal consistency and preservation of data. The use of TLA+ language and tools to formally specificity and verify the proposed protocol are also described.

Plataforma de gestão educativa de mediação entre a secretaria e a comunidade educativa

O presente Relatório tem como objetivo expor o trabalho desenvolvido durante o estágio, no âmbito da componente não letiva do mestrado em Ciências da Educação, realizado ao abrigo de um protocolo entre a Faculdade de Ciências Socais e Humanas (FCSH) da Universidade Nova de Lisboa (UNL) e a Escola Profissional Gustave Eiffel (EPGE), sob orientação científica do Professor Doutor Luís Manuel Bernardo da FCSH e orientação prática pela Mestre Maria Goreti Freitas, da EPGE. O estágio teve a duração de três meses, com um total de 400 horas. Deste modo, serão descritas as práticas de estágio, sustentadas nos conhecimentos adquiridos nas componentes letivas do mestrado em Ciências da Educação. O relatório está estruturado em três capítulos, finalizando com uma reflexão sobre a produtividade do estágio para a nossa aprendizagem. No primeiro capítulo, pretende-se justificar a escolha da temática deste relatório, procedendo-se à caracterização da secretaria e da escola, fundamentada através de uma revisão de literatura, bem como por algumas entrevistas realizadas durante o estágio. Neste capítulo dá-se importância ao facto deste estágio ter permitido uma interação com toda a comunidade educativa, nas suas respetivas diferenças, em diferentes níveis e situações. No segundo capítulo, efetuou-se a uma contextualização acerca das plataformas de gestão educativas bem como a sua importância para a gestão da comunidade educativa. Evidenciou-se em particular o papel das plataformas de gestão na educação, enquanto elo de ligação entre a secretaria e toda a comunidade educativa. No terceiro capítulo levou-se a cabo a descrição das principais atividades desenvolvidas durante o estágio curricular. Por fim, apresenta-se a uma reflexão crítica sobre o processo de estágio. Todo o trabalho remete para documentos anexos, os quais comprovam a documentação complementar. Alguns destes documentos foram elaborados de forma original, designadamente as entrevistas realizadas no decurso do estágio.