Discovering coordination patterns

A large and growing amount of software systems rely on non-trivial coordination logic for making use of third party services or components. Therefore, it is of outmost importance to understand and capture rigorously this continuously growing layer of coordination as this will make easier not only the veri cation of such systems with respect to their original speci cations, but also maintenance, further development, testing, deployment and integration. This paper introduces a method based on several program analysis techniques (namely, dependence graphs, program slicing, and graph pattern analysis) to extract coordination logic from legacy systems source code. This process is driven by a series of pre-de ned coordination patterns and captured by a special purpose graph structure from which coordination speci cations can be generated in a number of di erent formalisms

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.

Slicing functional programs by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually targeting either the imperative or the object oriented paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird- Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general alternative to slicing functional programs

Sustainable Tourism and Eradication of Poverty (Step): impact assessment of a tourism development program in Brazil

This paper aims to evaluate the social impacts of the Tourism Development Program (Prodetur) in the northeastern town of Porto Seguro, Bahia, Brazil. The method used is based on the difference in difference technique applied to the 1991 and 2000 Census microdata. The results suggest social advances following from poverty relief based on income - where the benefits are distributed, generally, in a relatively equal manner between the native and migrant population. There is a relative deterioration in the sanitary situation, which consists of a very serious problem in the mid- and long-term, whose costs are mostly borne by the native population. Therefore, maintaining the natural capital is the main aspect that distances Porto Seguro’s tourism supply from the concept of sustainability. The article also relies on difference in difference estimators to assess the impacts of local public policies related to the sector.

A System Dynamics-Based Simulation Experiment for Testing Mental Model and Performance Effects of Using the Balanced Scorecard

This study develops a theoretical model that explains the effectiveness of the balanced scorecard approach by means of a system dynamics and feedback learning perspective. Presumably, the balanced scorecard leads to a better understanding of context, allowing managers to externalize and improve their mental models. We present a set of hypotheses about the influence of the balanced scorecard approach on mental models and performance. A test based on a simulation experiment that uses a system dynamics model is performed. The experiment included three types of parameters: financial indicators; balanced scorecard indicators; and balanced scorecard indicators with the aid of a strategy map review. Two out of the three hypotheses were confirmed. It was concluded that a strategy map review positively influences mental model similarity, and mental model similarity positively influences performance.

A supervised versus home-based program effects on liver transplanted familial amyloidotic polyneuropathy patients: walking, fatigue and quality of life

Purpose: To evaluate the effects of a six months exercise training program on walking capacity, fatigue and health related quality of life (HRQL). Relevance: Familial amyloidotic polyneuropathy disease (FAP) is an autossomic neurodegenerative disease, related with systemic deposition of amyloidal fibre mainly on peripheral nervous system and mainly produced in the liver. FAP often results in severe functional limitations. Liver transplantation is used as the only therapy so far, that stop the progression of some aspects of this disease. Transplantation requires aggressive medication which impairs muscle metabolism and associated to surgery process and previous possible functional impairments, could lead to serious deconditioning. Reports of fatigue are common feature in transplanted patients. The effect of supervised or home-based exercise training programs in FAP patients after a liver transplant (FAPTX) is currently unknown.

Effects of an exercise training program in physical condition after liver transplantation in familial amyloidotic polyneuropathy: a case report

Introduction: Familial amyloidotic polyneuropathy (FAP) is a neurodegenerative disease that leads to sensory and motor polyneuropathies as well as functional limitations. So far, liver transplantation is the only treatment for FAP because the mutated protein causing the disease is mainly produced in the liver. With the increasing survival of transplant recipients, functional and cardiovascular problems as consequences of immunosuppressant side effects are increasing associated with sedentary lifestyles and/or retransplantation status. We sought to analyze the impact of exercise training programs on 1 FAP patient’s course long-term after liver transplantation. Methodology. A FAP patient (female; 49 years of age; body mass index 18.8 kg/m2) underwent a liver transplantation 133 months before assessment. She was assessed for body composition, isometric quadriceps muscle strength, functional capacity, fatigue, and levels of physical activity before and after a 6-month period of combined exercise training. Results: After the exercise training program, almost all variables were improved, namely, total body skeletal muscle mass, proximal femoral bone mineral density, quadriceps strength, maximal oxygen consumption on 6 minutes walk test (6mwt) or VO2peak, total ventilation on 6mwt, and fatigue. The improvement in distance on 6mwt (69.2 m) was clinically significant. Preintervention the levels of physical activity were below international recommendations for health; after the program they achieved the recommendations. Conclusion: The results showed an improvement in functional capacity with a decrease in future disability risk associated with a better lifestyle with respect to physical activity levels in 1 patient.

