Efficient middleware for database replication

Dissertação de Mestrado em Engenharia Informática

Low-Spin Heme b3 in the Catalytic Center of Nitric Oxide Reductase from Pseudomonas nautica

Biochemistry, 2011, 50 (20), pp 4251–4262 DOI: 10.1021/bi101605p

Partial replication in distributed software transactional memory

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

Healing replicas in a software component replication system

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

Chinese expatriates’ adjustment process in Portugal: On the road to Guanxi replication

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

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.

FEW phone file system

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

Os EFA na escola pública e a sua eficácia na empregabilidade.

Mestrado em Ciências da Educação

RepComp - replicated software components for improved performance

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

Characterization of Nitric Oxide Reductase (NOR) from pseudomonas nautica, a study on biologic nitric oxide reduction

Dissertation submitted to obtain the phD degree in Biochemistry, specialty in Physical- Biochemistry, by the Faculdade de Ciências e Tecnologia from the Universidade Nova de Lisboa

Key-CRDT stores

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

Regulation of PLK4 levels and activity to ensure centriole number control

Dissertation presented to obtain a Ph.D degree in Cellular Biology

Dissecting the molecular interaction between hepatocytes and Plasmodium liver parasites

Dissertation presented to obtain the Ph.D degree in Biology

A modular distributed transactional memory framework

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

Spill-over effects in multi-partner loyalty programs

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics