Monografias em Ciência da Computação



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), edited by Prof. Carlos Lucena. 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:
Rosane Castilho

Last update: 12/MARCH/2016


VALENTE, L.; FEIJO, B.; SILVA, A.R.; CLUA, E. Non pervasive virtuality.
9 p. Eng. E-mail:

This paper summarizes notes about a new mixed-reality paradigm that we named as “pervasive virtuality”. This paradigm has emerged recently in industry and academia through different initiatives. In this paper we intend to explore this new area by proposing a set of features that we identified as important or helpful to realize pervasive virtuality in games and entertainment applications.

ROSEMBERG, M.R.; CUNHA, F.J.P.; LUCENA, C.J.P.L.; SCHWABE,D.; POGGI, M. An architecture to mitigate buffer overflow attacks, using multi-agent system concepts.
20 p. Eng. E-mail:

Most times, services or daemons are written in C and, therefore, are subject to Buffer Overflow Attacks and other exploits that the C language is vulnerable. When such services perform authentication, and are successfully exploited, the attacker may gain access to user credentials, session keys and even the Private Key of a digital certificate. In this work, we propose an architecture for modeling and implementation of services and client applications, using Multi-Agent Systems concepts to mitigate the damage an attacker could inflict on a system. Our approach also improves the resilience to Denial of Service Attacks, since an intelligent agent can.

écnicas para aplicação de agilidade em arquitetura de software. 21 p. Eng. E-mail:

Software architecture is a phase that consumes significant time and effort, furthermore its return on investment is achieved only in long term. Hence, this phase is commonly neglected, creating architectural problems. One approach to deal with this situation is applying agile architecture techniques. However, this combination is still an active research area, and is not a consolidated industry practice. Intending to help software engineering practitioners to combine agile and architecture we present some preeminent techniques to create, document and evaluate architecture. We also present a brief review of the problems and the research in this area. Finally, we made a critical analysis of these techniques against the architectural problem factors, identify-ing which factors are treated by each technique, and also its limitations and possible implementation difficulties.

NASCIMENTO, N.M.; VIANA, C.J.M.; STAA, A. von; LUCENA, C.J.P. A publish-subscribe based approach for testing multi-agent systems
. 21 p. Eng. E-mail:

Multi-agent systems (MASs) have been applied to several application domains, such as e-commerce, unmanned vehicles, and many others. In addition, a set of different techniques has been integrated into multi-agent applications. However, few of these applications have been commercially deployed and few of these techniques have been fully exploited by industrial applications. One reason is the lack of procedures guaranteeing that multi-agent systems would behave as desired. Most of the existing test approaches only test agents as single individuals and do not provide ways of inspecting the behavior of an agent as part of a group, and the behavior of the whole group of agents. Accordingly, we modeled and developed a publish-subscribe-based architecture to facilitate the implementation of systems to test MASs at the agent and group levels. To illustrate and evaluate the use of the proposed architecture, we developed an MAS-based application and performed functional and performance ad-hoc tests.