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

Parallel Logic Programming: A Sequel

Autores
Dovier, A; Formisano, A; Gupta, G; Hermenegildo, MV; Pontelli, E; Rocha, R;

Publicação
THEORY AND PRACTICE OF LOGIC PROGRAMMING

Abstract
Multi-core and highly connected architectures have become ubiquitous, and this has brought renewed interest in language-based approaches to the exploitation of parallelism. Since its inception, logic programming has been recognized as a programming paradigm with great potential for automated exploitation of parallelism. The comprehensive survey of the first twenty years of research in parallel logic programming, published in 2001, has served since as a fundamental reference to researchers and developers. The contents are quite valid today, but at the same time the field has continued evolving at a fast pace in the years that have followed. Many of these achievements and ongoing research have been driven by the rapid pace of technological innovation, that has led to advances such as very large clusters, the wide diffusion of multi-core processors, the game-changing role of general-purpose graphic processing units, and the ubiquitous adoption of cloud computing. This has been paralleled by significant advances within logic programming, such as tabling, more powerful static analysis and verification, the rapid growth of Answer Set Programming, and in general, more mature implementations and systems. This survey provides a review of the research in parallel logic programming covering the period since 2001, thus providing a natural continuation of the previous survey. In order to keep the survey self-contained, it restricts its attention to parallelization of the major logic programming languages (Prolog, Datalog, Answer Set Programming) and with an emphasis on automated parallelization and preservation of the sequential observable semantics of such languages. The goal of the survey is to serve not only as a reference for researchers and developers of logic programming systems but also as engaging reading for anyone interested in logic and as a useful source for researchers in parallel systems outside logic programming.

2022

Pardinus: A Temporal Relational Model Finder

Autores
Macedo, N; Brunel, J; Chemouil, D; Cunha, A;

Publicação
JOURNAL OF AUTOMATED REASONING

Abstract
This article presents Pardinus, an extension of the popular Kodkod relational model finder with linear temporal logic (including past operators), to simplify the analysis of dynamic systems. Pardinus includes a SAT-based bounded-model checking engine and an SMV-based complete model checking engine, both allowing iteration through the different instances (or counter-examples) of a specification. It also supports a decomposed parallel analysis strategy that improves the efficiency of both analysis engines on commodity multi-core machines.

2022

Predicting Cybersecurity Risk - A Methodology for Assessments

Autores
Ferreira, DJ; São Mamede, H;

Publicação
ARIS2 - Advanced Research on Information Systems Security

Abstract
Defining an appropriate cybersecurity incident response model is a critical challenge that all companies face on a daily basis.However, there is not always an adequate answer. This is due to the lack of predictive models based on data (evidence). There is a significant investment in research to identify the main factors that can cause such incidents, always trying to have the most appropriate response and, consequently, enhancing response capacity and success. At the same time, several different methodologies assess the risk management and maturity level of organizations.There is, however, a gap in determining an organization's degree of proactive responsiveness to successfully adopt cybersecurity and an even more significant gap in assessing it from a risk management perspective. This paper proposes a model to evaluate this capacity, a model that intends to evaluate the methodological aspects of an organization and indicates the apparent gaps that can negatively impact the future of the organization in the management of cybersecurity incidents and presents a model that intends to be proactive.

2022

Remote sensing image fusion on 3D scenarios: A review of applications for agriculture and forestry

Autores
Jurado, JM; Lopez, A; Padua, L; Sousa, JJ;

Publicação
INTERNATIONAL JOURNAL OF APPLIED EARTH OBSERVATION AND GEOINFORMATION

Abstract
Three-dimensional (3D) image mapping of real-world scenarios has a great potential to provide the user with a more accurate scene understanding. This will enable, among others, unsupervised automatic sampling of meaningful material classes from the target area for adaptive semi-supervised deep learning techniques. This path is already being taken by the recent and fast-developing research in computational fields, however, some issues related to computationally expensive processes in the integration of multi-source sensing data remain. Recent studies focused on Earth observation and characterization are enhanced by the proliferation of Unmanned Aerial Vehicles (UAV) and sensors able to capture massive datasets with a high spatial resolution. In this scope, many approaches have been presented for 3D modeling, remote sensing, image processing and mapping, and multi-source data fusion. This survey aims to present a summary of previous work according to the most relevant contributions for the reconstruction and analysis of 3D models of real scenarios using multispectral, thermal and hyperspectral imagery. Surveyed applications are focused on agriculture and forestry since these fields concentrate most applications and are widely studied. Many challenges are currently being overcome by recent methods based on the reconstruction of multi-sensorial 3D scenarios. In parallel, the processing of large image datasets has recently been accelerated by General-Purpose Graphics Processing Unit (GPGPU) approaches that are also summarized in this work. Finally, as a conclusion, some open issues and future research directions are presented.

2022

FRAMEWORK FOR PEDAGOGICAL TRAINING OF TRAINERS IN DIGITAL CONTENT FOR SELF-LEARNING (E-CONTENTS)

Autores
Santos, A; Moreira, L; Silva, P;

Publicação
INTED2022 Proceedings - INTED Proceedings

Abstract
The main objective of continuing education for trainers is to promote the updating, improvement, and acquisition of new didactic and pedagogical skills that cover different fields of action, namely the design, development, and implementation of training programs in the field of research and experimentation of new approaches and methodologies applied to diversified audiences and contexts, especially in e-Learning and b-Learning environments. To fulfill these competencies, the IEFP National Centre for Trainer Qualification (CNQF), besides managing and coordinating the training and certification system for trainers in Portugal, has been developing a modular structure for the Initial Pedagogical Training of Trainers and the Continuous Pedagogical Training of the Distance Trainer (e-Trainer) to contribute to the acquisition and development of pedagogical and technical competences of trainers that will contribute to raising the standards of quality of the training provided. Technological innovation and evolution launch new challenges to Trainers requiring a great effort to adapt and master both from the point of view of pedagogical models and communication processes in learning environments and digital content. This new Continuous Pedagogical Training Referential in Digital Content for Self-Learning (e-Content) was designed in this context. It explores the pedagogical and technological dimensions of producing digital content for distance learning environments. This article presents the fundamentals of this framework, its application, and validation in a case study supported by two e-Content training courses. With this case study and in a perspective of continuous improvement, we intend to understand how the modular structure of the adopted framework influences the results obtained by the trainees of the e-Content training courses and their degree of satisfaction.

2022

Schema-guided Testing of Message-oriented Systems

Autores
Santos, A; Cunha, A; Macedo, N;

Publicação
ENASE: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING

Abstract
Effective testing of message-oriented software requires describing the expected behaviour of the system and the causality relations between messages. This is often achieved with formal specifications based on temporal logics that require both first-order and metric temporal constructs - to specify constraints over data and real time. This paper proposes a technique to automatically generate tests for metric first-order temporal specifications that match well-understood specification patterns. Our approach takes in properties in a high-level specification language and identifies test schemas (strategies) that are likely to falsify the property. Schemas correspond to abstract classes of execution traces, that can be refined by introducing assumptions about the system. At the low level, concrete traces are successively produced for each schema using property-based testing principles. We instantiate this approach for a popular robotic middleware, ROS, and evaluate it on two systems, showing that schema-based test generation is effective for message-oriented software.

  • 35
  • 217