The web feature service: transaction standard: an example of prototype implementation

Trabalho de Projecto apresentado como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica

ZoomAzores project: implementation of a WebGIS for Nature and Adventure Tourism.

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

Consultoria financeira e apoio financeiro ao comércio: apoios financeiros à modernização do comércio: relatório de estágio na Associação Empresarial da Póvoa de Varzim

Relatório de estágio

An Enhanced WLAN Security System With FPGA Implementation for Multimedia Applications

Maintaining a high level of data security with a low impact on system performance is more challenging in wireless multimedia applications. Protocols that are used for wireless local area network (WLAN) security are known to significantly degrade performance. In this paper, we propose an enhanced security system for a WLAN. Our new design aims to decrease the processing delay and increase both the speed and throughput of the system, thereby making it more efficient for multimedia applications. Our design is based on the idea of offloading computationally intensive encryption and authentication services to the end systems’ CPUs. The security operations are performed by the hosts’ central processor (which is usually a powerful processor) before delivering the data to a wireless card (which usually has a low-performance processor). By adopting this design, we show that both the delay and the jitter are significantly reduced. At the access point, we improve the performance of network processing hardware for real-time cryptographic processing by using a specialized processor implemented with field-programmable gate array technology. Furthermore, we use enhanced techniques to implement the Counter (CTR) Mode with Cipher Block Chaining Message Authentication Code Protocol (CCMP) and the CTR protocol. Our experiments show that it requires timing in the range of 20–40 μs to perform data encryption and authentication on different end-host CPUs (e.g., Intel Core i5, i7, and AMD 6-Core) as compared with 10–50 ms when performed using the wireless card. Furthermore, when compared with the standard WiFi protected access II (WPA2), results show that our proposed security system improved the speed to up to 3.7 times.

RoutesMobilityModel: easy realistic mobility simulation using external information services

