Abstract
One of the main reasons that justify the student's failure in (introductory) programming courses is the lack of motivation that impacts on the knowledge acquisition process, affecting learning results. As soon as students face the difficulties concerning the development of algorithms or the coding in a programming language, they give up and do not try harder to solve other problems; they think it is a demanding activity and feel frustrated. In this paper we describe in detail an experiment conducted to verify the effectiveness, in terms of the increase in motivation and in knowledge acquisition, of combining program Animation tools with the immediate feedback provided by Automatic Evaluations Systems.

Abstract
The development of the Smart Grid concept is the pathway for assuring high reliability, control and management requirements in future electric power distribution systems. The Smart Grid can be defined as an electricity network supported by an intelligent infrastructure, both hardware and software, capable of accommodating high shares of Distributed Energy Resources. Within this line, a Smart Grid laboratorial infrastructure was developed, being dedicated to advanced research and demonstration activities. The adopted laboratorial architecture was developed according to the Microgrid concept, where Electric Vehicles are regarded as active and flexible players. Following the laboratory implementation, this paper provides a detailed description of its infrastructure and experimental capabilities, presenting and discussing different experimental set-ups and associated results.

Abstract
This paper briefly describes how property templates have been used to analyse and explore the interactive behaviour of a specific medical device (an IV infusion pump). It is proposed that interactive devices that satisfy properties based on the templates are easier and safer to use. The property templates act as heuristics for the development of suitable properties tailored to the details of the particular device. A mathematically based approach is used to prove that a specification of the device satisfies the properties.

Abstract
Climate change has raised consciousness of the need to use cleaner energy instead of fossil fuels. Meanwhile, a change of consciousness regarding resource use has to be achieved, which can be triggered by energy consumption monitoring studies that also provide useful recommendations for energy saving. Over time, researchers have identified behaviors by monitoring energy consumption in households, but these studies are usually limited to the number of monitored households and/or to the geographical region in which the monitoring takes place. In this research work, a study with a global reach is proposed to mitigate these limitations. Using a hierarchical clustering algorithm, three distinct groups were identified using the collected data, representative of distinct behaviors. The results illustrate several behaviors regarding energy consumption, like cold temperatures, seasonal behaviors, wake up hour, stay-at-home periods, and standby device consumption.

Abstract
Exciting new capabilities of modern trusted hardware technologies allow for the execution of arbitrary code within environments completely isolated from the rest of the system and provide cryptographic mechanisms for securely reporting on these executions to remote parties. Rigorously proving security of protocols that rely on this type of hardware faces two obstacles. The first is to develop models appropriate for the induced trust assumptions (e.g., what is the correct notion of a party when the peer one wishes to communicate with is a specific instance of an an outsourced program). The second is to develop scalable analysis methods, as the inherent stateful nature of the platforms precludes the application of existing modular analysis techniques that require high degrees of independence between the components. We give the first steps in this direction by studying three cryptographic tools which have been commonly associated with this new generation of trusted hardware solutions. Specifically, we provide formal security definitions, generic constructions and security analysis for attested computation, key-exchange for attestation and secure outsourced computation. Our approach is incremental: each of the concepts relies on the previous ones according to an approach that is quasi-modular. For example we show how to build a secure outsourced computation scheme from an arbitrary attestation protocol combined together with a key-exchange and an encryption scheme.

Abstract