Abstract
CMMI practices can be poorly implemented leading to weak performance gain. SCAMPI verifies model compliance but not performance. Hence, a framework to evaluate the quality of implementation of each practice, based on compliance and performance results, will prevent poor implementation, locate and fix problems, and ultimately achieve better results. In this paper we propose such a framework, based on a combination of leading and lagging indicators measuring compliance, efficiency and efficacy. © 2012 Springer-Verlag.

Abstract
In a deregulated profit-based environment, consumers and producers need short-term intelligent prediction tools to predict their bid strategies in the energy market. Also, all markets players need accurate forecasting tools with lower uncertainty, allowing to maximizing their profits. Hence, this manuscript presents a new intelligent approach based on a combination of Wavelet Transform (WT), Evolutionary Particle Swarm Optimization (EPSO) and Adaptive Network and Fuzzy Inference System (ANFIS) for forecasting in power engineering systems. The results of two real-world case studies are shown, regarding energy prices and wind power, which show the proficiency of the proposed intelligent approach. © 2012 IEEE.

Abstract
The increasing number of players that operate in power systems leads to a more complex management. In this paper a new multi-agent platform is proposed, which simulates the real operation of power system players. MASGriP - A Multi-Agent Smart Grid Simulation Platform is presented. Several consumer and producer agents are implemented and simulated, considering real characteristics and different goals and actuation strategies. Aggregator entities, such as Virtual Power Players and Curtailment Service Providers are also included. The integration of MASGriP agents in MASCEM (Multi-Agent System for Competitive Electricity Markets) simulator allows the simulation of technical and economical activities of several players. An energy resources management architecture used in microgrids is also explained.

Abstract
Hostile environments, shrinking feature sizes and processor aging elicit a need for resilient computing. Coarse-grained hardware approaches, such as Triple Modular Redundancy (TMR) and Temporal Redundancy (TR), while exhibiting acceptable levels of fault coverage [1], are often wasteful of resources such as time, device/chip area and power. A TMR-hardened computation can exhibit poor performance relative to a non-TMR hardware configuration with similar area. This is because the resources that are used to replicate functional units in parallel (in the case of TMR) can only execute one operation at a time. Conversely, in an equivalent non-TMR configuration, those same resources could execute three different operations concurrently (albeit with no resiliency coverage). In short, TMR is very rigid in its allocation of resources, using them only for resiliency. © 2012 IEEE.

Abstract
The von Mises-Fisher distribution is widely used for modelling directional data. In this paper we propose goodness-of-fit methods for a concentrated von Mises-Fisher distribution and we analyse by simulation some questions concerning the application of these tests. We analyse the empirical power of the Kolmogorov-Smirnov test for several dimensions of the sphere, supposing as alternative hypothesis a mixture of two von Mises-Fisher distributions with known parameters. We also compare the empirical power of the Kolmogorov-Smirnov test with the Rao's score test for data on the sphere, supposing as alternative hypothesis, a mixture of two Fisher distributions with unknown parameters replaced by their maximum likelihood estimates or a 5-parameter Fisher-Bingham distribution. Finally, we give an example with real spherical data.

Abstract
This paper presents a web portal for the certification of open source software. The portal aims at helping programmers in the internet age, when there are (too) many open source reusable libraries and tools available. Our portal offers programmers a web-based and easy setting to analyze and certify open source software, which is a crucial step to help programmers choosing among many available alternatives, and to get some guarantees before using one piece of software. The paper presents our first prototype of such web portal. It also describes in detail a domain specific language that allows programmers to describe with a high degree of abstraction specific open source software certifications. The design and implementation of this language is the core of the web portal. © Springer-Verlag Berlin Heidelberg 2014.