Abstract
Multi-core platforms are challenging the way software is developed, in all application domains. For the particular case of real-time systems, models for the development of parallel software must be able to be shown correct in both functional and non-functional properties at design-time. In particular, issues such as concurrency, timing behaviour and interaction with the environment need to be addressed with the same caution as for the functional requirements. This paper proposes an execution model for the parallelization of real-time software, based upon a fine-grained parallelism support being proposed to Ada, a programming language particularly suited to the development of critical, concurrent software. We also show the correctness of the proposed model in terms of satisfying constraints related to execution order and unbounded priority inversions. © 2013 ACM.

Abstract
The actual economic paradigm is based on a strongly cooperative model that tries to support a more competitive and global organizations response. But, with cooperation comes an intrinsic need interconnection and interoperability of information systems among business partners. This represents, in many areas, a huge organizational challenge, being the field of information, and communication security one emerging key issue and a natural enabler for cooperative behavior and to the proper establishment and support of trust among network partners. Security frameworks, that can be able to describe and act on the basis of interoperability, cooperation and proactivity, became essential to support the new needs of modern business models. This paper presented a framework that aims to contribute to a sustainable organizational information security-processes support, based on the ability to describe the allowed business process interactions among cooperative partners; furthermore, the framework presents a cooperative security perspective among partners basis on the idea that, if organizations have business cooperation, they should also have active security cooperation and regulation. If organizations, that need to cooperate, do not feel secure when they interconnect their information systems, the all cooperative perspective can fall down. Trust being one basic need for cooperation, impulse the need of a new security approach for cooperative scenarios.

Abstract
Mean sea level (MSL) in the Baltic Sea is influenced by several factors and therefore presents a complex behaviour over a wide range of time-scales. This work performs a multi-scale analysis of MSL variability in the Baltic Sea using discrete wavelet analysis. The North Atlantic Oscillation (NAO) is well known for having a strong influence in MSL variability over the Baltic; however, the relationship between MSL and NAO at different time-scales is still little understood. In this work a comparison of MSL and NAO variability is performed for a wide range of temporal scales, uncovering distinct relationships in high-frequency and long-term temporal variability. The annual and sub-annual scales are found to account for more than 50% of the total MSL variability. The MSL annual cycle is analysed and a shift from low to high amplitude values is identified in the 1970s for most stations. MSL is found to be anti-correlated to NAO at short time-scales while on the long-term NAO and MSL appear to be positively correlated for most stations. The physical mechanisms behind these distinct relationships deserve deeper study.

Abstract
Instrumented hip implants were proposed as a method to monitor and predict the biomechanical and thermal environment surrounding such implants. Nowadays, they are being developed as active implants with the ability to prevent failures by loosening. The generation of electric energy to power active mechanisms of instrumented hip implants remains a question. Instrumented implants cannot be implemented without effective electric power systems. This paper surveys the power supply systems of seventeen implant architectures already implanted in-vivo, namely from instrumented hip joint replacements and instrumented fracture stabilizers. Only inductive power links and batteries were used in-vivo to power the implants. The energy harvesting systems, which were already designed to power instrumented hip implants, were also analyzed focusing their potential to overcome the disadvantages of both inductive-based and battery-based power supply systems. From comparative and critical analyses of the methods to power instrumented implants, one can conclude that: inductive powering and batteries constrain the full operation of instrumented implants; motion-driven electromagnetic energy harvesting is a promising method to power instrumented passive and active hip implants.

Abstract

Abstract
This paper describes the development of a graphical interface for a new soccer scouting software that enables to integrate data and information from distinct sources, including other software and analog data. The advantages of a web platform and of the aggregation system implemented when compared with the traditional approach are also presented. The solution proposed is based on web programming languages such as HTML5, CSS3, Ruby On Rails, BootStrapp, enabling to achieve the quality patterns expected by the users. The system developed was based on a detailed related work analysis, analysis of commercial and scientific software available and a survey and joint design of the interface together with soccer professionals.