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 HumanISE

2024

Foundations for a Rust-Like Borrow Checker for C

Autores
Silva, T; Bispo, J; Carvalho, T;

Publicação
PROCEEDINGS OF THE 25TH ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2024

Abstract
Memory safety issues in C are the origin of various vulnerabilities that can compromise a program's correctness or safety from attacks. We propose a different approach to tackle memory safety, the replication of Rust's Mid-level Intermediate Representation (MIR) Borrow Checker, through the usage of static analysis and successive source-to-source code transformations, to be composed upstream of the compiler, thus ensuring maximal compatibility with most build systems. This allows us to approximate a subset of C to Rust's core concepts, applying the memory safety guarantees of the rustc compiler to C. In this work, we present a survey of Rust's efforts towards ensuring memory safety, and describe the theoretical basis for a C borrow checker, alongside a proof-of-concept that was developed to demonstrate its potential. This prototype correctly identified violations of the ownership and aliasing rules, and accurately reported each error with a level of detail comparable to that of the rustc compiler.

2024

The City Makes Its Mark in a Review on Digital Communication and Citizenship

Autores
Andrade, JG; Sampaio, A; Garcia, JE; Fonseca, MJ;

Publicação
INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, WORLDCIST 2023

Abstract
This article delves into the intersections of place branding, digital strategic communication, citizenship, and tourism. It explores the dynamic relationship between these concepts, particularly within the context of Brazilian city governments. With an emphasis on reflexivity, the study investigates how governments manage their public image and engage citizens through digital channels. Simultaneously, it examines how these governments strategically position their cities as attractive tourist destinations. By analyzing these tensions and synergies, the article provides insights into the complex landscape of communication strategies employed by Brazilian city governments, which aim to balance citizen engagement and tourism promotion.

2024

Integrating Online and Offline Distribution Strategies - A Portuguese Case Study

Autores
Santos, A; Garcia, JE; Oliveira, LC; de Araujo, DL; da Fonseca, MJS;

Publicação
INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, WORLDCIST 2023

Abstract
The online channel, particularly in the food retail area, has been evolving positively and exponentially in the world, including Portugal. Currently, this type of purchase is increasingly part of people's daily lives, even more so with the emergence of the Covid-19 pandemic. Consequently, in Portugal, most companies adopt a multichannel strategy, where the physical store and the online store operate independently from each other. However, it is necessary to rethink this channel integration model, which may go through an omnichannel strategy, where the physical store and the online store operate as a single store, and where several advantages are already recognized in terms of the consumer's shopping experience. The main objective of this study is to understand the strategy implemented by the company studied, Pingo Doce, through an analysis and description of its channels. To better understand the strategy of the company under study, a semi-structured exploratory interview was carried out with one of the people in charge of Pingo Doce's digital channels, to understand the strategy used by the company and thus complement the data obtained through direct observation and bibliographic research. At the end of the work developed it was possible to understand the positioning of Pingo Doce in the online food retail area and their online and offline distribution strategies.

2024

Fundamentals of a Digital Marketing Plan for a Tourism Infrastructure in Alentejo

Autores
Popova, M; da Fonseca, MJS; Garcia, JE; Andrade, JG;

Publicação
INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, WORLDCIST 2023

Abstract
There is no doubt that tourism benefits Portugal's economy. The area should be able to better target the market for its travel and tourist products and increase its performance with the use of a marketing strategy, especially in a field where global competition is always increasing. This digital marketing plan seeks to analyze the strengths and limitations of the Portuguese region in its target markets, as well as the most current advancements in the global travel and tourism sector. In this work, it is conducted an analysis of both micro and macro environments of Casa Pereirinha. In addition, it was created a marketing mix based on the 7P's. Furthermore, the work provides the prospective avenues for product growth and marketing following the markets' stated growth objectives. This project comprises creating a comprehensive digital marketing strategy for Casa Pereirinha as a significant example of the region's tourism business, and the primary purpose is to conserve its past, while developing a new strategy.

2024

ESG in Advertising Narratives: Case Analysis of Golden Lion Winning Campaigns at Cannes 2022

Autores
de Araújo, DL; Garcia, JE; da Fonseca, MJS; Andrade, JG;

Publicação
INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, WORLDCIST 2023

Abstract
The key question that will be addressed in this research is whether advertising narratives feature initiatives within the ESG - Environment, Social and Governance - framework. Investors increasingly value companies that promote sustainable impact actions, something that the promoting companies report in detail in their ESG reports directed at corporate stakeholders. To identify and understand how brands present such initiatives to the consumer market, we checked campaigns awarded with the Golden Lion of Advertising at Cannes 2022. The methodological cut involved three award categories, being analyzed 19 campaigns from 10 different countries. Besides the bibliographical survey on discourse analysis and content analysis, this exploratory qualitative and quantitative research had the inductive method to direct the individual analysis of each campaign. As a result, we identified that more than half of the campaigns address aspects related to ESG initiatives, being the social scope addressed by most of the campaigns. A result that provokes new hypotheses and possibilities of research continuity.

2024

The Digitalization of the Event Industry - Mobile and Internet Applications as a Tool to Improve Event Communication and Experiences: A Case Study of a French Event App Start-Up

Autores
Cardoso, A; Garcia, JE; Pereira, MS; Nasri, S;

Publicação
INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, WORLDCIST 2023

Abstract
Following the lack of existing studies about the applications development and use in the event industry, this research aims to analyze the use of applications as a tool to improve event communication. The methodology used includes an exploratory method. This research methodology is based on a review of the literature, a semi-structured interview with the CEO of the company and a case study with participant observation of the French start-up Invent App which provides event applications. The study demonstrate that the event app use allows to ease the event organization, to improve the event communication but also the interactivity and the participant engagement. All of this, increasing the customer experience but also having a part in the customer digital experience improvement. Event applications could be thus considered as amarketing and event communication tool. The research has the limitation to its application within a single company in France. Furthermore, the point of viewadopted is the one of the event organizers and not the event participant one. This research helped to better understand the role that event applications can have in the event industry and particularly in the communication around an event. In addition, this made it possible to understand the perception of market requirements and the characteristics expected of an event application.

  • 17
  • 598