Subscribe to this collection to receive daily e-mail notification of new additions

Issue Date	Title	Author(s)
2015	System support for self-adaptive Cyber-Physical Systems	Andrade, Rossana Maria de Castro; Maia, Marcio Espíndola Freire
2020	Uma Abordagem em Visualização Analítica para Dados Geocodificados de Crimes	Santos, Emanuele Marques dos; Queiroz Neto, José Florencio de; Vidal, Creto Augusto
2020	Adaptação de modelos baseados em splats para superfícies e arestas curvas	Vidal, Creto Augusto; Ivo, Rafael Fernandes; Cavalcante Neto, Joaquim Bento
2019	Synthesis of first-order sentences using Ehrenfeucht–Fraïssé games and Boolean satisfiability	Martins, Ana Teresa de Castro; Rocha, Thiago Alves; Ferreira, Francicleber Martins
2019	Modelagem multigrafo, decomposição e BRKGA para o problema da árvore geradora generalizada mínima	Andrade, Rafael Castro; Sousa, Ernando Gomes de; Duhamel, Andréa Cynthia Santos
2019	A abstração de contratos contextuais para alocação de recursos de sistemas de computação paralela orientados a componentes em nuvens	Carvalho Junior, Francisco Heron de; Al-Alam, Wagner Guimarães
2018	SCUDO: Secure CloUd storage service for Detecting viOlations of security properties in a data sharing environment	Andrade, Rossana Maria de Castro; Carvalho, Carlos André Batista de; Castro, Miguel Franklin de
2019	Correlate & lead: process and catalog of non-functional requirements correlations in ubicomp and iot systems	Andrade, Rossana Maria de Castro; Carvalho, Rainara Maia; Oliveira, Káthia Marçal de
2019	Parameterized complexity investigations on the first-order satisfiability and matching problems	Martins, Ana Teresa de Castro; Morais, Luis Henrique Bustamante de; Ferreira, Francicleber Martins
2019	Balancing and transposition of maps for location-based games	Trinta, Fernando Antonio Mota; Silva, Luís Fernando Maia Santos; Carvalho, Windson Viana de
2019	Uma abordagem para a investigação de padrões de movimento e de comportamento de indivíduos empregando análise visual de Predictive Suffix Trees	Vidal, Creto Augusto; Leite Júnior, Antonio José Melo; Santos, Emanuele Marques dos
2019	Mathematical programming approaches for NP-Hard constrained shortest path problems	Andrade, Rafael Castro de; Saraiva, Rommel Dias
2019	Sistema de apoio a decisão para implantar uma aplicação baseada em microsserviços em um ambiente multi-cloud	Trinta, Fernando Antonio Mota; Carvalho, Juliana Oliveira de; Conceição, Dário Vieira
2019	Uma técnica de decomposição de domínios a priori para geração automática de malhas tetraédricas em paralelo	Cavalcante Neto, Joaquim Bento; Teixeira, Daniel Nascimento; Vidal, Creto Augusto
2018	Smart Shadow - Predictive computing resources allocation for smart devices in the mist computing environment	Andrade, Rossana Maria de Castro; Vasconcelos, Danilo Reis de; Souza, José Neuman de
2019	The geodesic classification problem on graphs	Campêlo Neto, Manoel Bezerra; Araújo, Paulo Henrique Macêdo de; Corrêa, Ricardo Cordeiro
2019	Densidade mínima de códigos de identificação em grades	Sampaio, Rudini Menezes; Dantas, Rennan Ferreira
2019	Feature selection with low correlated binary features for potential tax fraudsters classification	Monteiro Filho, José Maria da Silva; Matos, Raimundo Tales Benigno Rocha; Macêdo, José Antônio Fernandes de
2019	Um modelo orientado ao négocio para suporte à tomada de decisão multicritério no gerenciamento de capacidade em provedores IAAS	Souza, José Neuman de; Fenner, Germano; Lima, Alberto Sampaio
2016	Applying smart decisions, adaptive monitoring and mobility support for enhancing offloading systems	Souza, José Neuman de; Rego, Paulo Antonio Leal; Trinta, Fernando Antonio Mota