Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 73
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 |
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 73