Component-based software engineering: a quantitative approach

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Petri net based development of globally-asynchronous locally-synchronous distributed embedded systems

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

Design and implementation of a behaviorally typed programming system for web services

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática.

Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

A Logic and tool for local reasoning about security protocols

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

Iberian peninsula ecosystem carbon fluxes: a model-data integration study

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia do Ambiente pela Universidade Nova de Lisboa,Faculdade de Ciências e Tecnologia

Orchestration of heterogeneous middleware services and its application to a comand and control platform

MSC Dissertation in Computer Engineering

A behavioral analysis tool for models of software systems

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

Modeling assembly program with constraints. A contribution to WCET problem

Dissertação para obtenção do Grau de Mestre em Lógica Computacional

A proof system for lock-free concurrency

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

Continuidade de cuidados numa Unidade de Saúde Familiar : o efeito nos custos

RESUMO - Caracterização do problema: O sistema de saúde português atingiu um patamar de ineficiência tal que urge ser reestruturado de forma a torná-lo sustentável. De forma a atingir este nível de sustentabilidade, uma série de soluções podem ser consideradas das quais destacamos a integração de cuidados. Este conceito exige que os diferentes níveis de saúde sigam um único caminho, trabalhando de forma coordenada e contínua. A integração de cuidados pode ser implementada através de várias tipologias entre as quais se destaca a integração clínica que por sua vez é composta pela continuidade de cuidados. Assim, ao medir a continuidade de cuidados, quantifica-se de certa forma a integração de cuidados. Objetivos: Avaliar o impacto da continuidade de cuidados nos custos. Metodologia: Os dados foram analisados através de estatísticas descritivas para verificar o seu grau de normalidade. Posteriormente foram aplicados testes t-student para analisar a existência de diferenças estatisticamente significativas entre as médias das diferentes variáveis. Foi então estudado o grau de associação entre variáveis através da correlação de spearman. Por fim, foi utilizado o modelo de regressão log-linear para verificar a existência de uma relação entre as várias naturezas de custos e os índices de continuidade. Com base neste modelo foram simulados dois cenários para estimar o impacto da maximização da continuidade de cuidados nas várias naturezas de custos. Conclusões: No geral, verifica-se uma relação muito ligeira entre a continuidade de cuidados e os custos. Mais especificamente, uma relação mais duradoura entre o médico e o doente resulta numa poupança de custos, independentemente da tipologia. Analisando a densidade da relação, observa-se uma relação positiva entre a mesma e os custos totais e o custo com Meios Complementares de Diagnóstico e Terapêutica (MCDT). Contudo verifica-se uma relação médico-doente negativa entre a densidade e os custos com medicamentos e com pessoal. Ao analisar o impacto da continuidade de cuidados nos custos, conclui-se que apenas a duração da relação médico-doente tem um impacto negativo em todas as categorias de custos, exceto o custo com medicamentos. A densidade de cuidados tem um impacto negativo apenas no custo com pessoal, influenciando positivamente as outras categorias de custos. Extrapolando para o nível nacional se o nível de densidade de uma relação fosse maximizado, existiria uma poupança de 0,18 euros, por ano, em custos com pessoal.

The ambivalence of two-part tariffs for bottleneck access

Two-part tariffs, when used at the retail level, increase efficiency by lowering the price of marginal units. The same potential for higher efficiency exists for two-part tariffs at wholesale level for a given market structure, but the fixed part of the wholesale tariff can negatively affect the latter. In a simulated competition model of next-generation telecommunications access networks that has been calibrated with engineering cost data, we show that the latter effects strongly outweigh the former. That is, substituting a cost-based linear wholesale access tariff with revenue-equivalent two-part tariffs reduces the number of access seekers and therefore leads to higher prices and lower welfare and consumer surplus.

Local Development Initiatives in Metropolitan Areas' Suburban Municipalities: a comparative case-study between Amadora (Lisbon-PT) and Diadema (São Paulo-BR)

