XATA 2010 : XML : Associated Technologies and Applications, 8th

These are the proceedings for the eighth national conference on XML, its Associated Technologies and its Applications (XATA'2010). The paper selection resulted in 33% of papers accepted as full papers, and 33% of papers accepted as short papers. While these two types of papers were distinguish during the conference, and they had different talk duration, they all had the same limit of 12 pages. We are happy that the selected papers focus both aspects of the conference: XML technologies, and XML applications. In the first group we can include the articles on parsing and transformation technologies, like “Processing XML: a rewriting system approach", “Visual Programming of XSLT from examples", “A Refactoring Model for XML Documents", “A Performance based Approach for Processing Large XML Files in Multicore Machines", “XML to paper publishing with manual intervention" and “Parsing XML Documents in Java using Annotations". XML-core related papers are also available, focusing XML tools testing on “Test::XML::Generator: Generating XML for Unit Testing" and “XML Archive for Testing: a benchmark for GuessXQ". XML as the base for application development is also present, being discussed on different areas, like “Web Service for Interactive Products and Orders Configuration", “XML Description for Automata Manipulations", “Integration of repositories in Moodle", “XML, Annotations and Database: a Comparative Study of Metadata Definition Strategies for Frameworks", “CardioML: Integrating Personal Cardiac Information for Ubiquous Diagnosis and Analysis", “A Semantic Representation of Users Emotions when Watching Videos" and “Integrating SVG and SMIL in DAISY DTB production to enhance the contents accessibility in the Open Library for Higher Education". The wide spread of subjects makes us believe that for the time being XML is here to stay what enhances the importance of gathering this community to discuss related science and technology. Small conferences are traversing a bad period. Authors look for impact and numbers and only submit their works to big conferences sponsored by the right institutions. However the group of people behind this conference still believes that spaces like this should be preserved and maintained. This 8th gathering marks the beginning of a new cycle. We know who we are, what is our identity and we will keep working to preserve that. We hope the publication containing the works of this year's edition will catch the same attention and interest of the previous editions and above all that this publication helps in some other's work. Finally, we would like to thank all authors for their work and interest in the conference, and to the scientific committee members for their review work.

Protocolo MAC para redes com nós sensores móveis e nós de recolha móveis e sensores SunSPOT

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

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

Framework development for providing accessibility to qualitative spatial calculi

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

Landslide susceptibility assessment in Karanganyar regency - Indonesia - Comparison of knowledge-based and Data-driven Models

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.

A modular distributed transactional memory framework

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

A Primeira Viagem Neerlandesa à Ásia, 1595-1597. Objetivos e interações com os Portugueses

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em História Moderna e dos Descobrimentos

Partial replication in distributed software transactional memory

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

Touchless autopsy report

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

Maintaining the correctness of transactional memory programs

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

A system’s approach to cache hierarchy-aware decomposition of data-parallel computations

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

A semi-automatic approach to code smells detection

Eradication of code smells is often pointed out as a way to improve readability, extensibility and design in existing software. However, code smell detection remains time consuming and error-prone, partly due to the inherent subjectivity of the detection processes presently available. In view of mitigating the subjectivity problem, this dissertation presents a tool that automates a technique for the detection and assessment of code smells in Java source code, developed as an Eclipse plugin. The technique is based upon a Binary Logistic Regression model that uses complexity metrics as independent variables and is calibrated by expert‟s knowledge. An overview of the technique is provided, the tool is described and validated by an example case study.

Identificação de dano estrutural com base em análise modal

O presente trabalho procura mostrar as potencialidades das técnicas de monitorização estrutural, de detecção, localização e caracterização de dano através de alterações dos parâmetros modais. As características dinâmicas de vibração de uma estrutura são alteradas pela presença de dano, o que, representando uma perda física, conduz à consequente perda de rigidez. Este fenómeno é responsável por modificações nas frequências naturais, deslocamentos modais e respectivas derivadas. Este trabalho apresenta a curvatura das configurações modais como possível parâmetro de controlo na identificação de dano estrutural. Neste documento encontram-se vários estudos de sensibilidade realizados em três modelos distintos (viga bi-apoiada, viga em consola e pórtico encastrado) em que se pretende avaliar a fiabilidade do método das curvaturas. Foram também desenvolvidos estudos respeitantes às alterações das frequências naturais e às alterações de dois indicadores estatísticos, o MAC e o COMAC. Com base nos resultados do método das curvaturas foi desenvolvida uma Java Applet, que constitui uma ferramenta de cálculo que permite explorar as potencialidades do método das curvaturas modais na identificação de danos em várias estruturas. Esta aplicação foi desenvolvida no compilador NetBeans IDE.

Auto-consumo directo: definição de metodologia e estudo de caso

Actualmente uma das preocupações da Comissão Europeia passa pela maneira como a energia é convertida e o modo como esta é aproveitada. Surgiu assim a estratégia Europa 2020, onde é claramente expressa a preocupação relativamente ao Ambiente e a diminuição da pegada ecológica. No campo relativo ao Ambiente e Energia existem metas tais como a redução das emissões de gases de efeito de estufa em 20%, o aumento da eficiência energética em 20% e a obtenção de 20% da energia consumida via energias renováveis. De maneira a que seja possível atingir as metas propostas, têm de surgir novos regimes para as energias renováveis uma vez que se tem verificado uma diminuição de apoios às tarifas feed-in. Estes factos levaram ao surgimento de um novo regime, o auto-consumo directo, que em tudo se diferencia das tarifas feed-in, uma vez que neste regime o produtor vendia toda a energia que produzia à rede. Já no regime de auto-consumo directo, o produtor consome a energia que produz, passando a ser um prosumer. Nesta dissertação é feito o levantamento sobre o conceito de auto-consumo directo assim como a legislação e ponto de situação da Europa e de Portugal no que diz respeito à paridade de rede. Foram ainda definidas as metodologias a aplicar. Com o auxílio da ferramenta informática desenvolvida em ambiente Java foi feita a análise de dois estudos de caso, uma indústria e um comércio e foi estudada a viabilidade económica, de cada caso, segundo vários indicadores e parâmetros definidos.