Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por CSE

2022

E-MANAFA: Energy Monitoring and ANAlysis tool For Android

Autores
Rua, R; Saraiva, J;

Publicação
PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022

Abstract
This article introduces the E-MANAFA energy profiler, a plug-and-play, device-independent, model-based profiler capable of obtaining fine-grained energy measurements on Android devices. Besides having the capability to calculate performance metrics such as the energy consumed and runtime during a time interval, E-MANAFA also allows to estimate the energy consumed by each device component (e.g. CPU, WI-FI, screen). In this article, we present the main elements that compose this framework, as well as its workflow. In order to present the power of this tool, we demonstrate how the tool can measure the overhead of the instrumentation technique used in the PyAnaDroid application benchmarking pipeline, which already supports E-MANAFA to monitor power consumption in its Android application automatic execution process. Video demo: shorturl.at/hmyz5

2022

Effect of User Expectation on Mobile App Privacy: A Field Study

Autores
Mendes, R; Brandao, A; Vilela, JP; Beresford, AR;

Publicação
2022 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS (PERCOM)

Abstract
Runtime permission managers for mobile devices allow requests to be performed at the time in which permissions are required, thus enabling the user to grant/deny requests in context according to their expectations. However, in order to avoid cognitive overload, second and subsequent requests are usually automatically granted without user intervention/awareness. This paper explores whether these automated decisions fit user expectations. We performed a field study with 93 participants to collect their privacy decisions, the surrounding context and whether each request was expected. The collected 65261 permission decisions revealed a strong misalignment between apps' practices and expectation as almost half of requests are unexpected by users. This ratio strongly varies with the requested permission, the category and visibility of the requesting application and the user itself; that is, expectation is subjective to each individual. Moreover, privacy decisions are most strongly correlated with user expectation, but such correlation is also highly personal. Finally, Android's default permission manager would have violated the privacy of our participants 15% of the time.

2022

LiveRef: a Tool for Live Refactoring Java Code

Autores
Fernandes, S; Aguiar, A; Restivo, A;

Publicação
PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022

Abstract
Refactoring software can be hard and time-consuming. Several refactoring tools assist developers in reaching more readable and maintainable code. However, most of them are characterized by long feedback loops that impoverish their refactoring experience. We believe that we can reduce this problem by focusing on the concept of Live Refactoring and its main principles: the live recommendation and continuous visualization of refactoring candidates, and the immediate visualization of results from applying a refactoring to the code. Therefore, we implemented a Live Refactoring Environment that identifies, suggests, and applies Extract Method refactorings. To evaluate our approach, we carried out an empirical experiment. Early results showed us that our refactoring environment improves several code quality aspects, being well received, understood, and used by the experiment participants. The source code of our tool is available on: https://github.com/saracouto1318/LiveRef. Its demonstration video can be found at: https://youtu.be/_jxx21ZiQ0o.

2022

Variational Quantum Policy Gradients with an Application to Quantum Control

Autores
Sequeira, A; Santos, LP; Barbosa, LS;

Publicação
CoRR

Abstract

2022

On-line three-dimensional packing problems: A review of off-line and on-line solution approaches

Autores
Ali, S; Ramos, AG; Carravilla, MA; Oliveira, JF;

Publicação
COMPUTERS & INDUSTRIAL ENGINEERING

Abstract
Three-Dimensional Packing Problems (3D-PPs) can be applied to effectively reduce logistics costs in various areas, such as airline cargo management and warehouse management. In general, 3D-PP studies can be divided into two different streams: those tackling the off-line problem, where full knowledge about items is available beforehand; and those tackling the on-line (real-time) problem, where items arrive one by one and should be packed immediately without having full prior knowledge about them. During the past decades, off-line and online 3D-PPs have been studied in the literature with various constraints and solution approaches. However, and despite the numerous practical applications of on-line problems in real-world situations, most of the literature to date has focused on off-line problems and is quite sparse when it comes to on-line solution methods. In this regard, and despite the different nature of on-line and off-line problems, some approaches can be applied in both environments. Hence, we conducted an in-depth and updated literature review to identify and structure various constraints and solution methods employed by researchers in off-line and on-line 3D-PPs. Building on this, by bringing together the two separate streams of the literature, we identified several off-line approaches that can be adopted in on-line environments. Additionally, we addressed relevant research gaps and ways to bridge them in the future, which can help to develop this research field.

2022

Digital Ecosystem Model for GIAHS: The Barroso Agro-Sylvo-Pastoral System

Autores
Martins, J; Goncalves, C; Silva, J; Goncalves, R; Branco, F;

Publicação
SUSTAINABILITY

Abstract
Globally Important Agricultural Heritage Systems (GIAHS) territories are highly relevant to achieving sustainable lifestyles with human subsistence in balance with the ecosystem. The Barroso agro-sylvo-pastoral system is a clear example of this alignment between existing society, nature and natural resources, the environment, landscapes, and contextual heritage. Moreover, the sustainable use of existing natural resources, excellent environmental conditions, and breath-taking untouched landscapes represent a truly relevant factor towards the development of a region economy that is still greatly influenced by an engraved cultural, patrimonial, and agricultural heritage. Given the GIAHS classification attributed to that territory, the need arises to guarantee the existing environmental conditions. This context will allow the maintenance of the GIAHS classification, ensuring the quality of life in the region and stimulating its socio-economic development and overall sustainability. The present article describes a proposal for a digital ecosystem model aimed at the Barroso GIAHS, composed of four main functional hubs that actively interact with each other: smart environment, smart government, smart economy, and smart people. Based on wireless sensor networks, IoT, artificial intelligence, data analytics, and other technological solutions, this solution will allow real-time control of the territory's environmental conditions and develop more efficient and well-supported management and governance.

  • 29
  • 220