DSpace/Manakin Repository

Navegação Artigo Publicado em Periódico (PGCOMP) por título

Navegação Artigo Publicado em Periódico (PGCOMP) por título

Classificar por: Ordenar: Resultados:

  • Lewitzka, Steffen (2007)
    What is a logic? Which properties are preserved by maps between logics? What is the right notion for equivalence of logics? In order to give satisfactory answers we generalize and further develop the topological approach ...
  • Almeida, Eduardo Santana de; O'Leary, Pádraig; Silva, Ivonei Freitas da; Silveira Neto, Paulo Anselmo da Mota; Silveira Neto, Paulo Anselmo da Mota; Meira, Silvio Romero de Lemos (2011)
    Background: Software product lines and Agile methods have been an effective solution for dealing with the growing complexity of software and handling competitive needs of software organizations. They also share common ...
  • Araújo, Francisco Renato Cavalcante; Madureira, André Luiz Romano; Sampaio, Leobino Nascimento (Universidade Federal da BahiaUFBABrasil, 2021-08-16)
    In Named Data Networks (NDN), the name-based routing model predominantly benefits applications characterized by static content (i.e., content). Traditional NDN in-network caching is not suitable for dynamic content (i.e., ...
  • Figueiredo, Gustavo B.; Fonseca, Nelson L. S. da (2013)
    This paper presents a novel channel scheduling policy for optical burst switching networks called least reusable channel (LRC). LRC decides to which interval of the output channel (void) an incoming burst should be allocated ...
  • Teixeira, Cesar Augusto Camillo; Melo, Erick Lazaro; Freitas, Giliard B.; Santos, Celso Alberto Saibel; Pimentel, Maria da Graça Campos (2011-07)
    In this paper we discuss the problem of how to discriminate moments of interest on videos or live broadcast shows. The primary contribution is a system which allows users to personalize their programs with previously created ...
  • Santos, Alcemir; Almeida, Eduardo (ACM, 2015-11)
    Two mechanisms widely used in the Software Product Lines (SPL) Engineering are the feature model and the conditional compilation. The former models the variability in the problem space and the latter realizes it in the ...
  • Oliveira, Leandro de; Claro, Daniela Barreiro (2019-10-09)
    It is estimated that more than 80% of the information on the Web is stored in textual form. For humans, the task of extracting useful information from data that comes up daily is difficult. In order to automate the process, ...
  • Macêdo, Raimundo José de Araújo; Freitas, Allan Edgard Silva; Sá, Alirio Santos de (2013)
    Group communication protocols (GCPs) play an important role in the design of modern distributed systems. A typical GCP exchanges control messages to provide message delivery guarantees, and a key point in the configuration ...
  • Oliveira, Raphael Pereira de; Santos, Alcemir Rodrigues; Almeida, Eduardo Santana de; Gomes, Gecynalda Soares da Silva (ElsevierBrasil, 2016-08)
    The evolution of a single system is a task where we deal with the modification of a single product. Lehman’s Laws of software evolution were broadly evaluated within this type of system and the results shown that these ...
  • Greve, Fabíola; Sens, Pierre; Arantes, Luciana; Simon, Véronique (2012)
    The distributed computing scenario is rapidly evolving for integrating self-organizing and dynamic wireless networks. Unreliable failure detectors (FDs) are classical mechanisms that provide information about process ...
  • Souza, Iuri Santos; Gomes, Gecynalda Soares da Silva; Silveira Neto, Paulo Anselmo da Mota; Machado, Ivan do Carmo; Almeida, Eduardo Santana de; Meira, Silvio Romero de Lemos (Journal of Systems and Software, 2013)
    In software product lines (SPL), scoping is a phase responsible for capturing, specifying and modeling features, and also their constraints, interactions and variations. The feature specification task, performed in this ...
  • Macedo, Márcio Cerqueira de Farias; Apolinário Júnior, Antonio Lopes (Elsevier, 2015-09)
    Focus plus context visualization can be used in augmented reality to improve the visual perception of the augmented scene. In the scope of in situ or on-patient medical data visualization, the focus plus context paradigm ...
  • Macedo, Márcio Cerqueira de Farias; Apolinário Júnior, Antonio Lopes; Souza, Antonio Carlos dos Santos; Giraldi, Gilson Antônio (SBCBrasil, 2014)
    To provide on-patient medical data visualization, a medical augmented reality environment must support volume rendering, accurate tracking, real-time performance and high visual quality in the final rendering. Another ...
  • O’Leary, Pádraig; Rabiser, Rick; Richardson, Ita (2011)
    More and more organizations adopt software product lines to leverage extensive reuse and deliver a multitude of benefits such as increased quality and productivity and a decrease in cost and time-to-market of their software ...
  • Macedo, Márcio Cerqueira de Farias; Apolinário Júnior, Antonio Lopes; Souza, Antonio Carlos dos Santos (SBC, 2013)
    In this paper we present an extension to the KinectFusion algorithm that allows a robust real-time face tracking and modeling using the Microsoft’s Kinect sensor. This is achieved changing two steps of the original algorithm: ...
  • Sant'Anna, Cláudio Nogueira; Garcia, Alessandro; Batista, Thais Vasconcelos; Rashid, Awais (2013)
    When reflecting upon driving system requirements such as security and availability, software architects often face decisions that have a broadly scoped impact on the software architecture. These decisions are the core of ...
  • Regnier, Paul Denis Etenne; Lima, George Marconi de Araújo; Massa, Ernesto; Levin, Greg; Brandt, Scott (Springer, 2012-11)
    Optimal multiprocessor real-time schedulers incur significant overhead for preemptions and migrations. We present RUN, an efficient scheduler that reduces the multiprocessor problem to a series of uniprocessor problems. ...
  • Dourado, Raphael A.; Sampaio, Leobino N.; Monteiro, José A. Suruagy (2013)
    Despite the advances achieved by service oriented architectures adoption, data originated from measurements are still used in an isolated manner. In multi-domain network scenarios, performance information needs to be ...
  • Wohlin, Claes; Runeson, Per; Silveira Neto, Paulo Anselmo da Mota; Engström, Emelie; Machado, Ivan do Carmo; Almeida, Eduardo Santana de (2013)
    Background: Systematic literature reviews and systematic mapping studies are becoming increasingly common in software engineering, and hence it becomes even more important to better understand the reliability of such ...
  • Nascimento, Debora Maria Coelho; Bittencourt, Roberto Almeida; Chavez, Christina von Flach Garcia (Taylor and Francis Online, 2015)
    Context: It is common practice in academia to have students work with “toy” projects in software engineering (SE) courses. One way to make such courses more realistic and reduce the gap between academic courses and industry ...