Policy Enforcement with Proactive Libraries

Software libraries implement APIs that deliver reusable functionalities. To correctly use these functionalities, software applications must satisfy certain correctness policies, for instance policies about the order some API methods can be invoked and about the values that can be used for the parameters. If these policies are violated, applications may produce misbehaviors and failures at runtime. Although this problem is general, applications that incorrectly use API methods are more frequent in certain contexts. For instance, Android provides a rich and rapidly evolving set of APIs that might be used incorrectly by app developers who often implement and publish faulty apps in the marketplaces. To mitigate this problem, we introduce the novel notion of proactive library, which augments classic libraries with the capability of proactively detecting and healing misuses at run- time. Proactive libraries blend libraries with multiple proactive modules that collect data, check the correctness policies of the libraries, and heal executions as soon as the violation of a correctness policy is detected. The proactive modules can be activated or deactivated at runtime by the users and can be implemented without requiring any change to the original library and any knowledge about the applications that may use the library. We evaluated proactive libraries in the context of the Android ecosystem. Results show that proactive libraries can automati- cally overcome several problems related to bad resource usage at the cost of a small overhead.Comment: O. Riganelli, D. Micucci and L. Mariani, "Policy Enforcement with Proactive Libraries" 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Buenos Aires, Argentina, 2017, pp. 182-19

Vortex of the Web. Potentials of the online environment

This volume compiles international contributions that explore the potential risks and chances coming along with the wide-scale migration of society into digital space. Suggesting a shift of paradigm from Spiral of Silence to Nexus of Noise, the opening chapter provides an overview on systematic approaches and mechanisms of manipulation – ranging from populist political players to Cambridge Analytica. After a discussion of the the juxtaposition effects of social media use on social environments, the efficient instrumentalization of Twitter by Turkish politicans in the course of the US-decision to recognize Jerusalem as Israel’s capital is being analyzed. Following a case study of Instagram, Black Lives Matter and racism is a research about the impact of online pornography on the academic performance of university students. Another chapter is pointing out the potential of online tools for the successful relaunch of shadow brands. The closing section of the book deals with the role of social media on the opinion formation about the Euromaidan movement during the Ukrainian revolution and offers a comparative study touching on Russian and Western depictions of political documentaries in the 2000s

Energy use in Urban Transport sector within the Sustainable Energy Action Plans (SEAPs) of three Italian Big Cities

Promising Renewable Energy solutions could be installed in cities, but they require specific morphological conditions as well as architectural integration. Transport sector is still neglected from a strong policy initiative. A first attempt along with a defined framework to attract economic resources as well as interested stakeholders is the Covenant of Mayors (CoM). Within this agreement, the Municipality has to design a plan, the so-called Sustainable Energy Action Plan (SEAP). The plan must contain a clear outline of the strategy and relative actions to be taken by the local authority to reach its commitments in 2020, in terms of sustainability goals set by EU 20-20-20. The aim of this paper is to discuss and evaluate the differences of fuel usage and transport sector interaction in Italian urban scenarios, taking into account geographical and morphological constraints, and to compare the forecasts for 2020 and 2030scenarios, in accordance with European and National laws in force

E-Learning and support tools for Information and Computer Sciences

The availability of Web 2.0 tools together with associated Open Educational Resources (OER) enables the creation of new social and collaborative learning spaces. This paper investigates student preferences (across three cohorts) in terms of openly and freely accessible Web 2.0 tools to provide a space where students can interact with each other and their tutor to discuss concerns that arise within their final year project-based learning. This intervention was planned since existing arrangements that support communication between tutor and distance learning students appeared insufficient to facilitate the necessarily intense episodes of interaction required for productive supervision. The findings suggest that different student cohorts are interested in using a variety of Web 2.0 tools. This paper gives initial feedback about intended usage of Web 2.0 tools for co-operative and collaborative learning for final year project work

Russian approaches to energy security and climate change: Russian gas exports to the EU

The proposition that EU climate policy represents a threat to Russia’s gas exports to the EU, and therefore to Russia’s energy security, is critically examined. It is concluded that whilst the greater significance of climate-change action for Russian energy security currently lies not in Russia’s own emissions reduction commitments but in those of the EU, an even greater threat to Russia’s energy security is posed by the development of the EU internal gas market and challenges to Russia’s participation in that market. However, the coming decades could see Russia’s energy security increasingly influenced by climate-change action policies undertaken by current importers of Russian gas such as the EU, and potential importers such as China and India. The challenge for Russia will be to adapt to developments in energy security and climate-change action at the European and global levels