TSKY: a dependable middleware solution for data privacy using public storage clouds

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

Preventing atomicity violations with contracts

Concurrent programming is a difficult and error-prone task because the programmer must reason about multiple threads of execution and their possible interleavings. A concurrent program must synchronize the concurrent accesses to shared memory regions, but this is not enough to prevent all anomalies that can arise in a concurrent setting. The programmer can misidentify the scope of the regions of code that need to be atomic, resulting in atomicity violations and failing to ensure the correct behavior of the program. Executing a sequence of atomic operations may lead to incorrect results when these operations are co-related. In this case, the programmer may be required to enforce the sequential execution of those operations as a whole to avoid atomicity violations. This situation is specially common when the developer makes use of services from third-party packages or modules. This thesis proposes a methodology, based on the design by contract methodology, to specify which sequences of operations must be executed atomically. We developed an analysis that statically verifies that a client of a module is respecting its contract, allowing the programmer to identify the source of possible atomicity violations.

Avaliação do potencial de cumprimento de regras de segurança numa fábrica de transformadores

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau em Mestrado Integrado em Engenharia e Gestão Industrial

Estudo do impacte da institucionalização em lares na satisfação das necessidades humanas fundamentais : perspectiva dos idosos residentes

RESUMO O envelhecimento populacional, nos países ditos “desenvolvidos”, tem sido largamente discutido a nível internacional pelas suas implicações económicas, sociais e de saúde. Uma das prioridades de intervenção face a este fenómeno é promover o aumento de pessoas idosas autónomas inseridas no seu contexto social e familiar habitual. No entanto, nem sempre esse objectivo é atingido e a muitas pessoas idosas restam os lares, ou preferem-nos, como opção de alojamento e de satisfação das necessidades humanas fundamentais. O principal objectivo deste estudo foi procurar saber se a institucionalização no lar teve impacte na satisfação habitual das necessidades humanas fundamentais das pessoas idosas. Como objectivos secundários pretendeu-se complementar esta informação com alguns aspectos relacionados com o processo de institucionalização e perceber se existem diferenças significativas no que respeita ao sexo, grupo etário ou tempo de internamento. Foram incluídas no estudo 125 pessoas com 65 ou mais anos, residentes em 15 lares com alvará de iniciativa privada, pertencentes à Região de Lisboa e Vale do Tejo, no distrito de Setúbal. Os dados foram obtidos através de um questionário construído para o efeito pela autora. As principais conclusões do estudo apontaram para um impacte negativo da institucionalização na satisfação habitual de algumas necessidades que se enquadram no plano social, nomeadamente ocupar-se para se sentir útil, recrear-se e comunicar com os semelhantes. Nas diferentes necessidades, de uma forma geral, a institucionalização teve um impacte negativo no que respeita às dimensões relacionadas com privacidade e preferência individual. Por outro lado, a institucionalização parece ter tido um impacte positivo nas dimensões relacionadas com a segurança e a acessibilidade. Não foram encontradas diferenças significativas no que respeita ao número médio de respostas favoráveis ao lar ou à casa entre os grupos etários ou quanto ao tempo de internamento. Apesar disso, encontraram-se diferenças no que respeita ao grau de satisfação em residir num lar, sendo que o nível de satisfação com a institucionalização foi maior nas pessoas que residiam no lar há mais de um ano, comparativamente às que residiam no lar há um ano ou menos.-------------------------------------------- ABSTRACT: The ageing of the population of the more developed countries has been largely discussed internationally because of its economic, social and health implications. One of the priorities of intervention facing the ageing phenomenon is to promote the increase of autonomous elderly, within their usual social and familiar environment. Not always this goal is achieved and many elderly have nursing homes as option, or voluntary choose them, for lodgement and fundamental human needs satisfaction. The main goal of this study was to search whether the nursing home institutionalization had impact in the satisfaction of fundamental human needs. As secondary goals it was established to complement this information with some aspects of the institutionalization process, as well as to analyse if there were significant differences as far as sex, age groups or institutionalization time. The study sample included 125 individuals aged 65 years or more, living in 15 private nursing homes with approved legal certification, belonging to the Lisboa and Tagus Valley Region, in the district of Setúbal. Data were collected through a questionnaire designed for this study by the author. The main conclusions of this study pointed at a negative impact of institutionalization on the usual satisfaction of some human needs included at the social field, namely occupation, recreation and communication. At another level of needs, in a general way, institutionalization had negative impact concerning privacy and individual preferences dimensions. On the other hand, institutionalization appeared to have a positive impact in safety and accessibility dimensions. It was not found significant differences between age groups or institutionalization time as far as the average positive answers in favour to nursing home or house. Notwithstanding, there were differences relating to satisfaction in living at the nursing home being the satisfaction higher in residents who lived at the nursing home for more than a year, comparatively to those that lived at the nursing home for a year or less.

