Monografias em Ciência da Computação

2019

ABSTRACTS

Departmento de Informática 
Pontifícia Universidade Católica do Rio de Janeiro - PUC-Rio
Rio de Janeiro - Brazil


This file contains a list of the technical reports of the Departmento de Informática, Pontifícia Universidade Católica do Janeiro - PUC-Rio, Brazil, which are published in our series Monografias em Ciência da Computação (ISSN 0103-9741). The serie scientific editor is Prof. Carlos Lucena and Rosane Castilho is it's technical editor. Please note that the reports not available for download are available in their print format and can be obtained via the e-mail below.
For any questions, requests or suggestions, please contact:
publicar@inf.puc-rio.br

Last update: 11/APRIL/2019

INDEX


[MCC01/19]
ROBICHEZ, G.; FRAJHOF, I.; ALVES, P.H.; NASSER, R.; PASKIN, R.; FIORINI, S. Blockchain para governos e serviços públicos. 20 p. Port. E-mail: guga@inf.puc-rio.br, lucena@inf.puc-rio.br

Abstract:  This thematic report of Blockchain for Governments and Public Services was produced by a group of researchers of the Software Engineering Laboratory (on the original, LES) of
the Computer Science Department at the Pontifical Catholic University of Rio de Janeiro (PUC-Rio) for the Digital Agenda of 2020 of the Rio de Janeiro State. This research was supported by the Carlos Chagas Research Foundation of the State of Rio de Janeiro (FAPERJ), and aims to provide a consolidated perspective on the potential of this emerging technology in the light of its application in the public sector.

[MCC02/19]
NASCIMENTO, N.; LUCENA, C.J.P.; ALENCAR, P.S.; VIANA, C.J. Testing self-organizing multiagent systems. 17 p. Eng. E-mail: lucena@inf.puc-rio.br

Abstract:
Multiagent Systems (MASs) involve different characteristics, such as autonomy, asynchronous and social features, which make these systems more difficult to understand. Thus, there is a lack of procedures guaranteeing that multiagent systems would behave as desired. Further complicating the situation is the fact that current agent-based approaches may also involve non-deterministic characteristics, such as learning, self-adaptation and self-organization (SASO). Nonetheless, there is a gap in the literature regarding the testing of systems with these features. This paper presents a publish-subscribe-based approach to develop test applications that facilitate the process of failure diagnosis in a self-organizing MAS. These tests are able to detect failures at the global behavior of the system or at the local properties of its parts. To illustrate the use of this approach, we developed a self-organizing MAS system based on the context of the Internet of Things (IoT), which simulates a set of smart street lights, and we performed functional ad-hoc tests. The street lights need to interact with each other in order to achieve the global goals of reducing the energy consumption and maintaining the maximum visual comfort in illuminated areas. To achieve these global behaviors, the street lights develop local behaviors automatically through a self-organizing process based on machine learning algorithms.

[MCC03/19]
SIRQUEIRA, T.F.M.; LUCENA, C.J.P. Sistemas autônomos explicáveis por meio de proveniência de dados. 23 p. E-mail: lucena@inf.puc-rio.br

Abstract:
Determining the data provenance, that is, the process that led to those data, is vital in many areas, especially when it is essential that the results or actions be reliable. With the increasing number of applications based on artificial intelligence, the need has been created to make them capable of explaining their behavior and be responsive to their decisions. This is a challenge especially if the applications are distributed, and composed of multiple autonomous agents, forming a Multiagent System (MAS). A key way of making such systems explicable is to track the agent’s behavior, that is, to record the source of their actions and reasoning, as in an “omniscient debugging”. Although the idea of provenance has already been explored in some contexts, it has not been extensively explored in the context of MAS, leaving many questions to be understood and addressed. Our objective in this work is to justify the importance of the data provenance to MAS, discussing which questions can be answered regarding the behavior of MAS using the provenance and illustrating, through application scenarios, to demonstrate the benefits that provenance provides to reply to these questions. This study involves the creation of a software framework, called FProvW3C, which supports the collects and stores the provenance of the data produced by the MAS. This data can then be analyzed to answer a wide variety of questions that allows the understanding of the MAS behavior. The objective of this work is to show rigorously that the use of the data provenance in MAS is a sound solution to make the agent’s reasoning / action process transparent.

[MCC04/19]
CASTILHO, R.T.L., comp., org.; LUCENA, C.J.P., ed.  Fifty years of publications from the Departamento de Informática - PUC-Rio. Pt. 1: Journal Articles. 75 p. E-mail: lucena@inf.puc-rio.br

Abstract:
This work encompasses 50 years of publications from the Departamento de Informática of PUC-Rio, the first post-graduate Computer Science program in Latin America. It serves as evidence that the Program has stayed fully up to date with respect to the state-of-the art of the discipline. It has, in addition, a relevant historical and scientific value as a significant example of the evolution of the scientific and technological research in the field of Computing in Brazil. It also registers the presence of the researchers that populated and still populate the academic computing community in Brazil, as well as the intense collaboration among our researchers and researchers from other programs, both at the national and international levels. This work is a legacy of the Assessoria de Biblioteca, Documentação e Informação in its continued effort to maintain, preserve and disseminate the records of the Department’s scientific research, published from 1968, the very beginning of the Program, up to 2019. It is intended to be presented in three parts covering respectively: Journal Articles – around a thousand articles during the period -, Books and Book Chapters, and Communications in Scientifc Events.

[MCC05/19]
DINIZ, R.;  GUEDES, A.L.V.; COLCHER, S.  A Ginga-enabled digital radio mondiale broadcasting chain: signaling and definitions. 11 p. E-mail: colcher@inf.puc-rio.br

Abstract:
ISDB-T International standard is currently adopted by most Latin America countries. To support interactive applications in Digital TV receivers, ISDB-T defines the middleware Ginga. Similar to Digital TV, Digital Radio standards also provide the means to carry interactive applications; however, their specifications for interactive applications are usually more restricted than the ones used in Digital TV. Also, interactive applications for Digital TV and Digital Radio are usually incompatible. Motivated by such observations, this report considers the importance of interactive applications for both TV and Radio Broadcasting and the advantages of using the same middleware and languages specification for Digital TV and Radio. More specifically, it establishes the signaling and definitions on how to transport and execute Ginga-NCL and Ginga-HTML5 applications over DRM (Digital Radio Mondiale) transmission. Ministry of Science, Technology, Innovation and Communication of Brazil is carrying trials with Digital Radio Mondiale standard in order to define the reference model of the Brazilian Digital Radio System (Portuguese: Sistema Brasileiro de Rádio Digital - SBRD).

[MCC06/19]
PAGANELLI, A.L.; LOPES, H.; ENDLER, M.
IoT, authentication, performance and Data Science – experiments using ContextNet. 19 p. E-mail: endler@inf.puc-rio.br

Abstract:
This work presents a series of performance experiments with ContextNet, a middleware aimed at applications for Internet of Mobile Things. It was compared several scenarios with and without authentication of messages. Additionally, it was compared the performance of application answer time using round-trip times with a centralized and a decentralized mechanism for authentication. Challenges and issues for measuring performance on this environment are presented as well as techniques for comparing data series with high variability. It was highlighted the importance of going one level deeper in order to identify conflicts in results. Moreover, the need of automating the test process and the analysis of data for better scrutiny, identification of errors, and reproducibility. Furthermore, in order to clarify results, in additional to data descriptive variables it was presented graphs with data distribution, data density distribution, and different coefficients of uncertainty. Finally, our experiments reinforced the need of designing robust methodologies and presented suggestions for implementing performance tests in this environment.