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 Ivo Pereira

2023

Blockchain-Based Electronic Voting: A Secure and Transparent Solution

Autores
Pereira, BMB; Torres, JM; Sobral, PM; Moreira, RS; Soares, CPD; Pereira, I;

Publicação
CRYPTOGRAPHY

Abstract
Since its appearance in 2008, blockchain technology has found multiple uses in fields such as banking, supply chain management, and healthcare. One of the most intriguing uses of blockchain is in voting systems, where the technology can overcome the security and transparency concerns that plague traditional voting systems. This paper provides a thorough examination of the implementation of a blockchain-based voting system. The proposed system employs cryptographic methods to protect voters' privacy and anonymity while ensuring the verifiability and integrity of election results. Digital signatures, homomorphic encryption (He), zero-knowledge proofs (ZKPs), and the Byzantine fault-tolerant consensus method underpin the system. A review of the literature on the use of blockchain technology for voting systems supports the analysis and the technical and logistical constraints connected with implementing the suggested system. The study suggests solutions to problems such as managing voter identification and authentication, ensuring accessibility for all voters, and dealing with network latency and scalability. The suggested blockchain-based voting system can provide a safe and transparent platform for casting and counting votes, ensuring election results' privacy, anonymity, and verifiability. The implementation of blockchain technology can overcome traditional voting systems' security and transparency shortcomings while also delivering a high level of integrity and traceability.

2017

A self-organisation model for mobile robots in large structure assembly using multi-agent systems

Autores
Ljasenko S.; Lohse N.; Justham L.; Pereira I.; Jackson M.;

Publicação
Studies in Computational Intelligence

Abstract
Mobile, self-organising robots are seen to be a possible solution to overcome the current limitations of fixed, dedicated automation systems particularly in the area of large structure assembly. Two of the key challenges for traditional dedicated automation systems in large structure assembly are considered to be the transportation of products and the adaptation of manufacturing processes to changes in requirements. In order to make dynamic, self-organising systems a reality, several challenges in the process dynamics and logistical control need to be solved. In this paper, we propose a Multi-Agent System (MAS) approach to self-organise mobile robots in large structure assembly. The model is based on fixed-priority pre-emptive scheduling and uses a blackboard agent as a central information source and to facilitate more common goal directed distributed negotiation and decision making between agents representing the different needs of products and available mobile resources (robots).

2017

Redundant and decentralised directory facilitator for resilient plug and produce cyber physical production systems

Autores
Páscoa, F; Pereira, I; Ferreira, P; Lohse, N;

Publicação
Studies in Computational Intelligence

Abstract
Cyber Physical Production Systems (CPSS) built on the concept of “Plug-and-Produce” aim at delivering truly agile production systems. These systems are modular by nature and can be adapted based on changing requirements. One of the challenges in this domain is how to store and propagate information within CPPS. In this paper, a Redundant and Decentralised Directory Facilitator will be introduced to provide the capability to store and broadcast the existing system assembly capabilities. Additionally, this solution will provide redundancy and delocalization of the assembly capabilities information. The model used is described, as well as interactions, behaviours and deployment strategies. Finally a validation scenario is presented and conclusions are discussed. © Springer International Publishing AG 2017.

2019

Dynamic Generation of Documentation, Code, and Tests for a Digital Marketing Platform's API

Autores
Santos, R; Pereira, I; Azevedo, I;

Publicação
Advances in Computer and Electrical Engineering - Code Generation, Analysis Tools, and Testing for Quality

Abstract
Detailed documentation and software tests are key factors for the success of a web application programming interface (API). When designing an API, especially in a design first approach, it is relevant to define a formal contract, known as API specification. This document must contain all necessary information regarding the API behavior. Thereby, the specification can be used to dynamically generate API components like documentation, client and server code, and software tests, reducing development and maintenance costs. This chapter presents a study of OpenAPI specification and its application on designing a new RESTful API for E-goi. It also presents a set of solutions for generating documentation, client code libraries, and test cases.

2019

Integrated design environment for reusable modular assembly systems

Autores
Ferreira, P; Anandan, PD; Pereira, I; Hiwarkar, V; Sayed, M; Lohse, N; Aguiar, S; Goncalves, G; Goncalves, J; Bottinger, F;

Publicação
ASSEMBLY AUTOMATION

Abstract
Purpose This paper aims to provide a service-based integrated prototype framework for the design of reusable modular assembly systems (RMAS) incorporating reusability of equipment into the process. It extends AutomationML (AML) developments for an engineering data exchange to integrate and standardize the data formats that support the design of RMAS. Design/methodology/approach The approach provides a set of systematic procedures and support tools for the design of RMAS. This includes enhanced domain knowledge models that facilitate the interpretation and integration of information across the design phases. Findings The inclusion of reusability aspects in the design phase improves the sustainability of future assembly systems, by ensuring equipment use until its end-of-life. Moreover, the integrated support tools reduce the design time, while improving the quality/performance of the system design solution, as it enables the exploration of a larger solution space. This will result in a better response to dynamic and rapidly changing system requirements. Social implications - This work provides a sustainable approach for the design of modular assembly systems (MAS), which will ensure better resource utilization. Additionally, the standardization of the data and the support of low cost tools is expected to benefit industrial companies, particularly the small- and medium-sized enterprises. Originality/value This approach offers a service-based platform which uses production data to incorporate reusability aspects into the design process of modular assembly system. Moreover, it provides a framework for modular assembly system design by extending the current design processes and interactions between stakeholders. To support this, a standardized method for information representation and exchange across the several phases of the RMAS design activity is briefly illustrated with an industrial case study.

2022

A New Cascade-Hybrid Recommender System Approach for the Retail Market

Autores
Rebelo, MA; Coelho, D; Pereira, I; Fernandes, F;

Publicação
INNOVATIONS IN BIO-INSPIRED COMPUTING AND APPLICATIONS, IBICA 2021

Abstract
By carefully recommending selected items to users, recommender systems ought to increase profit from product sales. To achieve this, recommendations need to be relevant, novel and diverse. Many approaches to this problem exist, each with its own advantages and shortcomings. This paper proposes a novel way to combine model, memory and content-based approaches in a cascade-hybrid system, where each approach refines the previous one, sequentially. It is also proposed a straight-forward way to easily incorporate time-awareness into rating matrices. This approach focuses on being intuitive, flexible, robust, auditable and avoid heavy performance costs, as opposed to black-box fashion approaches. Evaluation metrics such as Novelty Score are also for-malized and computed, in conjunction with Catalog Coverage and mean recommendation price to better capture the recommender's performance.

  • 7
  • 8