Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

2025

Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs

Authors
Almeida, JB; Barbosa, M; Barthe, G; Blatter, L; Marinho Alves, GXD; Duarte, JD; Grégoire, B; Oliveira, T; Quaresma, M; Strub, PY; Tsai, MH; Wang, BY; Yang, BY;

Publication
CCS

Abstract

2025

Integration of Online Communication Channels and Online Consumer Behavior

Authors
Pires, PB; Santos, JD; de Brito, PQ;

Publication
Smart Innovation, Systems and Technologies

Abstract
Establishing the relationship between online communication channels and the stages of the consumer decision-making process was the aim of this research. A review of online communication channels and consumer behavior models was conducted for this purpose. Subsequently, three experiments (car glass repair, retail of clothing and sports equipment, and retail of books and technological products) were carried out that consisted of questionnaires that were applied in companies belonging to different industries. The questionnaires were used to measure the expectations and preferences of consumers at each stage for each channel. The results showed that there is no relationship between online communication channels and the stages of the decision-making process. They also revealed a gap between expectations and preferences for each channel in each phase. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

2025

Unified concepts: a review and proposal for virtual reality terminology

Authors
Gonçalves, G; Peixoto, B; Miguel, M; Bessa, M;

Publication
VIRTUAL REALITY

Abstract
Throughout the Virtual Reality (VR) literature, we find different terms to define the same concepts as well as the same terms addressing different concepts. This issue can easily cause misinterpretations and difficulty in the analysis of papers from different authors. This work addresses this terminology confusion through a detailed analysis of current key concepts, how they have been employed, comparing them to other concepts, and proposing adaptations to their definitions to reduce conceptual overlap while preserving the original terms. In this work, we reviewed widely used terms in VR: Fidelity, Realism, Immersion, Presence, and Coherence. We also identified and discussed derivative terms, such as Place Illusion, Plausibility Illusion, Sensorimotor Contingencies, Multisensory, Virtual Content, Objective and Subjective Realism, and Objective and Subjective Internal Coherence. We proposed how these distinct concepts can be separated, merged, and linked, providing a clearer terminology for future use and discussing the implications of this terminology.

2025

Sustainability practices for software development in Scrum environment

Authors
Almeida, F;

Publication
International Journal of Agile Systems and Management

Abstract
This paper aims to characterise the relevance of sustainability practices in the context of software companies that adopt the Scrum methodology. In the first phase, a multidimensional framework for software sustainability was built, based on the individual, technical, environmental, and social dimensions. Subsequently, a quantitative study was carried out using a survey answered by 397 Scrum professionals working in software companies registered in Portugal. The results reveal significant asymmetries in the implementation of sustainable practices, in which micro companies experience the greatest difficulties in their implementation. The findings also indicate that the practices most adopted by organisations are in the technical and individual dimensions, where a proactive level of maturity is evident. On the other hand, environmental and social practices are still poorly implemented and appear mainly at a reactive level due to the needs of the projects or their teams. © 2025 Elsevier B.V., All rights reserved.

2025

Frontiers of the Past in the Digital World: Multidisciplinary Collaboration in the 3D Reconstitution of Medieval Border Towns

Authors
Lacet, D; Cuesta-Gómez, F; Prata, S; Trindade, L; da Silva, GM; Costa, A; Van Zeller, M; Morgado, L; Coelho, A; Alves, T; Filipe, J;

Publication
2025 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS, VRW

Abstract
The virtual reconstitution of Castelo de Vide, Portugal, within the FRONTOWNS project, highlights the challenges and successes of multidisciplinary collaboration in heritage preservation through 3D modeling. The goal was to reconstruct the town's urban evolution, focusing on its role as a border settlement from the 13th to 16th centuries. The project combined archaeological evidence, historical sources, and digital technologies like photogrammetry and 3D scanning. Co -creation workshops aligned diverse knowledge, leading to creative solutions that balanced historical accuracy and technical feasibility. Despite budget constraints, it produced a high-quality digital reconstitution with insights for future virtual heritage projects.

2025

Autonomous Vision-Aided UAV Positioning for Obstacle-Aware Wireless Connectivity

Authors
Shafafi, K; Ricardo, M; Campos, R;

Publication
CoRR

Abstract

  • 37
  • 4401