Cooperative memory and database transactions

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

IWP strategy: TechFrame

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

A importância da Polícia Municipal na segurança

The challenge of this work is to assess the importance of the municipal police in improving the safety of citizens, if gauging from this reality through contributions from the Municipal Police Guimarães. The IV Constitutional Review in 1997, enabled the Portuguese municipalities creating administrative police bodies. These services, known as Municipal Police, have gradually come up in several municipalities. Currently the Municipal Police have their fundamental legal regulations of Law No. 19/2004 of 20 May, which, according to the Portuguese Constitution provides that these must be seen as municipal services, which act in a space territorially delimited, which corresponds to the municipality that each belongs. Under Article 237, paragraph 3, of the Constitution, the Municipal Police are municipal services, which shall cooperate in the maintenance of public order and protection of local communities, acting in cooperation with the security forces, public security functions. The safety concept has been taking an increasingly significant importance within the population. Is also no doubt say that, currently, insecurity affects all of society and is a major concern of law enforcement authorities. To find suitable answers we found that there are several studies on these subjects. In order to be able to make our contribution, text looks us on this subject, having had the support of the Municipal Police Guimarães, in the preparation of this work. Thus, based on a survey, they were sounded out, as privileged actors, agents of the Municipal Police Guimarães, in order to know their perceptions with regard to security issues faced in the context of security. We understand ask them to answer in particular the following questions: What are the most facilitators situations of crime? How important is the Municipal Police Guimarães in crime prevention? What are the strategies for prevention of incivilities? What other skills that can be conferred upon the Municipal Police? The results obtained allowed us to conclude that incivilities facilitate the occurrence of crimes and that the Municipal Police may have a more active role in the security of the population. If you were given other duties, in addition to that already have, the Municipal Police could reach another level of effectiveness. However we understand that any change to the tasks of this police need a serious and profound reflection, to find complementary alternatives with the security forces, which does not conflict with current assignments of any of the parties or with the interests of citizens.

DSAAR: distributed software architecture for autonomous robots

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

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.

Consistent state software transactional memory

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

Speculative execution by using software transactional memory

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.

Design and implementation of an autonomous, proactive, and reactive software infrastructure to help improving the management level of projects

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

Type-based protocol conformance and aliasing control in concurrent java programs

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

A proof system for lock-free concurrency

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

Partial replication in distributed software transactional memory

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

Data-centric concurrency control on the java programming language

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

Opening Pousada da Serra da Estrela in Covilhã: A two-way impact analysis - Interacting with public agents

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Characterization and surface reconstruction of objects in tomographic images of composite materials

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

Specification of software architecture reconfiguration

In the past years, Software Architecture has attracted increased attention by academia and industry as the unifying concept to structure the design of complex systems. One particular research area deals with the possibility of reconfiguring architectures to adapt the systems they describe to new requirements. Reconfiguration amounts to adding and removing components and connections, and may have to occur without stopping the execution of the system being reconfigured. This work contributes to the formal description of such a process. Taking as a premise that a single formalism hardly ever satisfies all requirements in every situation, we present three approaches, each one with its own assumptions about the systems it can be applied to and with different advantages and disadvantages. Each approach is based on work of other researchers and has the aesthetic concern of changing as little as possible the original formalism, keeping its spirit. The first approach shows how a given reconfiguration can be specified in the same manner as the system it is applied to and in a way to be efficiently executed. The second approach explores the Chemical Abstract Machine, a formalism for rewriting multisets of terms, to describe architectures, computations, and reconfigurations in a uniform way. The last approach uses a UNITY-like parallel programming design language to describe computations, represents architectures by diagrams in the sense of Category Theory, and specifies reconfigurations by graph transformation rules.