A type system for access control in an object-oriented language

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

Sentiment analysis on twitter for the portuguese language

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

A domain specific language for domotic systems

To cope with modernity, the interesting of having a fully automated house has been increasing over the years, as technology evolves and as our lives become more stressful and overloaded. An automation system provides a way to simplify some daily tasks, allowing us to have more spare time to perform activities where we are really needed. There are some systems in this domain that try to implement these characteristics, but this kind of technology is at its early stages of evolution being that it is still far away of empowering the user with the desired control over a habitation. The reason is that the mentioned systems miss some important features such as adaptability, extension and evolution. These systems, developed from a bottom-up approach, are often tailored for programmers and domain experts, discarding most of the times the end users that remain with unfinished interfaces or products that they have difficulty to control. Moreover, complex behaviors are avoided, since they are extremely difficult to implement mostly due to the necessity of handling priorities, conflicts and device calibration. Besides, these solutions are only reachable at very high costs, yet they still have the limitation of being difficult to configure by non-technical people once in runtime operation. As a result, it is necessary to create a tool that allows the execution of several automated actions, with an interface that is easy to use but at the same time supports all the main features of this domain. It is also desirable that this tool is independent of the hardware so it can be reused, thus a Model Driven Development approach (MDD) is the ideal option, as it is a method that follows those principles. Since the automation domain has some very specific concepts, the use of models should be combined with a Domain Specific Language (DSL). With these two methods, it is possible to create a solution that is adapted to the end users, but also to domain experts and programmers due to the several levels of abstraction that can be added to diminish the complexity of use. The aim of this thesis is to design a Domain Specific Language (DSL) that uses the Model Driven Development approach (MDD), with the purpose of supporting Home Automation (HA) concepts. In this implementation, the development of simple and complex scenarios should be supported and will be one of the most important concerns. This DSL should also support other significant features in this domain, such as the ability to schedule tasks, which is something that is limited in the current existing solutions.

Bivalve taxonomic diversity throughout the Italian Pliocene as a tool for climatic-oceanographic and stratigraphic inferences

The state of research on the evolution of marine bivalve taxonomic diversity of the Mediterranean Pliocene is analysed. The following assertions are discussed: 1) The Early Pliocene malacofauna is characterized by a high number of warm-water taxa and a high taxonomic diversity with respect to that of the present time. 2) The first appreciable extinction event in the Mediterranean Pliocene approximates or just follows the FO of Globorotalia bononiensis. 3) The second appreciable extinction event is between the LAD of Discoaster tamalis and the LAD of Discoaster surculus . 4) A third minor extinction event is penecontemporaneous with the FO of Globorotalia inflaia. Taking into account the available data on the Pliocene extinction events it has been possible to distinguish 4 different molluscan units with different climatic-oceanographic significance.

Model driven development implementation of a control systems user interfaces specification tool

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

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

MSC Dissertation in Computer Engineering

Type System for the ComponentJ Programming Language

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.

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

Enhancing information retrieval in folksonomies using ontology of place constructed from Gazetteer information

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

SmART: an application reconfiguration framework

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.

Cultural innovation and transmission of tool use in wild chimpanzees:evidence from field experiments

Animal Cognition, V.6, pp. 213-223

A pattern language for parallelizing irregular algorithms

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

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

Bivalve taxonomic diversity throughout the Italian Pliocene as a tool for climatic-oceanographic and stratigraphic inferences

The state of research on the evolution of marine bivalve taxonomic diversity of the Mediterranean Pliocene is analysed. The following assertions are discussed: 1) The Early Pliocene malacofauna is characterized by a high number of warm-water taxa and a high taxonomic diversity with respect to that of the present time. 2) The first appreciable extinction event in the Mediterranean Pliocene approximates or just follows the FO of Globorotalia bononiensis. 3) The second appreciable extinction event is between the LAD of Discoaster tamalis and the LAD of Discoaster surculus. 4) A third minor extinction event is penecontemporaneous with the FO of Globorotalia inflata. Taking into account the available data on the Pliocene extinction events it has been possible to distinguish 4 different molluscan units with different climatic-oceanographic significance.

Model morphisms (MoMo) to enable language independent information models and interoperable business networks

MSc. Dissertation presented at Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa to obtain the Master degree in Electrical and Computer Engineering