Climate paradox of the G-8: legal obligations, policy declarations and implementation gap

This article analyzes the climate policy performance of the G-8 from 1992 to 2012 based on their legal commitments (Annex-1 and Annex-B countries) under the UNFCCC (1992) and the Kyoto Protocol (1997) and their policy declarations on their GHG reduction goals until 2050. A climate paradox has emerged due to a growing implementation gap in Canada, USA and Japan, while Russia, Germany, UK, France and Italy fulfilled their GHG reduction obligation.

Uso do software Estradas para determinação do espaçamento entre desaguadouros em estradas não pavimentadas do interior de Goiás

Estradas não pavimentadas correspondem a aproximadamente 90% da malha rodoviária brasileira. Estas, na maioria das vezes, são construídas sem a realização de estudos prévios, estando sujeitas a vários tipos de problemas. Um dos principais fatores de deterioração dessas vias é a ineficiência do sistema de drenagem. Neste trabalho simulou-se o espaçamento entre desaguadouros em estradas não pavimentadas, utilizando-se um software desenvolvido com base num modelo matemático de dimensionamento de sistemas de drenagem em estradas não pavimentadas. Utilizaram-se valores de erodibilidade, tensão crítica de cisalhamento e massa específica para diferentes solos de estradas, localizadas no Estado de Goiás. Simularam-se cenários considerando alterações na declividade (1, 5, 10 e 15%) e na seção transversal do canal com relações entre altura e largura de 1:1, 1:2, 1:5 e 1:10. O modelo respondeu sensivelmente às alterações na declividade, na seção transversal do canal e nas de resistência do solo. Os espaçamentos obtidos indicaram que, estradas com declividades inferiores a 5%, mesmo com elevados valores de erodibilidade permitiram espaçamentos viáveis em aspectos construtivos. No entanto, para as declividades de 10 e 15%, os espaçamentos, na maioria dos casos, apresentaram dimensões reduzidas, tornando-se impraticáveis, sendo necessário, nestes casos, proteção do canal ou alteração de suas características hidráulicas.

Information and Technology Implementation Issues in AAL Solutions

With the population ageing effect, the technological developments, and pressure to reduce the cost with healthcare, are reunited the conditions for the development of Ambient Assisted Living (AAL) solutions. This work is a revision of the current state of the art. Its aim is the characterization of the AAL solutions, within the AAL4ALL scope. Therefore, it is presented features, scenarios and projects, referring the limitations and the opportunities for the future developments of prototypes using high level information and technology in AAL environments. Moreover, it is presented guidelines of operation, exposing the conceptual approach, and the discussion and conclusion, which present recommendations and current AAL4ALL project positions in terms of concepts and technologies.

The ICT use in the implementation of Directive 2011/24/EU

This article has as main objective to evaluate the role of information and communication technologies (ICTs), in particular the eHealth (electronic health), in the implementation of the directive 2011/24/EU, of the European Parliament and of the Council of March 9th, on the exercise of patients' rights in cross-border healthcare within Member States of European Union. Being currently underway the deadline for transposition of the Directive, it is important to analyze the probable results for national health systems. Innovatively, the Directive specifically proposes the implementation of a European network of eHealth in the provision of cross-border healthcare. Within ICT, we focus on telemedicine as a key tool for the implementation, on a context of public budgets constrains. In this context, it is assumed that the EU will support and promote cooperation and the exchange of scientific information between member states within the framework of a voluntary network composed by the national authorities responsible for health (or eHealth). We apply the S.W.O.T. (strengths and weaknesses, opportunities and threats) analysis to forecast the main points that should be focused on deeper research. We discuss the technological, economic and social aspects of the use of ICT on the implementation of the directive. It is thus important to evaluate the context of ICT by S.W.O.T. tool to define strategies to sensitize policy-makers, health managers, and citizens, in order to be able to turn threats into opportunities and mitigating the weaknesses in the implementation of the Directive and to promote a better healthcare access for citizens, ensuring safe, effective healthcare and with different quality.

Factors Influencing the Implementation of the Balanced Scorecard in Portugal: Empirical Evidence From Privately Owned and Publicly Owned Organizations

In this paper we aim to identify and analyze a set of variables that can potentially influence the adoption and knowledge of the Balanced Scorecard (BSC) in Portugal. Hypotheses were tested using data obtained from a questionnaire sent to 591 publicly-owned organizations (local governments, municipal corporations and hospitals) and 549 privately-owned organizations (large companies and small and medium enterprises) in Portugal. The results allow us to conclude that although the majority of respondents claimed to know the BSC, its use in Portugal is still limited and very recent, particularly in the public sector organizations. However, it should be noted that its use has increased in Portugal in recent years. The study also reveals that in spite of the noticeable differences between public and private sector, the BSC is used in the public sector after a few adjustments to the traditional model. Using as theoretical framework the contingency and institutional theories, we found that decentralization, vertical differentiation and the degree of higher education are associated with the implementation of the BSC.

Uma Abordagem para a Geração de Casos de Teste Baseada em Modelos

Abstract — The analytical methods based on evaluation models of interactive systems were proposed as an alternative to user testing in the last stages of the software development due to its costs. However, the use of isolated behavioral models of the system limits the results of the analytical methods. An example of these limitations relates to the fact that they are unable to identify implementation issues that will impact on usability. With the introduction of model-based testing we are enable to test if the implemented software meets the specified model. This paper presents an model-based approach for test cases generation from the static analysis of source code.

GUIsurfer: A Reverse Engineering Framework for User Interface Software

GUIsurfer: A Reverse Engineering Framework for User Interface Software