Workshop on ns-3 (WNS '15). 13, May, 2015. Castelldefels, Spain.

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

Enhancing Agent Mediated Electronic Markets with Ontology Matching Services and Social Network Support

Os Mercados Eletrónicos atingiram uma complexidade e nível de sofisticação tão elevados, que tornaram inadequados os modelos de software convencionais. Estes mercados são caracterizados por serem abertos, dinâmicos e competitivos, e constituídos por várias entidades independentes e heterogéneas. Tais entidades desempenham os seus papéis de forma autónoma, seguindo os seus objetivos, reagindo às ocorrências do ambiente em que se inserem e interagindo umas com as outras. Esta realidade levou a que existisse por parte da comunidade científica um especial interesse no estudo da negociação automática executada por agentes de software [Zhang et al., 2011]. No entanto, a diversidade dos atores envolvidos pode levar à existência de diferentes conceptualizações das suas necessidades e capacidades dando origem a incompatibilidades semânticas, que podem prejudicar a negociação e impedir a ocorrência de transações que satisfaçam as partes envolvidas. Os novos mercados devem, assim, possuir mecanismos que lhes permitam exibir novas capacidades, nomeadamente a capacidade de auxiliar na comunicação entre os diferentes agentes. Pelo que, é defendido neste trabalho que os mercados devem oferecer serviços de ontologias que permitam facilitar a interoperabilidade entre os agentes. No entanto, os humanos tendem a ser relutantes em aceitar a conceptualização de outros, a não ser que sejam convencidos de que poderão conseguir um bom negócio. Neste contexto, a aplicação e exploração de relações capturadas em redes sociais pode resultar no estabelecimento de relações de confiança entre vendedores e consumidores, e ao mesmo tempo, conduzir a um aumento da eficiência da negociação e consequentemente na satisfação das partes envolvidas. O sistema AEMOS é uma plataforma de comércio eletrónico baseada em agentes que inclui serviços de ontologias, mais especificamente, serviços de alinhamento de ontologias, incluindo a recomendação de possíveis alinhamentos entre as ontologias dos parceiros de negociação. Este sistema inclui também uma componente baseada numa rede social, que é construída aplicando técnicas de análise de redes socias sobre informação recolhida pelo mercado, e que permite melhorar a recomendação de alinhamentos e auxiliar os agentes na sua escolha. Neste trabalho são apresentados o desenvolvimento e implementação do sistema AEMOS, mais concretamente: • É proposto um novo modelo para comércio eletrónico baseado em agentes que disponibiliza serviços de ontologias; • Adicionalmente propõem-se o uso de redes sociais emergentes para captar e explorar informação sobre relações entre os diferentes parceiros de negócio; • É definida e implementada uma componente de serviços de ontologias que é capaz de: • o Sugerir alinhamentos entre ontologias para pares de agentes; • o Traduzir mensagens escritas de acordo com uma ontologia em mensagens escritas de acordo com outra, utilizando alinhamentos previamente aprovados; • o Melhorar os seus próprios serviços recorrendo às funcionalidades disponibilizadas pela componente de redes sociais; • É definida e implementada uma componente de redes sociais que: • o É capaz de construir e gerir um grafo de relações de proximidade entre agentes, e de relações de adequação de alinhamentos a agentes, tendo em conta os perfis, comportamento e interação dos agentes, bem como a cobertura e utilização dos alinhamentos; • o Explora e adapta técnicas e algoritmos de análise de redes sociais às várias fases dos processos do mercado eletrónico. A implementação e experimentação do modelo proposto demonstra como a colaboração entre os diferentes agentes pode ser vantajosa na melhoria do desempenho do sistema e como a inclusão e combinação de serviços de ontologias e redes sociais se reflete na eficiência da negociação de transações e na dinâmica do mercado como um todo.

Translation encoding for OGC services

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Parallelization of web processing services on cloud computing: A case study of Geostatistical Methods

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Design and implementation of 3D buildings integration for a Webgl-Based Virtual Globe: a case study of Valencian Cadastre and Fide Building Mode

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Hypermedia-based Web Services as System Integrators

As we move more closely to the practical concept of the Internet of Things and, our reliance on public and private APIs increases, web services and their related topics have become utterly crucial to the informatics community. However, the question about which style of web services would best solve a particular problem, can raise signi cant and multifarious debates. There can be found two implementation styles that highlight themselves: the RPC-oriented style represented by the SOAP protocol’s implementations and the hypermedia style, which is represented by the REST architectural style’s implementations. As we search examples of already established web services, we can nd a handful of robust and reliable public and private SOAP APIs, nevertheless, it seems that RESTful services are gaining popularity in the enterprise community. For the current generation of developers that work on informatics solutions, REST seems to represent a fundamental and straightforward alternative and even, a more deep-rooted approach than SOAP. But are they comparable? Do both approaches have each speci c best suitable scenarios? Such study is brie y carried out in the present document’s chapters, starting with the respective background study, following an analysis of the hypermedia approach and an instantiation of its architecture, in a particular case study applied in a BPM context.

Implementation of a pilot project for the treatment and prevention of substance abuse in children and adolescents : strengthening families for parents and youths 12-16

RESUMO: Antecendentes: Uma avaliação dos serviços de abuso de substâncias em Barbados identificou a necessidade de programas e serviços que são projetados especificamente para crianças e adolescentes. Objetivo: Realizar programa com base em evidências para reduzir a incidência de abuso de drogas entre crianças e adolescentes por meio do fortalecimento da unidade familiar através de parentalidade positiva, de maior funcionamento familiar e de resistência dos jovens. Método: Dois projetos-piloto foram realizadas com base no programa "Fortalecer as Famílias para Pais e Jovens de 12 a 16 anos (SFPY). O programa de nove semanas foi empregado como uma intervenção para criar laços familiares mais fortes, aumentar a resistência dos jovens e reduzir o abuso de drogas entre crianças e adolescentes de idades de 11 a 16 anos. A decisão foi tomada para incluir participantes de 11 anos desde que as crianças possam estar no primeiro ano da escola secundária nessa idade. IMPLEMENTATION OF SUBSTANCE ABUSE PILOT PROJECT FOR CHILDREN AND ADOLESCENTS 5 Resultados: Quinze famílias participaram em dois projetos-piloto e a avaliação final mostrou que os jovens após o programa, geralmente tornaram-se mais positivos sobre o seu lugar na unidade familiar e sentiram que sua participação no programa foi benéfica. Os pais, da mesma forma, relataram que eles conquistaram, com o programa uma relação mais positiva, uma melhor compreensão das necessidades, e consciência das mudanças de desenvolvimento de seus jovens. Desta forma, considera-se que o programa atingiu o resultado desejado de criar unidades familiares mais fortes. Conclusão: O Projeto Piloto “SFPY” foi bem sucedido em fazer pais e jovens mais conscientes de suas necessidades individuais e de responsabilidades dentro da unidade familiar. Como resultado, o relacionamentos das respectivas famílias melhorou. Estudos baseados em evidências têm demonstrado que um relação familiar mais forte diminui a incidência de uso e abuso de drogas na população adolescente, aumentando os fatores de proteção e diminuindo os fatores de risco. A implementação do programa, que foi desenvolvido e testado no ambiente norte-americano, demonstrou que era transferível para a sociedade de Barbados. No entanto, seu impacto total só pode ser determinado através de um estudo comparativo envolvendo um grupo de controle e / ou uma intervenção alternativa ao abuso de substâncias. Portanto, é recomendável que um estudo comparativo da intervenção SFPY deve envolver uma amostra representativa de adolescentes que estão em estágio de desenvolvimento anterior mais cedo. Evidências já demonstram que o programa é mais eficaz, com impacto mais longo sobre os jovens que participam em uma idade maisABSTRACT:Background: An evaluation of substance abuse services in Barbados has identified the need for programmes and services that are specifically designed for children and adolescents. Aim: To conduct an evidence-based programme to reduce the incidence of substance abuse among children and adolescents by strengthening the family unit through positive parenting, enhanced family functioning and youth resilience. Method: Two pilot projects were conducted based on the ‘Strengthening Families for Parents and Youths 12– 16’ (SFPY) programme. The nine-week programme was employed as an intervention to create stronger family connections, increase youth resiliency and reduce drug abuse among children and adolescents between the ages of 11 to 16. The decision was made to include participants from age 11 since children may be in the first year of secondary school at this age. IMPLEMENTATION OF SUBSTANCE ABUSE PILOT PROJECT FOR CHILDREN AND ADOLESCENTS 3 Results: Fifteen families participated in two pilot projects and an evaluation conducted at the conclusion showed that the youth were generally more positive about their perceived place in the family unit and felt that the being in the programme was generally beneficial. The parents similarly reported they had a more positive relationship with their youths and also had a better understanding of their needs, and an awareness of their developmental changes. This affirmed that the programme had achieved its desired outcome to create stronger family units. Conclusion: The SFPY Pilot Project was successful in making parents and youths more aware of their individual needs and responsibilities within the family unit. As a result relationships within their respective families were strengthened. Evidence-based studies have shown that enhanced family functioning decreases the incidence of substance use and abuse in the adolescent population by increasing protective factors and decreasing risk factors. The implementation of the programme, which was developed and tested in the North American environment, demonstrated that it was transferable to the Barbadian society. However, its full impact can only be determined through a comparative study involving a control group and/or an alternative substance abuse intervention. It is therefore recommended that a comparative study of the SFPY intervention should be delivered to a representative sample of adolescents who are at an earlier developmental stage. Evidence has shown that the programme is more effective, with longer impact on youths who participate at a younger age.

The implementation of an Enterprise Geographical Information System to support Cadastre and Expropriation activities.

The processes of mobilization of land for infrastructures of public and private domain are developed according to proper legal frameworks and systematically confronted with the impoverished national situation as regards the cadastral identification and regularization, which leads to big inefficiencies, sometimes with very negative impact to the overall effectiveness. This project report describes Ferbritas Cadastre Information System (FBSIC) project and tools, which in conjunction with other applications, allow managing the entire life-cycle of Land Acquisition and Cadastre, including support to field activities with the integration of information collected in the field, the development of multi-criteria analysis information, monitoring all information in the exploration stage, and the automated generation of outputs. The benefits are evident at the level of operational efficiency, including tools that enable process integration and standardization of procedures, facilitate analysis and quality control and maximize performance in the acquisition, maintenance and management of registration information and expropriation (expropriation projects). Therefore, the implemented system achieves levels of robustness, comprehensiveness, openness, scalability and reliability suitable for a structural platform. The resultant solution, FBSIC, is a fit-for-purpose cadastre information system rooted in the field of railway infrastructures. FBSIC integrating nature of allows: to accomplish present needs and scale to meet future services; to collect, maintain, manage and share all information in one common platform, and transform it into knowledge; to relate with other platforms; to increase accuracy and productivity of business processes related with land property management.

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

Implementation of WHO Quality Rights assessment in Kabul Mental Health Hospital

RESUMO: Objetivo Avaliar a qualidade dos serviços de saúde mental e a situação dos direitos humanos no Hospital de Saúde Mental de Kabul (KMHH) e fornecer recomendações para o desenvolvimento de um plano de melhoria, actualização e revisão da Política, Estratégia e Plano Nacionais de Saúde Mental,. Métodos A avaliação foi realizada em Janeiro de 2015 no KMHH e na Burn Ward do Hospital Terciário de Isteqlal por uma equipa multidisciplinar usando Qualidade Direitos Tool Kit da OMS. Antes da avaliação, o protocolo foi aprovado pelo Institutional Review Board e obtido o consentimento informado de cada entrevistado. Realizaram-se entrevistas com 16 utentes do serviço, 17 funcionários do hospital e 7 familiares, além da revisão de documentos e da observação das unidades de internamento do KMHH e das interações interpessoais entre funcionários do hospital e utentes do serviço. A comissão de avaliação reviu também a documentação e observou a Unidade de Queimados do Hospital Terciário de Isteqlal, a fim de avaliar e comparar a paridade entre as duas instalações. Após a avaliação, todos os membros da comissão se reuniram e puseram em conjunto todas as conclusões num relatório final. Resultados Encontrámos algumas lacunas graves no nível de prestação de serviços e no respeito pelos direitos humanos dos utentes dos serviços e dos seus familiares. Uma série de políticas, diretrizes e procedimentos relacionados com os direitos humanos dos pacientes estavam ausentes. O ambiente terapêutico e o padrão de vida eram inadequados, existia má qualidade do atendimento e dos serviços prestados, os utilizadores enfrentavam violações do direito ao exercício da capacidade legal e da liberdade pessoal, eram quimica e fisicamente (uso de correntes) contidos e expostos a abusos verbais, físicos e emocionais, e havia grande ênfase no tratamento institucional. Todos estes aspectos foram considerados como extensa violação dos direitos humanos dos utentes de serviço do KMHH. Conclusão Os serviços disponíveis para utentes dos serviços de saúde mental apresentam alguns problemas devido à desconfiança e falta de consciencialização sobre os direitos das pessoas com doença mental e precisam ser alterados de forma positiva. A Lei de Saúde Mental existente difere muito das recomendações da Convenção sobre os Direitos das Pessoas com Incapacidades (CRPD) e requer revisão e adaptação de acordo com esta Convenção. -------------------------------- ABSTRACT: Objective To assess the quality of mental health services and human rights condition in the Kabul Mental Health Hospital (KMHH) and provide recommendations for development of an improvement plan and to update and revise the National Mental Health Policy, Strategy and Plan. Methods The assessment was conducted in January 2015 in the KMHH and the Burn Ward of Isteqlal Tertiary Hospital by a multidisciplinary team using WHO Quality Rights Tool Kit. Before the assessment, Institutional Review Board approval and informed consent from each interviewee were obtained. Interviews were conducted with 16 service users, 17 hospital staffs and 7 family members in addition to documents review and observation of inpatient units of KMHH plus interpersonal interactions between hospital staff and service users. The assessment committee reviewed the documentation and observed the Burn Ward of Isteqlal Tertiary hospital in order to measure and compare parity between the two facilities. After the assessment, all committee members gathered and synchronized all findings into a final report. Results There were some serious gaps on service provision level and respecting human rights of service users and their family members. A series of policies, guidelines and procedures related to patients’ human rights were absent. Inadequate treatment environment and standard of living, poor quality of care and services, violations of the right to exercise legal capacity and personal liberty, being chemically and physically (e.g. chain) restrained, being exposed to verbal, physical and emotional abuse, and emphasis on institutional treatment were all extensive human rights violation that service users were experiencing in KMHH. Conclusion The available services for mental health service users are questionable due to mistrust and lack of awareness about rights of people with disabilities and need to be positively changed. Existing Mental Health Act has a large number of disparities with the CRPD and requires revision and adaptation in accordance to CRPD.