Sort by
Previous Page Page 2 of 13 Next Page
  1. Research

    Bounded model checking for fixed-point digital filters

    Currently, digital filters are employed in a wide range of signal processing applications, using fixed- and floating-point processors. Regarding the former, some filter implementations may be highly prone to e...

    Renato B. Abreu, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Eddie B. de Lima Filho and Waldir S. da Silva Jr

    Journal of the Brazilian Computer Society 2016 22:1

    Published on: 20 May 2016

  2. Research

    Testing of aspect-oriented programs: difficulties and lessons learned based on theoretical and practical experience

    Since the first discussions of new challenges posed by aspect-oriented programming (AOP) to software testing, the real difficulties of testing aspect-oriented (AO) programs have not been properly analysed. Fir...

    Fabiano C. Ferrari, Bruno B. P. Cafeo, Thiago G. Levin, Jésus T. S. Lacerda, Otávio A. L. Lemos, José C. Maldonado and Paulo C. Masiero

    Journal of the Brazilian Computer Society 2015 21:20

    Published on: 20 November 2015

  3. Research

    A hybrid particle swarm optimization and harmony search algorithm approach for multi-objective test case selection

    Test case (TC) selection is considered a hard problem, due to the high number of possible combinations to consider. Search-based optimization strategies arise as a promising way to treat this problem, as they exp...

    Luciano Soares de Souza, Ricardo Bastos Cavalcante Prudêncio and Flávia A. de Barros

    Journal of the Brazilian Computer Society 2015 21:19

    Published on: 10 November 2015

  4. Research

    Complexity of greedy edge-colouring

    The Grundy index of a graph G =(V, E) is the greatest number of colours that the greedy edge-colouring algorithm can use on G. We prove that the problem of determining the Grundy index of a graph G=(V, E) is NP-h...

    Frédéric Havet, A. Karolinna Maia and Min-Li Yu

    Journal of the Brazilian Computer Society 2015 21:18

    Published on: 9 November 2015

  5. Research

    Utterance copy through analysis-by-synthesis using genetic algorithm

    Utterance copy consists in estimating the input parameters to reconstruct a speech signal using a speech synthesizer. This process is distinct from the more traditional text-to-speech but yet used in many area...

    Fabíola Araújo, Aldebaro Klautau and José Filho

    Journal of the Brazilian Computer Society 2015 21:17

    Published on: 8 October 2015

  6. Research

    Improving workflow design by mining reusable tasks

    With the increasing popularity of scientific workflow management systems (SWfMS), more and more workflow specifications are becoming available. Such specifications contain precious knowledge that can be reused...

    Frederico E. Tosta, Vanessa Braganholo, Leonardo Murta and Marta Mattoso

    Journal of the Brazilian Computer Society 2015 21:16

    Published on: 5 October 2015

  7. Research

    Software engineering research in Brazil from the perspective of young researchers: a panorama of the last decade

    After graduating and starting a career as a professor, a young researcher usually finds him/herself lost due to a huge amount of new obligations and opportunities. Choosing the best strategy to guide his/her c...

    Arilo C. Dias-Neto, Rafael Prikladnicki, Márcio de O. Barros and Leonardo G. P. Murta

    Journal of the Brazilian Computer Society 2015 21:14

    Published on: 26 August 2015

  8. Research

    A novel caching algorithm for VoD proxy implementation and its evaluation including a new set of metrics for efficiency analysis

    Video on demand (VoD) is a fast-growing digital service that requires a substantial amount of hardware resources for its implementation. To reduce the costs of running this service, an alternative is to use pr...

    Bruno S Neves, Anderson S Venturini and Altamiro A Susin

    Journal of the Brazilian Computer Society 2015 21:8

    Published on: 3 August 2015

  9. Research

    A combined approach for concern identification in KDM models

    Systems are considered legacy when their maintenance costs raise to unmanageable levels, but they still deliver valuable benefits for companies. One intrinsic problem of this kind of system is the presence of ...

    Daniel San Martín Santibáñez, Rafael Serapilha Durelli and Valter Vieira de Camargo

    Journal of the Brazilian Computer Society 2015 21:10

    Published on: 1 August 2015

  10. Research

    Evaluation of linear relaxations in Ad Network optimization for online marketing

    Ad Networks connect advertisers to websites that want to host advertisements. When users request websites, the Ad Network decides which ad to send so as to maximize the number of ads that are clicked by users....

    Valdinei Freire, Flávio Sales Truzzi, Anna Helena Reali Costa and Fabio Gagliardi Cozman

    Journal of the Brazilian Computer Society 2015 21:13

    Published on: 23 July 2015

  11. Research

    Generalized probabilistic satisfiability through integer programming

    This paper studies the generalized probabilistic satisfiability (GPSAT) problem, where the probabilistic satisfiability (PSAT) problem is extended by allowing Boolean combinations of probabilistic assertions a...

    Glauber De Bona, Fabio G. Cozman and Marcelo Finger

    Journal of the Brazilian Computer Society 2015 21:11

    Published on: 15 July 2015

  12. Research

    Evaluation of cutoff policies for term extraction

    This paper presents a policy to choose cutoff points to identify potentially relevant terms in a given domain. Term extraction methods usually generate term lists ordered according to a relevance criteria, and...

    Lucelene Lopes and Renata Vieira

    Journal of the Brazilian Computer Society 2015 21:9

    Published on: 14 July 2015

  13. Research

    Searching contexts in paraconsistent rough description logic

    Query refinement is an interactive process of query modification used to increase or decrease the scope of search results in databases or ontologies.

    Henrique Viana, João Alcântara and Ana Teresa Martins

    Journal of the Brazilian Computer Society 2015 21:7

    Published on: 7 July 2015

  14. Research

    Reachability-based model reduction for Markov decision process

    This paper presents how to improve model reduction for Markov decision process (MDP), a technique that generates equivalent MDPs that can be smaller than the original MDP. In order to improve the current state...

    Felipe M Santos, Leliane N Barros and Felipe W Trevizan

    Journal of the Brazilian Computer Society 2015 21:5

    Published on: 27 May 2015

  15. Research

    Open information extraction based on lexical semantics

    Open Information Extraction (Open IE) aims to obtain not predefined, domain-independent relations from text. This article introduces the Open IE research field, thoroughly discussing the main ideas and systems...

    Clarissa Castellã Xavier, Vera Lúcia Strube de Lima and Marlo Souza

    Journal of the Brazilian Computer Society 2015 21:4

    Published on: 6 May 2015

  16. Research

    ApproxMap - a method for mapping blank nodes in RDF datasets

    Versioning has proven to be essential in areas like software development or data and knowledge management. For systems or applications making use of documents formatted according to the Resource Description Fr...

    Juliano de Almeida Monte-Mor and Adilson Marques da Cunha

    Journal of the Brazilian Computer Society 2015 21:3

    Published on: 28 April 2015

  17. Research

    An open-source rule-based syllabification tool for Brazilian Portuguese

    The automatic syllabification process is an essential prerequisite for speech synthesis systems. However, the task is not trivial, and several techniques have been adopted over the last decade. Furthermore, wh...

    Nelson Neto, Willian Rocha and Gleidson Sousa

    Journal of the Brazilian Computer Society 2015 21:1

    Published on: 28 January 2015

  18. Research

    On the parallel efficiency and scalability of the correntropy coefficient for image analysis

    Similarity measures have application in many scenarios of digital image processing. The correntropy is a robust and relatively new similarity measure that recently has been employed in various engineering appl...

    Aluisio I Rêgo Fontes, Samuel Xavier-de-Souza, Adrião D Dória Neto and Luiz Felipe de Queiroz Silveira

    Journal of the Brazilian Computer Society 2014 20:18

    Published on: 16 October 2014

  19. Research

    Optimizing metric access methods for querying and mining complex data types

    There are several application scenarios that can take advantage from the efficient processing of similarity operations in complex data types, such as multimedia data. Among them, it is possible to mention the ...

    Jessica Andressa de Souza, Humberto Luiz Razente and Maria Camila N Barioni

    Journal of the Brazilian Computer Society 2014 20:17

    Published on: 13 September 2014

Previous Page Page 2 of 13 Next Page