Welcome to the golden land: sexual and gender-based violence against women refugees from Burma

European Master’s Degree in Human Rights and Democratisation Academic Year 2005/2006

4Sensing - decentralized processing for participatory sensing data

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

Building anonymised database samples

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

Maintaining the correctness of transactional memory programs

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

Parameter estimation in the presence of auxiliary information

Dissertação para obtenção do Grau de Doutora em Estatística e Gestão de Risco, Especialidade em Estatística

At the heart of celebrity: celebrities’ children and their rights in the media

Based on a comparative analysis of celebrity magazines in Portugal and Brazil, this article analyses the representation of children of celebrities. Those magazines privilege an extreme personalisation of the stories and a strong valuation of the photographic image, representing children as a source of happiness and affection within the family. Nonetheless, drawing on celebrity studies and on children’s rights and their implications for journalism, we concluded that this positive representation frequently collides with the children’s rights to privacy, to be protected from public embarrassment and to be heard in the issues that affect them.

Is the Lunatic Detention Act of 1917 appropriate for modern Gambia?

RESUMO: OS distúrbios mentais, neurológicos e devidos ao abuso de substâncias tem uma grande prevalência e peso em todo o Mundo. O objetivo principal deste estudo é contribuir para a melhoria dos direitos humanos das pessoas com deficiências mentais na Gâmbia, através de uma revisão e análise críticas de uma obsoleta legislação de saúde mental do País o "Lunatic Act Detention (LDA) de 1917".----- ABSTRACT: Mental, neurological, and substance use disorders are highly prevalente and burdensome worlwide. The violations of human rights directed towards people with this disorders compound the problam. This study mainly aims to contribute do the improvement of human rights of people with mental disabilities in Gambia by doing a critical review and analysis to the countries outdated mental health legislation - Lunatic Detention ct (LDA) from 1917.

Da valoração de gravações e fotografias obtidas por particulares no processo penal

Recordings and photographs obtained by private individuals can be two of the most relevant evidences in helping finding the truth; however, they can also conflict with fundamental rights such as privacy, spoken word or image of the targets. It is not enough that only the violation of the right to privacy is withdrawn because rights to spoken word or image, unattached from the first one, show up independently as the main violated rights and are criminally protected in article 199º of the criminal code. Its use as evidence is, on a first moment, dependent on the private's conduct lawfulness, as it is stated in article 167º of the criminal procedure code. In order to consider its lawfulness, and accept its use as evidence, portuguese higher courts have been defending constructions mostly based on legal causes of defense. Although agreeing with a more flexible position of weighing all the interests at stake instead of denying its use as evidence, we believe notwithstanding that some of these solutions are misleading and shall not be spared from critics. Lastly, even if we reach a positive conclusion about the lawfulness of obtaining and using recordings and photogtaphs carried out to court by private individuals, they must not be however automatically admitted as evidence, still being necessary to proceed to a separate weighting, within the criminal procedure and its own legal rules, about their real purposes in the case.

Direito a ser esquecido na internet

With the recent technological development, we have been witnessing a progressive loss of control over our personal information. Whether it is the speed in which it spreads over the internet or the permanent storage of information on cloud services, the means by which our personal information escapes our control are vast. Inevitably, this situation allowed serious violations of personal rights. The necessity to reform the European policy for protection of personal information is emerging, in order to adapt to the technological era we live in. Granting individuals the ability to delete their personal information, mainly the information which is available on the Internet, is the best solution for those whose rights have been violated. However, once supposedly deleted from the website the information is still shown in search engines. In this context, “the right to be forgotten in the internet” is invoked. Its implementation will result in the possibility for any person to delete and stop its personal information from being spread through the internet in any way, especially through search engines directories. This way we will have a more comprehensive control over our personal information in two ways: firstly, by allowing individuals to completely delete their information from any website and cloud service and secondly by limiting access of search engines to the information. This way, it could be said that a new and catchier term has been found for an “old” right.

Construção de uma responsabilidade europeia além-fronteiras