Intermittent claudication and physical exercise: effectiveness of a home-based program

Peripheral arterial disease (PAD) as a high incidence in general population and 12% to 20% of population with more than 60 years has already clinical symptoms, such as intermittent claudication (IC), pain, loss of strength and functional incapacity. There are already some studies who refer the possible positive effects of physical exercise in functional consequences of PAD.

A supervised versus home-based program effects on liver transplanted familial amyloidotic polyneuropathy patients: walking, fatigue and quality of life

Familial amyloidotic polyneuropathy is a systemic deposition of amyloidal fibre mainly on peripheral nervous system (but also in other systems like heart, gastrointestinal tract, kidneys, etc) and mainly produced in the liver. Purpose of this study: to evaluate the effects of a six months exercise training program(supervised or home-based) on walking capacity, fatigue and health related quality of life (HRQL) on Familial Amyloidotic Polyneuropathy patients submitted to a liver transplant.

Tools for testing the Solvency Capital Requirement for life insurance

Longevity risk is one of the major risks that an insurance company or a pension fund has to deal with and it is expected that its importance will grow in the near future. In agreement with these considerations, in Solvency II regulation the Standard formula furnished for calculating the Solvency Capital Requirement explicitly considers this kind of risk. According to the new European rules in our paper we suggest a multiperiod approach to evaluate the SCR for longevity risk. We propose a backtesting framework for measuring the consistency of SCR calculations for life insurance policies.

Intermittent claudication and physical exercise: effectiveness of a home-based program

Peripheral arterial disease (PAD) as a high incidence in general population and 12% to 20% of population with more than 60 years has already clinical symptoms, such as intermittent claudication (IC), pain, loss of strength and functional incapacity. There are already some studies that refer the possible positive effects of physical exercise in functional consequences of PAD. The purpose of this study was to verify the results of a home-based (HB) weekly supervised physical exercise program in patients with IC in consequence of PAD in lower limbs, and observe the medium number of diary steps walked by the subjects of our study.

The importance of the program for the promotion of physical activity in perceived fatigue in people with multiple sclerosis

The aims of the study is to examine for intervention program of physical activity in the perception of fatigue, in patients with multiple sclerosis.

Implication of an intervention program for the promotion of physical activity in the quality of life of people with multiple sclerosis

The aims of this study is to examine the interest for quality of life of an implementation of program physical activity, with patients of multiple sclerosis.

Evaluation of a program to reduce back pain in nursing personnel

OBJECTIVE: To evaluate the effectiveness of a program designed to reduce back pain in nursing aides. METHODS: Female nursing aides from a university hospital who had suffered episodes of back pain for at least six months were included in the study. Participants were randomly divided into a control group and an intervention group. The intervention program involved a set of exercises and an educational component stressing the ergonomic aspect, administered twice a week during working hours for four months. All subjects answered a structured questionnaire and the intensity of pain was assessed before and after the program using a visual analogue scale (VAS). Student's t-test or the Wilcoxon Rank Sum Test for independent samples, and Chi-square test or the Exact Fisher test for categorical analysis, were used. The McNemar test and the Wilcoxon matched pairs test were used to compare the periods before and after the program. RESULTS: There was a statistically significant decrease in the frequency of cervical pain in the last two months and in the last seven days in the intervention group. There was also a reduction in cervical pain intensity in the two periods (2 months, 7 days) and lumbar pain intensity in the last 7 days. CONCLUSIONS: The results suggest that a program of regular exercise with an emphasis on ergonomics can reduce musculoskeletal symptoms in nursing personnel.

Assessment of a consultation-liaison psychiatry and psychology health care program

OBJECTIVE: To investigate the relevance of subjective criteria adopted by a psychiatry and psychology consultation-liaison service, and their suitability in the evaluation of case registries and objective results. METHODS: Semi-structured interviews were conducted and all supervisors of the university hospital service were interviewed. Routinely collected case registries were also reviewed. Standardized assessment with content analysis for each category was carried out. RESULTS: The results showed distortions in the adopted service focus (doctor-patient relationship) and consultant requests. This focus is more on consulting physician-oriented interventions than on patients. DISCUSSION: Evaluation of the relevance of service criteria could help promoting quality assessment of the services provided, mainly when objective criteria have not yet been established to assure their suitability.