The Adoption and Implementation of the Balanced Scorecard: The Largest Portuguese Companies Case

Balanced Scorecard (BSC) is recognized, both in the academic and business world, as one of the most powerful strategic management accounting tools. Thus, we launched in October 2004 a questionnaire survey applied to the 250 largest Portuguese companies aiming at observing the knowledge, use, and companies’ characteristics which are adopting this management instrument. Despite the majority of the companies inquired recognize BSC more as a strategic management tool than a performance valuation system, the results show that there is still a reduced and recent utilization of BSC in Portugal. Similarly to other countries Portugal is still in the initial state of BSC utilization. Our work has shown that the companies that use more BSC belong mainly to the secondary sector of industry. Nevertheless, unlike other studies, we did not get empirical evidence on the influence of variables such as geographical localization, dimension and internationalization, in the use and knowledge of BSC in Portugal.

Domain-Specific Language for Coordination patterns

The integration and composition of software systems requires a good architectural design phase to speed up communications between (remote) components. However, during implementation phase, the code to coordinate such components often ends up mixed in the main business code. This leads to maintenance problems, raising the need for, on the one hand, separating the coordination code from the business code, and on the other hand, providing mechanisms for analysis and comprehension of the architectural decisions once made. In this context our aim is at developing a domain-specific language, CoordL, to describe typical coordination patterns. From our point of view, coordination patterns are abstractions, in a graph form, over the composition of coordination statements from the system code. These patterns would allow us to identify, by means of pattern-based graph search strategies, the code responsible for the coordination of the several components in a system. The recovering and separation of the architectural decisions for a better comprehension of the software is the main purpose of this pattern language

The role of coordination analysis in software integration projects

What sort of component coordination strategies emerge in a software integration process? How can such strategies be discovered and further analysed? How close are they to the coordination component of the envisaged architectural model which was supposed to guide the integration process? This paper introduces a framework in which such questions can be discussed and illustrates its use by describing part of a real case-study. The approach is based on a methodology which enables semi-automatic discovery of coordination patterns from source code, combining generalized slicing techniques and graph manipulation

Type checking cryptography implementations

Cryptographic software development is a challenging eld: high performance must be achieved, while ensuring correctness and com- pliance with low-level security policies. CAO is a domain speci c language designed to assist development of cryptographic software. An important feature of this language is the design of a novel type system introducing native types such as prede ned sized vectors, matrices and bit strings, residue classes modulo an integer, nite elds and nite eld extensions, allowing for extensive static validation of source code. We present the formalisation, validation and implementation of this type system

Criminal Liability of Organizations, Corporations, Legal Persons, and Similar Entities on Law of Portuguese Cybercrime: A Brief Discussion on the Issue of Crimes of “False Information,” the “Damage on Other Programs or Computer Data,” the “Computer-Software Sabotage,” the “Illegitimate Access,” the “Unlawful Interception,” and “Illegitimate Reproduction of the Protected Program”

Abstract: in Portugal, and in much of the legal systems of Europe, «legal persons» are likely to be criminally responsibilities also for cybercrimes. Like for example the following crimes: «false information»; «damage on other programs or computer data»; «computer-software sabotage»; «illegitimate access»; «unlawful interception» and «illegitimate reproduction of protected program». However, in Portugal, have many exceptions. Exceptions to the «question of criminal liability» of «legal persons». Some «legal persons» can not be blamed for cybercrime. The legislature did not leave! These «legal persons» are v.g. the following («public entities»): legal persons under public law, which include the public business entities; entities utilities, regardless of ownership; or other legal persons exercising public powers. In other words, and again as an example, a Portuguese public university or a private concessionaire of a public service in Portugal, can not commit (in Portugal) any one of cybercrime pointed. Fair? Unfair. All laws should provide that all legal persons can commit cybercrimes. PS: resumo do artigo em inglês.

Motivation and Benefits of Implementation and Certification according ISO 9001 – the Portuguese Experience

The aim of the research is to analyze the different aspects associated with the motivation and benefits of certified ISO 9001 companies in Portugal. A total of 426 certified Portuguese companies were surveyed. The response rate was equal to 61.03 percent. Our results suggest that the main motivation for certification were “improvement of quality”, “improvement of company image”, “marketing advantage”, “give empowerment to workers / capturing workers knowledge” and “cost reduction”. The main benefits that Portuguese companies have gained from the referred certification have been, among others, the improvement of “procedures”, beneficial effect on the “company’s image”, the improvement of quality products/services, increase of the “customer satisfaction”, improvement of “on-time delivery”; improvement the “morale” of workers’ increase in productivity and decrease of “production costs”, among others. The surveyed firms belong only to the Minho region of the north of Portugal. This paper aims to provide a contribution to the research related to the motivation and benefits associated to the quality management systems. The selection of the motives and benefits were validated through statistical analysis and the relationship between expected and perceived benefits was discussed.

Determinant factors of the implementation of the balanced scorecard in Portugal: empirical evidence in public and private organizations

In this article we aim to identify and analyze a set of variables that can potentially influence the adoption of the Balanced Scorecard (BSC)in Portugal. Hypotheses were tested using data obtained from a questionnaire sent to 591 publicly-owned organizations (local governments, municipal corporations and hospitals) and 549 privately-owned organizations (large companies and small and medium enterprises) in Portugal, with an overall response rate of 31.3%. The results allow us to conclude that although the majority of respondents claimed to know the BSC, its use in Portugal is still limited and very recent, particularly in the public sector organizations. However, it should be noted that its use has increased in Portugal in recent years. Using as theoretical framework the contingency and institutional theories, we found that decentralization, vertical differentiation and the degree of higher education are associated with the implementation of the BSC.