The suppression of internal border controls has led the European Union to establish a mechanism for determining the Member State responsible for examining each asylum application, with the main intention of deterring asylum seekers from lodging multiple applications and guaranteeing that it will be assessed by one of the States – the Dublin System. Even though it holds on a variety of criteria, the most commonly used is the country of first entrance in the EU. The growing migrating flows coming mainly from Northern Africa have thus resulted in an incommensurable burden over the border countries. Gradually, countries like Greece, Bulgaria and Italy have lost capability of providing adequate relief to all asylum seekers and the records of fundamental rights violations related to the provision of housing and basic needs or inhuman detention conditions started piling up. To prevent asylum seekers who had already displaced themselves to other Member States from being transferred back to countries where their human dignity is questionable, the European Court of Human Rights and the Court of Justice have developed a solid jurisprudence determining that when there is a risk of serious breach of fundamental rights all transfers to that country must halt, especially when it is identified with systemic deficiencies in the asylum system and procedures. This reflexion will go through the jurisprudence that influenced very recent legislative amendments, in order to identify which elements form part of the obligation not to transfer under the Dublin System. At last, we will critically analyze the new rising obligation, that has clearly proven insufficient in light of the international fundamental rights framework that the Member States and the EU are bound to respect, proposing substantial amendments with a view to reach a future marked by high solidarity and global responsibility from the European Union.

Satisfação dos utilizadores de sistemas de informação e documentação de enfermagem em suporte eletrónico no Centro Hospitalar Lisboa Norte, E.P.E.

RESUMO - Os registos de enfermagem no Centro Hospitalar Lisboa Norte, E.P.E. (CHLN) são feitos em suporte de papel ou através de sistemas de informação (SI) próprios de cada serviço, com a utilização de várias aplicações como o Alert, Picis, etc. Esta diversidade gera alguns constrangimentos em termos de fluxo de informação, em virtude da falta de interoperabilidade dos respetivos sistemas. Esta realidade pode ter impactos na área da qualidade e segurança do utente, com a possibilidade de ocorrência de erros e/ou eventos adversos. Podem ainda ser notórios na área da privacidade e confidencialidade dos dados clínicos, na tomada de decisão, na gestão clínica e financeira e na produção de informação útil para a investigação científica. No CHLN está em curso a implementação de um SI capaz de dar resposta aos registos de enfermagem, integrados num registo de saúde eletrónico focado no utente que obedece à metodologia do processo de enfermagem e utiliza a linguagem codificada da Classificação Internacional para a Prática de Enfermagem (CIPE). Com o desenvolvimento desta investigação, devidamente autorizada pelo Conselho de Administração do CHLN, pretendeu-se dar resposta à pergunta de partida:  Estarão os enfermeiros, utilizadores do Desktop de Enfermagem do CHLN, satisfeitos com esse sistema de informação? Com esse propósito, foi elaborada uma abordagem exploratória com recurso a pesquisa bibliográfica sobre os sistemas de informação de enfermagem e a sua avaliação, com base no “Modelo de Sucesso dos Sistemas de Informação de DeLone e McLean”, tendo sido desenvolvido um estudo de caso com uma abordagem quantitativa, mediante a aplicação de um inquérito por questionário aos 262 enfermeiros do CHLN, nos serviços onde já utilizavam o referido SI, entre maio e junho de 2014, com uma taxa de resposta de 84%. Os resultados da aplicação do questionário, objeto de análise estatística univariada e bivariada com recurso a procedimentos descritivos e inferenciais, visando a produção de sínteses dirigidas aos objetivos do estudo, permitiram caracterizar o nível de satisfação dos enfermeiros, enquanto utilizadores do “desktop de enfermagem”, suportados por Tecnologias de Informação e Comunicação. Na escala utilizada (de 1 a 5), o nível médio de satisfação global (2,78) foi ligeiramente inferior ao seu ponto médio (3). No entanto, a maioria dos inquiridos (81,5%) não pretende abandonar o SI que utilizam. Os resultados obtidos permitem demonstrar que a satisfação dos enfermeiros face à implementação e utilização do SIE se trata de uma estratégia bem sucedida do CHLN, ainda que haja áreas onde foram evidenciados menores níveis de satisfação, tais como a “velocidade de processamento”, o “equipamento informático” e o “apoio técnico”, que podem ser alvo de uma maior atenção e reflexão pela gestão de topo, numa estratégia de melhoria contínua da qualidade, com importantes benefícios para a governação da instituição, para os profissionais e para os utentes, no futuro.