MARQUES, B.P. e CARVALHO, R. (2010) "Local Development Initiatives in Metropolitan Areas' Suburban Municipalities: a comparative case-study between Amadora (Lisbon-PT) and Diadema (São Paulo-BR)", in Actas do 16.º Congresso da APDR, Funchal, pp. 1053-1083, ISBN 978-989-96353-1-9.

Compaction quality control on site of earthworks - A comparative study

The capacity to use geologic materials (soil and rock) that are available in the surrounding environment is inherent to the human civilization and has contributed to the evolution of societies throughout the course of history. The use of these materials in the construction of structures such as houses, roads, railways or dams, stirred the improvement of socioeconomic and environmental conditions. Several reports of structural problems on embankments can be found throughout history. A considerable number of those registers can be linked to inadequate compaction, demonstrating the importance of guaranteeing a suitable quality of soil compaction. Various methodologies and specifications of compaction quality control on site of earthworks, based on the fill moisture content and dry unit weight, were developed during the 20th century. Two widely known methodologies are the conventional and nuclear techniques. The conventional methods are based on the use of the field sand cone test (or similar) and sampling of material for laboratory-based testing to evaluate the fill dry unit weight and water content. The nuclear techniques measure both parameters in the field using a nuclear density gauge. A topic under discussion in the geotechnical community, namely in Portugal, is the comparison between the accuracy of the nuclear gauge and sand cone test results for assessing the compaction and density ratio of earth fills, particularly for dams. The main purpose of this dissertation is to compare both of them. The data used were acquired during the compaction quality control operations at the Coutada/Tamujais dam trial embankment and core construction. This is a 25 m high earth dam located in Vila Velha de Rodão, Portugal. To analyse the spatial distribution of the compaction parameters (water content and compaction ratio), a 3D model was also developed. The main results achieved are discussed and finally some considerations are put forward on the suitability of both techniques to ensure fill compaction quality and on additional research to complement the conclusions obtained.

Portuguese footwear

This case study deals with the reasons why the Portuguese Footwear Cluster evolved from a small industry focused on the Portuguese internal market into a high-tech industry capable of designing and producing some of the best and most expensive shoes in the world. It went from using the low labor costs of an under-developed economy to produce long series of shoes for pre-designated brands in Northern Europe to having the ability to produce some of the highest quality shoes in the world, in small orders, designed and delivered in record timing, while offering a service of excellence. In 1960, when Portugal became a founding member of EFTA, the footwear industry in Portugal was globally irrelevant, producing low quality shoes directed to the puny internal market and its African colonies. The new free trade zone with economies much more developed that itself, led to the transfer of the labor-intensive, low skilled manufacture from the UK and Scandinavian countries to Portugal. Mostly through joint ventures, the industry was able to mechanize itself so it could produce shoes in long series at low prices. It grew based on that model up until the 1990s, when the emergence of the Asian countries meant either a different strategy or extinction. Taking advantage of a clarified leadership of its trade association, it used the European funds made available to it during the 1990s, to modernize its factory floors, so it could become more nimble and flexible, expand its design capabilities and dramatically change its image abroad. The role of the trade association, APICCAPS, was instrumental throughout the process going well beyond what came to be expected of trade associations. It used its privileged position to provide understanding regarding the current situation and competitive landscape, alerting for changes ahead and at the same time providing a strategic vision on how to deal with the challenges. Moreover, it helped companies get the resources they needed by creating a research center in collaboration with a University, by creating a process that allowed companies to learn from each other via the show casing of projects sponsored by the association or by helping industrials traveling to locations where new customers could be found. The case study provides insight on how the trade association leadership, which has no formal authority over its members, was able to guide and motivate an industry through a consistent positive approach. That approach focused on the solutions, on the opportunities and on the success stories of companies in the cluster rather than on what was wrong or needed to be addressed. Based on this case, one could use the leadership role of the trade association to discuss and change leaders’ roles and styles in other sectors or even companies.