样式: 排序: IF: - GO 导出 标记为已读
-
A method for monitoring the coupling evolution of microservice-based architectures J. Braz. Comput. Soc. Pub Date : 2021-12-11 Apolinário, Daniel R.F., de França, Breno B.N.
The microservice architecture is claimed to satisfy ongoing software development demands, such as resilience, flexibility, and velocity. However, developing applications based on microservices also brings some drawbacks, such as the increased software operational complexity. Recent studies have also pointed out the lack of methods to prevent problems related to the maintainability of these solutions
-
An accelerated and robust algorithm for ant colony optimization in continuous functions J. Braz. Comput. Soc. Pub Date : 2021-12-02 de Freitas, Jairo G., Yamanaka, Keiji
There is a wide variety of computational methods used for solving optimization problems. Among these, there are various strategies that are derived from the concept of ant colony optimization (ACO). However, the great majority of these methods are limited-range-search algorithms, that is, they find the optimal solution, as long as the domain provided contains this solution. This becomes a limitation
-
Discussing human values in digital immortality: towards a value-oriented perspective J. Braz. Comput. Soc. Pub Date : 2021-11-26 Galvão, Vinícius Ferreira, Maciel, Cristiano, Pereira, Roberto, Gasparini, Isabela, Viterbo, José, Bicharra Garcia, Ana Cristina
Intense social media interaction, wearable devices, mobile applications, and pervasive use of sensors have created a personal information ecosystem for gathering traces of individual behavior. These traces are the digital legacy individuals build all through their lives. Advances in artificial intelligence have fed our dream to build artificial agents trained with these digital traces to behave similarly
-
A study on machine learning techniques for the schema matching network problem J. Braz. Comput. Soc. Pub Date : 2021-11-23 Rodrigues, Diego, Silva, Altigran da
Schema matching is the problem of finding semantic correspondences between elements from different schemas. This is a challenging problem since disparate elements in the schemas often represent the same concept. Traditional instances of this problem involved a pair of schemas. However, recently, there has been an increasing interest in matching several related schemas at once, a problem known as schema
-
Science Tree: a platform for exploring the brazilian academic genealogy J. Braz. Comput. Soc. Pub Date : 2021-11-17 M. C. Cota, João M., Laender, Alberto H. F., Prates, Raquel O.
Identifying and studying the formation of researchers over the years is a challenging task, since the current repositories of theses and dissertations are cataloged in a decentralized manner in different digital libraries, many of them with limited scope. In this article, we report our efforts towards building a large repository to record the Brazilian academic genealogy. For this, we collected data
-
Underwater image segmentation in the wild using deep learning J. Braz. Comput. Soc. Pub Date : 2021-10-04 Drews-Jr, Paulo, Souza, Isadora de, Maurell, Igor P., Protas, Eglen V., C. Botelho, Silvia S.
Image segmentation is an important step in many computer vision and image processing algorithms. It is often adopted in tasks such as object detection, classification, and tracking. The segmentation of underwater images is a challenging problem as the water and particles present in the water scatter and absorb the light rays. These effects make the application of traditional segmentation methods cumbersome
-
Robust Cardinality: a novel approach for cardinality prediction in SQL queries J. Braz. Comput. Soc. Pub Date : 2021-09-01 B. S. Praciano, Francisco D., Amora, Paulo R. P., Abreu, Italo C., Pereira, Francisco L. F., Machado, Javam C.
Database Management Systems (DBMSs) use declarative language to execute queries to stored data. The DBMS defines how data will be processed and ultimately retrieved. Therefore, it must choose the best option from the different possibilities based on an estimation process. The optimization process uses estimated cardinalities to make optimization decisions, such as choosing predicate order. In this
-
ScrumOntoBDD: Agile software development based on scrum, ontologies and behaviour-driven development J. Braz. Comput. Soc. Pub Date : 2021-06-13 Pedro Lopes de Souza, Wanderley Lopes de Souza, Luís Ferreira Pires
When developing a Learning Management System (LMS) using Scrum, we noticed that it was quite often necessary to redefine some system behaviour scenarios, due to ambiguities in the requirement specifications, or due to misinterpretations of stories reported by the Product Owners (POs). The definition of test suites was also cumbersome, resulting in test suites that were incomplete or did not at all
-
Designing a tangible tabletop installation and enacting a socioenactive experience with TangiTime J. Braz. Comput. Soc. Pub Date : 2021-05-28 Yusseli Lizeth Méndez Mendoza, M. Cecília C. Baranauskas
Contemporary computational technology (tangible and ubiquitous) are still challenging the mainstream systems design methods, demanding new ways of considering the interaction design and its evaluation. In this work, we draw on concepts of enactivism and enactive systems to investigate interaction and experience in the context of the ubiquity of computational systems. Our study is illustrated with the
-
VANET simulators: an updated review J. Braz. Comput. Soc. Pub Date : 2021-05-06 Julia Silva Weber, Miguel Neves, Tiago Ferreto
Research on VANETs (vehicular ad hoc networks) date back to the beginning of the 2000s. The possibility of enabling communication between vehicles through a wireless network stimulated the creation of new protocols, devices, and diverse utilization scenarios. Due to the intrinsic difficulties of using a real testbed to evaluate these research contributions, several simulators were developed at the
-
An adaptive kernel width convex combination method for maximum correntropy criterion J. Braz. Comput. Soc. Pub Date : 2021-03-23 Aluisio I. R. Fontes, Leandro L. S. Linhares, João P. F. Guimarães, Luiz F. Q. Silveira, Allan M. Martins
Recently, the maximum correntropy criterion (MCC) has been successfully applied in numerous applications regarding nonGaussian data processing. MCC employs a free parameter called kernel width, which affects the convergence rate, robustness, and steady-state performance of the adaptive filtering. However, determining the optimal value for such parameter is not always a trivial task. Within this context
-
Global and Latin American female participation in evidence-based software engineering: a systematic mapping study J. Braz. Comput. Soc. Pub Date : 2021-03-19 Katia Romero Felizardo, Amanda Möhring Ramos, Claudia de O. Melo, Érica Ferreira de Souza, Nandamudi L. Vijaykumar, Elisa Yumi Nakagawa
While the digital economy requires a new generation of technology for scientists and practitioners, the software engineering (SE) field faces a gender crisis. SE research is a global enterprise that requires the participation of both genders for the advancement of science and evidence-based practice. However, women across the world tend to be significantly underrepresented in such research, receiving
-
Development and validation of a safe communication protocol compliant to railway standards J. Braz. Comput. Soc. Pub Date : 2021-03-02 Duccio Bertieri, Andrea Ceccarelli, Tommaso Zoppi, Innocenzo Mungiello, Mario Barbareschi, Andrea Bondavalli
Railway systems are composed of a multitude of subsystems, sensors, and actuators that exchange datagrams through safety-critical communication protocols. However, the vast majority of these protocols rely on ad hoc interlacing mechanisms and safety codes which raise the heterogeneity and complexity of the overarching railway system. Therefore, Rete Ferroviaria Italiana, the company who is in charge
-
Industrial and OSS developers’ profiles: a family of experiments to evaluate a pioneering neuro-linguistic method for preferred representational systems automatic detection J. Braz. Comput. Soc. Pub Date : 2021-03-01 Methanias Colaço Júnior, Breno Santana Santos, Manoel Mendonça, Daniela Corumba, Mario André de F. Farias
Software projects use mailing lists as the primary tool for collaboration and coordination. Mailing lists can be an important source for extracting behavioral patterns in the software development. A new approach for that is the use of Neurolinguistic theory to determine what is the Preferred Representational cognitive System (PRS) of software engineers in that specific context. Different resources
-
Usability evaluation model of an application with emphasis on collaborative security: an approach from social dimensions J. Braz. Comput. Soc. Pub Date : 2021-02-23 Mateus de Oliveira, Adriana Prest Mattedi, Rodrigo Duarte Seabra
Technological ubiquity and advances in the use of networked devices, such as smartphones, have become a fundamental element in the dynamics of information in the social environment. Social problems can be discussed in these networks, receiving the aid from these devices, in order to unite community members in a network that is strengthened for common goals, transforming the local reality. The motivation
-
A stochastic modeling approach for traffic analysis of a tramway system with virtual tags and local positioning J. Braz. Comput. Soc. Pub Date : 2021-02-12 Leandro Dias da Silva, Paolo Lollini, Diamantea Mongelli, Andrea Bondavalli, Gianluca Mandò
Traditional solutions for tramway interlocking systems are based on physical sensors (balizes) distributed along the infrastructure which detect passing of the trams and trigger different actions, like the communications with the ground infrastructure and the interlocking system. This approach is not easily scalable and maintainable, and it is costly. The SISTER project designed new architectural solutions
-
A blockchain-based service for inviolable presence registration of mobile entities J. Braz. Comput. Soc. Pub Date : 2021-01-21 Matheus Leal, Flávia Pisani, Markus Endler
Several applications can benefit from recording information about the places a mobile entity visits and the length of time it spends there (e.g., shoppers, employees, buses, portable equipment, autonomous robots). This paper presents our approach to recording spatio-temporal presence information in a secure and inviolable way using a Distributed Ledger Technology. We implemented this solution as a
-
A study on dynamic aspects variability in the SOLAR educational software ecosystem J. Braz. Comput. Soc. Pub Date : 2020-09-07 Emanuel F. Coutinho, Carla I. M. Bezerra
A Software Ecosystem (SECO) refers to a collection of software products with some degree of symbiotic relationship. SOLAR is a Virtual Learning Environment (VLE) that enables the publication of courses and interaction with them among its various users. In this context, SOLAR SECO emerges, where diverse situations of software evolution and maintenance are part of its development process. The aim of
-
An investigation of the predictability of the Brazilian three-modal hand-based behavioural biometric: a feature selection and feature-fusion approach J. Braz. Comput. Soc. Pub Date : 2020-08-27 Julliana Caroline Goncalves de A. S. Marques, Tuany Mariah Lima Do Nascimento, Brenda Vasiljevic, Laura Emmanuella Alves dos Santos Santana, Márjory Da Costa-Abreu
New security systems, methods or techniques need to have their performance evaluated in conditions that closely resemble a real-life situation. The effectiveness with which individual identity can be predicted in different scenarios can benefit from seeking a broad base of identity evidence. Many approaches to the implementation of biometric-based identification systems are possible, and different
-
CFDSD: a Communication Framework for Distributed Software Development J. Braz. Comput. Soc. Pub Date : 2020-08-21 Alexandre L’Erario, José Antônio Gonçalves, José Augusto Fabri, Tiago Pagotto, Rodrigo Henrique Cunha Palácios
Due to geographical and/or temporal dispersion, communication between teams in distributed software projects is a critical factor for success. Notably, distributed teams suffer adverse physical and temporal dispersion effects during an information exchange. To mitigate problems arising from interactions, it is important to understand the communication structure of teams during distributed projects
-
MylynSDP — Process - aware artifact filtering based on interest J. Braz. Comput. Soc. Pub Date : 2020-08-10 Ivens Portugal, Toacy Oliveira, Paulo Alencar, Donald Cowan
A software development process is used by software engineers to guide their activities during all phases of the software product development. When executing a software development process, software engineers may lose time and effort while searching for artifacts or changing contexts. This happens, for example, when they need to search for a specific code file in a list of hundreds of files or when
-
Relationships between design problem agglomerations and concerns having types and domains of software as transverse dimensions J. Braz. Comput. Soc. Pub Date : 2020-07-04 Luis Paulo da S. Carvalho, Renato L. Novais, Manoel Mendonça
Context Design problems have been recognized as one of the main causes behind the loss of software systems’ quality. Agglomerated design problems impact the quality even more. So, organizing and analyzing the relationship between design problems and concerns as agglomerations is a possible way to enhance the identification of defective source code artifacts. Problem As different systems evolve in varied
-
ALICAT: a customized approach to item selection process in computerized adaptive testing J. Braz. Comput. Soc. Pub Date : 2020-05-19 Victor M. G. Jatobá, Jorge S. Farias, Valdinei Freire, André S. Ruela, Karina V. Delgado
Computerized adaptive testing (CAT) based on item response theory allows more accurate assessments with fewer questions than the classic paper and pencil (P&P) test. Nonetheless, the CAT construction involves some key questions that, when done properly, can further improve the accuracy and efficiency in estimating the examinees’ abilities. One of the main questions is in regard to choosing the item
-
A comparative analysis of two computer science degree offerings J. Braz. Comput. Soc. Pub Date : 2020-05-18 Anna Carolina Finamore, Haydée G. Jiménez, Marco A. Casanova, Bernardo P. Nunes, Ana Moura Santos, António Pacheco Pires
This article presents an in-depth analysis and comparison of two computer science degree offerings, viz., the Bologna BSc in Information Systems and Computer Engineering, offered by the Instituto Superior Técnico of the University of Lisbon, Portugal, and the BSc in Computer Science offered by the Pontifical Catholic University of Rio de Janeiro, Brazil. The analysis is based on the student transcripts
-
Personality-dependent content selection in natural language generation systems J. Braz. Comput. Soc. Pub Date : 2020-04-29 Ricelli M. S. Ramos, Danielle S. Monteiro, Ivandré Paraboni
This paper focuses on the computer side of human-computer interaction through natural language, which is the domain of natural language generation (NLG) studies. From a given (usually non-linguistic) input, NLG systems will in principle generate the same fixed text as an output and in order to attain more natural or human-like interaction will often resort to a wide range of strategies for stylistic
-
Studying the evolution of exception handling anti-patterns in a long-lived large-scale project J. Braz. Comput. Soc. Pub Date : 2020-01-27 Dêmora B C de Sousa, Paulo Henrique M. Maia, Lincoln S Rocha, Windson Viana
Exception handling is a well-known technique used to improve software robustness. However, recent studies report that developers typically neglect exception handling (mostly novice ones). We believe the quality of exception handling code in a software project is directly affected (i) by the absence, or lack of awareness, of an explicit exception handling policy and guidelines and (ii) by a silent rising
-
Increasing sensor reliability through confidence attribution J. Braz. Comput. Soc. Pub Date : 2019-12-01 Roberto M. Scheffel, Antônio A. Fröhlich
The reliability of wireless sensor networks (WSN) is getting increasing importance as this kind of networks are becoming the communication base for many cyber-physical systems (CPS). Such systems rely on sensor data correctness to make decisions; therefore, faulty data can lead such systems to take wrong actions. Errors can be originated by sensor’s hardware failures or software bugs and also from
-
Testing tools for Android context-aware applications: a systematic mapping J. Braz. Comput. Soc. Pub Date : 2019-12-01 Diego R. Almeida, Patrícia D. L. Machado, Wilkerson L. Andrade
ContextMobile devices, such as smartphones, have increased their capacity of information processing and sensors have been aggregated to their hardware. Such sensors allow capturing information from the environment in which they are introduced. As a result, mobile applications that use the environment and user information to provide services or perform context-based actions are increasingly common.
-
Stochastic modeling and analysis of vapor cloud explosions domino effects in chemical plants J. Braz. Comput. Soc. Pub Date : 2019-10-31 Diego Sierra, Leonardo Montecchi, Ivan Mura
Because of the substances they process and the conditions of operation, chemical plants are systems prone to the occurrence of undesirable and potentially dangerous events. Major accidents may occur when a triggering event produces a cascading accident that propagates to other units, a scenario known as domino effect. Assessing the probability of experiencing a domino effect and estimating the magnitude
-
Using weaker consistency models with monitoring and recovery for improving performance of key-value stores J. Braz. Comput. Soc. Pub Date : 2019-10-30 Duong Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas
Consistency properties provided by most key-value stores can be classified into sequential consistency and eventual consistency. The former is easier to program with but suffers from lower performance whereas the latter suffers from potential anomalies while providing higher performance. We focus on the problem of what a designer should do if he/she has an algorithm that works correctly with sequential
-
Multi-hop Byzantine reliable broadcast with honest dealer made practical J. Braz. Comput. Soc. Pub Date : 2019-09-07 Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
We revisit Byzantine-tolerant reliable broadcast with honest dealer algorithms in multi-hop networks. To tolerate Byzantine faulty nodes arbitrarily spread over the network, previous solutions require a factorial number of messages to be sent over the network if the messages are not authenticated (e.g., digital signatures are not available). We propose modifications that preserve the safety and liveness
-
Software mediators as first-class entities of systems-of-systems software architectures J. Braz. Comput. Soc. Pub Date : 2019-08-20 Lina Garcés, Flavio Oquendo, Elisa Yumi Nakagawa
ContextIn contrast to traditional software systems that are mostly created from scratch, current software systems are engineered as a junction of systems already in operation. Examples can be found in domains, such as smart cities, crisis and emergency, IoT, big data, industry 4.0, and connected health systems. Most of them can be considered systems-of-systems (SoS), since they refer to alliances of
-
Product line architecture recovery with outlier filtering in software families: the Apo-Games case study J. Braz. Comput. Soc. Pub Date : 2019-06-24 Crescencio Lima, Wesley KG Assunção, Jabier Martinez, William Mendonça, Ivan C Machado, Christina FG Chavez
Software product line (SPL) approach has been widely adopted to achieve systematic reuse in families of software products. Despite its benefits, developing an SPL from scratch requires high up-front investment. Because of that, organizations commonly create product variants with opportunistic reuse approaches (e.g., copy-and-paste or clone-and-own). However, maintenance and evolution of a large number
-
An extended triangulation to the Marching Cubes 33 algorithm J. Braz. Comput. Soc. Pub Date : 2019-06-20 Lis Custodio, Sinesio Pesco, Claudio Silva
The Marching Cubes algorithm is arguably the most popular isosurface extraction algorithm. Since its inception, two problems have lingered, namely, triangle quality and topology correctness. Although there is an extensive literature to solve them, topology correctness is achieved in detriment of triangle quality and vice versa. In this paper, we present an extended version of the Marching Cubes 33
-
Understanding automated and human-based technical debt identification approaches-a two-phase study J. Braz. Comput. Soc. Pub Date : 2019-06-08 Rodrigo O. Spínola, Nico Zazworka, Antonio Vetro, Forrest Shull, Carolyn Seaman
ContextThe technical debt (TD) concept inspires the development of useful methods and tools that support TD identification and management. However, there is a lack of evidence on how different TD identification tools could be complementary and, also, how human-based identification compares with them.ObjectiveTo understand how to effectively elicit TD from humans, to investigate several types of tools
-
An IoT sensor and scenario survey for data researchers J. Braz. Comput. Soc. Pub Date : 2019-02-27 Cleber M. de Morais, Djamel Sadok, Judith Kelner
This work surveys Internet of Things (IoT) experimental research published since 2015. We summarize the IoT state of the art during the last 2 years and extract important data that we apply to enhance the analysis of IoT solutions. The IoT scenario presents a promising universe to data analysis. This raises a number of questions: which are its most popular applications? What is the definition of scale
-
Perspectives on how to evaluate augmented reality technology tools for education: a systematic review J. Braz. Comput. Soc. Pub Date : 2019-02-04 Manoela M. O. da Silva, João Marcelo X. N. Teixeira, Patrícia S. Cavalcante, Veronica Teichrieb
Education has benefited from augmented reality’s (AR) potential to promote interactive experiences both inside and outside the classroom. A systematic review was conducted on how AR’s impact in the learning process has been evaluated. We selected papers from 2009 to 2017 in three databases, IEEE, ACM, and Science Direct, using an open-source crawler, and in one Brazilian Conference, SBIE. We followed
-
VisminerTD: a tool for automatic identification and interactive monitoring of the evolution of technical debt items J. Braz. Comput. Soc. Pub Date : 2019-01-16 Thiago S. Mendes, Felipe G. S. Gomes, David P. Gonçalves, Manoel G. Mendonça, Renato L. Novais, Rodrigo O. Spínola
Technical debt (TD) contextualizes problems faced during software evolution considering the tasks that are not carried out adequately during software development. Software TD is a type of debt that brings a short-term benefit, but which may have to be paid with interest later on in the software development life cycle. Its presence brings risks to the project and can reduce its quality. It is worthwhile
-
Theoretical learning guarantees applied to acoustic modeling J. Braz. Comput. Soc. Pub Date : 2019-01-04 Christopher D. Shulby, Martha D. Ferreira, Rodrigo F. de Mello, Sandra M. Aluisio
In low-resource scenarios, for example, small datasets or a lack in computational resources available, state-of-the-art deep learning methods for speech recognition have been known to fail. It is possible to achieve more robust models if care is taken to ensure the learning guarantees provided by the statistical learning theory. This work presents a shallow and hybrid approach using a convolutional
-
Who drives company-owned OSS projects: internal or external members? J. Braz. Comput. Soc. Pub Date : 2018-12-01 Luis Felipe Dias, Igor Steinmacher, Gustavo Pinto
Open-source software (OSS) communities leverage the workforce of volunteers to keep the projects sustainable. Some companies support OSS projects by paying developers to contribute to them, while others share their products under OSS licenses, keeping their employees in charge of maintaining the projects. In this paper, we investigate the activity of internal (employees) and external (volunteers) developers
-
Characterizing the hyperspecialists in the context of crowdsourcing software development J. Braz. Comput. Soc. Pub Date : 2018-12-01 Anderson Bergamini de Neira, Igor Steinmacher, Igor Scaliante Wiese
Companies around the world use crowdsourcing platforms to complete simple tasks, collect product ideas, and launch advertising campaigns. Recently, crowdsourcing has also been used for software development to run tests, fix small defects, or perform small coding tasks. Among the pillars upholding the crowdsourcing business model are the platform participants, as they are responsible for accomplishing
-
An aspect-driven method for enriching product catalogs with user opinions J. Braz. Comput. Soc. Pub Date : 2018-11-28 Tiago de Melo, Altigran da Silva, Edleno S. de Moura
In this paper, we propose a method for enriching product catalogs, which traditionally include only objective data provided by manufacturers or retailers, with subjective information extracted from reviews written by customers. Our method was designed to associate opinions taken from reviews with the product attributes they refer to. This is done by matching aspect expression identified in opinions
-
Investigations into data published and consumed on the Web: a systematic mapping study J. Braz. Comput. Soc. Pub Date : 2018-11-07 Helton Douglas A. dos Santos, Marcelo Iury S. Oliveira, Glória de Fátima A. B. Lima, Karina Moura da Silva, Rayelle I. Vera Cruz S. Muniz, Bernadette Farias Lóscio
The increasing interest in using the Web as a platform for data sharing has motivated research about publishing and consuming data on the Web. While this subject is gaining importance, up until now, there are not many academic papers reviewing the approaches for publishing and consuming data on the Web. Furthermore, to the best of our knowledge, there is no systematic review of the literature that
-
On the identification of design problems in stinky code: experiences and tool support J. Braz. Comput. Soc. Pub Date : 2018-10-22 Willian Oizumi, Leonardo Sousa, Anderson Oliveira, Alessandro Garcia, Anne Benedicte Agbachi, Roberto Oliveira, Carlos Lucena
BackgroundDevelopers often have to locate design problems in the source code. Several types of design problems may manifest as code smells in the program. A code smell is a source code structure that may reveal a partial hint about the manifestation of a design problem. Recent studies suggest that developers should ignore smells occurring in isolation in a program location. Instead, they should focus
-
Combining instance selection and self-training to improve data stream quantification J. Braz. Comput. Soc. Pub Date : 2018-10-12 André G. Maletzke, Denis M. dos Reis, Gustavo E. A. P. A. Batista
In the last years, learning from data streams has attracted the attention of researchers and practitioners due to its large number of applications. These applications have motivated the research community to propose a significant amount of methods to solve problems in diverse tasks, more prominently in classification, clustering, and anomaly detection. However, a relevant task known as quantification
-
Update summarization: building from scratch for Portuguese and comparing to English J. Braz. Comput. Soc. Pub Date : 2018-09-21 Fernando Antônio Asevedo Nóbrega, Thiago Alexandre Salgueiro Pardo
Update summarization aims at automatically producing a summary for a collection of texts for a reader that has already read some previous texts about the subject of interest. It is a challenging task, since it not only brings the demands from the summarization area (as producing informative, coherent, and cohesive summaries) but also includes the issue of finding relevant new/updated content. In this
-
Influence of algorithmic abstraction and mathematical knowledge on rates of dropout from Computing degree courses J. Braz. Comput. Soc. Pub Date : 2018-08-09 Raphael Magalhães Hoed, Marcelo Ladeira, Leticia Lopes Leite
This paper presents a study of rates of dropout from Brazilian degree courses, based on data provided by the National Institute for Educational Studies and Research “Anísio Teixeira” (INEP) and a case study carried out at the University of Brasilia (UnB). Dropout was calculated by tracking the status of each student between 2010 and 2014 in the eight major areas according to the classification of the
-
Referenceless image quality assessment by saliency, color-texture energy, and gradient boosting machines J. Braz. Comput. Soc. Pub Date : 2018-08-06 Pedro Garcia Freitas, Welington Y. L. Akamine, Mylène C. Q. Farias
In most practical multimedia applications, processes are used to manipulate the image content. These processes include compression, transmission, or restoration techniques, which often create distortions that may be visible to human subjects. The design of algorithms that can estimate the visual similarity between a distorted image and its non-distorted version, as perceived by a human viewer, can
-
On the logic of theory change: iteration of expansion J. Braz. Comput. Soc. Pub Date : 2018-07-05 Eduardo Fermé, Renata Wassermann
Constructing models that allow for iterated changes is one of the most studied problems in the literature on belief change. However, up to now, iteration of expansion was only studied as a special case of consistent revision and, as far we know, there is no work in the literature that deals with expansions into inconsistency in a supraclassical framework.In this paper, we provide a semantics for iterated
-
Rational Erdös number and maximum flow as measurement models for scientific social network analysis J. Braz. Comput. Soc. Pub Date : 2018-07-04 Victor Ströele, Renato Crivano, Geraldo Zimbrão, Jano M. Souza, Fernanda Campos, José Maria N. David, Regina Braga
In social network analysis, the detection of communities—composed of people with common interests—is a classical problem. Moreover, people can somehow influence any other in the community, i.e., they can spread information among them. In this paper, two models are proposed considering information diffusion strategies and the identification of communities in a scientific social network built through
-
Comparative study on point and line thermographic inspection for fiber orientation assessment of randomly oriented strand material J. Braz. Comput. Soc. Pub Date : 2018-07-04 Henrique Fernandes, Hai Zhang, Alisson A.A. Figueiredo, Fernando Malheiros, Luis Henrique Ignaicio, Clemente Ibarra-Castanedo, Xavier Maldague
Composite materials are being successfully used in aeronautics for more than two decades. This great success is mainly because this kind of materials is typically lighter when compared to metals and more resistant to corrosion. Resistance and stiffness of composite materials are usually related to their fiber orientation. The development of non-destructive methods is required to assess this kind of
-
Running resilient MPI applications on a Dynamic Group of Recommended Processes J. Braz. Comput. Soc. Pub Date : 2018-03-12 Edson Tavares de Camargo, Elias P. Duarte
High-performance computing systems run applications that can take several hours to execute and have to deal with the occurrence of a potentially large number of faults. Most of the existing fault-tolerant strategies for these systems assume crash faults that are permanent events are easily detected. This is not the case in several real systems, in particular in shared clusters, in which even the load
-
On the inclusion of learners with visual impairment in computing education programs in Brazil: practices of educators and perceptions of visually impaired learners J. Braz. Comput. Soc. Pub Date : 2018-02-01 Leandro Luque, Leônidas O. Brandão, Elisabeti Kira, Anarosa A. F. Brandão
BackgroundIndividuals with visual impairment face varied challenges when attending education programs in many fields and levels. In computing education programs, the frequent required use of charts, graphs, and diagrams poses additional challenges to their inclusion. In order to inform and to establish appropriate action plans for a more inclusive scenario, it is important to gather information from
-
ObasCId(-Tool): an ontologically based approach for concern identification and classification and its computational support J. Braz. Comput. Soc. Pub Date : 2018-01-11 Paulo Afonso Parreira Júnior, Rosângela Aparecida Dellosso Penteado
The aspect-oriented requirements engineering (AORE) area intends to provide more appropriated strategies for software concern identification, classification (as crosscutting or non-crosscutting), and modularization, in the early phases of software development cycle. A commonly reported issue about the existing AORE approaches is the lack of appropriated resources (guidelines, processes, catalogs, among
-
IOMMU protection against I/O attacks: a vulnerability and a proof of concept J. Braz. Comput. Soc. Pub Date : 2018-01-09 Benoît Morgan, Éric Alata, Vincent Nicomette, Mohamed Kaâniche
Input/output (I/O) attacks have received increasing attention during the last decade. These attacks are performed by malicious peripherals that make read or write accesses to DRAM memory or to memory embedded in other peripherals, through DMA (Direct Memory Access) requests. Some protection mechanisms have been implemented in modern architectures to face these attacks. A typical example is the IOMMU
-
Convergence and covering on graphs for wait-free robots J. Braz. Comput. Soc. Pub Date : 2018-01-08 Armando Castañeda, Sergio Rajsbaum, Matthieu Roy
The class of robot convergence tasks has been shown to capture fundamental aspects of fault-tolerant computability. A set of asynchronous robots that may fail by crashing, start from unknown places in some given space, and have to move towards positions close to each other. In this article, we study the case where the space is uni-dimensional, modeled as a graph G. In graph convergence, robots have
-
Testing data-centric services using poor quality data: from relational to NoSQL document databases J. Braz. Comput. Soc. Pub Date : 2017-12-01 Nuno Laranjeiro, Seyma Nur Soydemir, Naghmeh Ivaki, Jorge Bernardino
Businesses are nowadays deploying their services online, reaching out to clients all around the world. Many times deployed as web applications or web services, these business-critical systems typically perform large amounts of database operations; thus, they are dependent on the quality of the data to provide correct service to clients. Research and practice have shown that the quality of the data
-
An autonomic hierarchical reliable broadcast protocol for asynchronous distributed systems with failure detection J. Braz. Comput. Soc. Pub Date : 2017-12-01 Denis Jeanneau, Luiz A. Rodrigues, Luciana Arantes, Elias P. Duarte
Reliable broadcast is a fundamental building block in fault-tolerant distributed systems. It consists of a basic primitive that provides agreement among processes of the system on the delivery of each broadcast message, i.e., either none or all correct processes deliver the message, despite failures of processes. In this work, we propose a reliable broadcast solution on top of VCube, assuming that
-
Stimuli-SoS: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures J. Braz. Comput. Soc. Pub Date : 2017-10-13 Valdemar Vicente Graciano Neto, Carlos Eduardo Barros Paes, Lina Garcés, Milena Guessi, Wallace Manzano, Flavio Oquendo, Elisa Yumi Nakagawa
BackgroundSystems-of-systems (SoS) are alliances of independent and interoperable software-intensive systems. SoS often support critical domains, being required to exhibit a reliable operation, specially because people’s safety relies on their services. In this direction, simulations enable the validation of different operational scenarios in a controlled environment, allowing a benchmarking of its
-
DCL 2.0: modular and reusable specification of architectural constraints J. Braz. Comput. Soc. Pub Date : 2017-08-16 Henrique Rocha, Rafael Serapilha Durelli, Ricardo Terra, Sândalo Bessa, Marco Túlio Valente
BackgroundDue to the abstract nature of software architecture concepts, ensuring the correct implementation of architectural decisions is not a trivial task. Divergences between the planned architecture and source code may occur in the early stages of the software development, which denotes a phenomenon known as software architecture erosion. Architectural conformance checking techniques have been