anais-csbc-2017.pdf - SoPaul o SP Anai s Or gani zador es...

This preview shows page 1 out of 2645 pages.

Unformatted text preview: SãoPaul o, SP Anai s Or gani zador es Luci anoSi l va Mar i aAmel i aEl i seo Ni zam Omar SãoPaul o,2017 © Sociedade Brasileira de Computação, 2017 - Todos os direitos reservados DESIGN GRÁFICO [DIAGRAMAÇÃO]: Gustavo Rorato Gentil; REVISÃO DE TEXTO: dos autores; Organização dos Anais: Luciano Silva, Maria Amelia Eliseo e Nizam Omar. Dados Internacionais de Catalogação na Publicação (CIP) S678 Sociedade Brasileira de Computação. Congresso. (37. : 2017 : São Paulo, SP) Anais do XXXVII congresso da sociedade brasileira de computação : #ComputaçãoParaTudoeParaTod*s [recurso eletrônico] / organizadores: Luciano Silva, Maria Amelia Eliseo, Nizam Omar. – Dados eletrônicos. – São Paulo : Sociedade Brasileira de Computação, 2017. Modo de acesso: ISSN: 2175-2761 1. Informática – Congressos. I. Silva, Luciano. II. Eliseo, Maria Amelia. III. Omar, Nizam. CDD 24. ed. 004.06081 Diretoria da Sociedade Brasileira de Computação (SBC) Presidente Lisandro Zambenedetti Granville (UFRGS) Vice-Presidente Thais Vasconcelos Batista (UFRN) Diretora Administrativa Renata de Matos Galante (UFRGS) Diretor de Finanças Carlos André Guimarães Ferraz (UFPE) Diretor de Eventos e Comissões Especiais Antônio Jorge Gomes Abelém (UFPA) Diretor de Educação Avelino Francisco Zorzo (PUCRS) Diretor de Publicações José Viterbo Filho (UFF) Diretora de Planejamento e Programas Especiais Claudia Lage Rebello da Motta (UFRJ) Diretor de Secretarias Regionais Marcelo Duduchi Feitosa (CEETEPS) Diretora de Divulgação e Marketing Eliana Almeida (UFAL) Diretor de Relações Profissionais Roberto da Silva Bigonha (UFMG) Diretor de Competições Científicas Ricardo de Oliveira Anido (UNICAMP) Diretor de Cooperação com Sociedades Científicas Raimundo José de Araújo Macêdo (UFBA) Diretor de Articulação com Empresas Sergio Soares (UFPE) Comitê de Organização Coordenação Geral do CSBC 2017 Nizam Omar (Mackenzie), Luciano Silva (Mackenzie) Equipe Organizadora Beatriz de Almeida Pacheco (Mackenzie), Calebe de Paula Biachini (Mackenzie), Fábio Silva Lopes (Mackenzie), Ilana de Almeida Concílio (Mackenzie), Ismar Frango Silveira (Mackenzie), Leandro Augusto da Silva (Mackenzie), Leandro Nunes de Castro (Mackenzie), Maria Amelia Eliseo (Mackenzie), Pedro Henrique Cacique Braga (Mackenzie), Pollyana Notargiacomo (Mackenzie), Takato Kurihara (Mackenzie), Valeria Farinazzo (Mackenzie), Vivaldo José Breternitz (Mackenzie) Coordenação dos Eventos 2º Cloudscape - Cloudscape Brazil: Geral: Priscila Solis (UNB) - Local: Calebe de Paula Biachini (Mackenzie) (UNIRIO) - Local: Leandro Augusto da Silva (Mackenzie) 2º ETC - Encontro de Teoria da Computação: Geral: Cláudia Linhares Sales (UFC), Rosiane de Freitas (UFAM) - Local: Pedro P. B. de Oliveira (Universidade Presbiteriana Mackenzie) 6º DesafIE! - Workshop de Desafios da Computação Aplicada à Educação: Geral: Edson Pinheiro Pimentel (UFABC), Thiago Barcelos (Instituto Federal de São Paulo) - Local: Beatriz de Almeida Pacheco (Mackenzie) 2º WCN - Workshop on Cloud Networks: Geral: Wagner Meira Jr. (DCC/UFMG), Priscila Solis (UnB), Marco Vieira (UC) - Local: Calebe de Paula Bianchini (Mackenzie) 8º WCAMA - Workshop de Computação Aplicada à Gestão do Meio Ambiente e Recursos Naturais: Geral: Antonio Mauro Saraiva (Universidade de São Paulo) 2º Workshop do testbed FIBRE: usando testbeds de Internet do Futuro para aprendizado de Redes de Computadores: Geral: Iara Machado (RNP) - Local: Dirceu Matheus Junior (Mackenzie) 9º SBCUP - Simpósio Brasileiro de Computação Ubíqua e Pervasiva: Geral: Raquel Aparecida de Freitas Mini (PUC Minas), Adenauer Corrêa Yamin (UCPEL/UFPEL) - Local: Ana Grasielle Dionísio Corrêa (Mackenzie) 4º ENCompIF - Encontro Nacional de Computação dos Institutos Federais: Geral: Carlos Roberto de Oliveira Junior (IFRJ) - Local: Takato Kurihara (Mackenzie) 11º BreSci - Brazilian e-Science Workshop: Geral: Rafaelli Coutinho (CEFET-RJ), Emanuele Santos (UFC) Local: Fábio Silva Lopes (Mackenzie) 4º WPIETFIRTF - Workshop PréIETF-IRTF: Geral: Alvaro Retana (Cisco - BR), Christian O'Flaherty (Internet Society - UY), Julião Braga (Mackenzie - BR), Leandro Melo de Sales (UFAL - BR), Lisandro Zambenedetti Granville (UFRGS - BR) - Local: Dirceu Matheus Junior (Mackenzie) 5º WTranS - Workshop de Transparência em Sistemas: Geral: Claudia Cappelli (UNIRIO), Vanessa Nunes (UnB) - Local: Ilana de Almeida Concilio (Mackenzie) 6º BraSNAM - Brazilian Workshop on Social Network Analysis and Mining: Geral: Giseli Rabello Lopes (UFRJ), Rodrigo Pereira dos Santos 11º WIT - Women in Information Technology: Geral: Sílvia Amélia Bim (UTFPR), Tanara Lauschner (UFAM) Local: Ana Cristina dos Santos (Mackenzie) 14º SBSC - Simpósio Brasileiro de Sistemas Colaborativos: Geral: Maria Amelia Eliseo (Universidade Presbiteriana Mackenzie), Jane de Almeida (Universidade Presbiteriana Mackenzie) - Local: Valéria Farinazzo (Universidade Presbiteriana Mackenzie) 16º WPerformance - Workshop em Desempenho de Sistemas Computacionais e de Comunicação: Geral: Carlos Alberto Vieira Campos (UNIRIO), Danielo G. Gomes (UFC) Local: Dirceu Matheus Jr. (Mackenzie) 17º WIM - Workshop de Informática Médica: Geral: Lucas Ferrari de Oliveira (UFPR) - Local: Valéria Farinazzo Martins (Universidade Presbiteriana Mackenzie) 18º CQ - Curso de Qualidade: Geral: Ronaldo Correia (UNESP) – Local: Fabio Silva Lopes (Mackenzie) 19º COMPUTEC - Seminário de Computação e Mercado: Geral: Renato Cerqueira (IBM) – Local: Vinicius Miana Bezerra (Mackenzie) 25º WEI - Workshop sobre Educação em Computação: Geral: Leandro Galvão (UFAM), Simone Martins (UFF) – Local: Ismar Frango Silveira (Mackenzie) 30º CTD - Concurso de Teses e Dissertações: Geral: Elisa Yumi Nakagawa (USP - São Carlos) – Local: Leandro Nunes de Castro (Mackenzie) 36º CTIC - Concurso de Trabalhos de Iniciação Científica: Geral: Carlos de Salles Soares Neto (UFMA) – Local: Pollyana Notargiacomo (Mackenzie) 36º JAI - Jornadas de Atualização em Informática: Geral: Flávia Coimbra Delicato (UFRJ), Paulo de Figueiredo Pires (UFRJ) – Local: Ismar Frango Silveira (Mackenzie) 43º SECOMU - Seminário de Computação na Universidade: Geral: Fabio Kon (USP) – Local: Luciano Silva (Mackenzie) 44º SEMISH - Seminário Integrado de Software e Hardware: Geral: José Augusto Suruagy Monteiro (UFPE) – Local: Calebe de Paula Bianchini (Mackenzie) Sumário Apresentação ................................................................................................................ 10 2º Cloudscape - Cloudscape Brazil ............................................................................. 11 2º ETC - Encontro de Teoria da Computação .......................................................... 13 2º WCN - Workshop on Cloud Networks ................................................................ 178 2º Workshop do testbed Fibre - FIBRE ................................................................... 180 4º ENCompIF - Encontro Nacional de Computação dos Institutos Federais ...... 202 4º WPIETFIRTF - Workshop Pré-IETF-IRTF ...................................................... 279 5º WTranS - Workshop de Transparência em Sistemas ........................................ 374 6º BraSNAM - Brazilian Workshop on Social Network Analysis and Mining .... 468 6º DesafIE! - Workshop de Desafios da Computação aplicada à Educação ........ 688 8º WCAMA - Workshop de Computação Aplicada à Gestão do Meio Ambiente e Recursos Naturais ...................................................................................................... 787 9º SBCUP - Simpósio Brasileiro de Computação Ubíqua e Pervasiva ................. 850 11º BreSci - Brazilian e-Science Workshop ........................................................... 1038 11º WIT - Women in Information Technology ..................................................... 1124 14º SBSC - Simpósio Brasileiro de Sistemas Colaborativos ................................ 1261 16º WPerformance - Workshop em Desempenho de Sistemas Computacionais e de Comunicação ............................................................................................................ 1610 17º WIM - Workshop de Informática Médica ...................................................... 1786 18º CQ - Curso de Qualidade ................................................................................. 2080 19º COMPUTEC - Seminário de Computação e Mercado .................................. 2082 25º WEI - Workshop sobre Educação em Computação ...................................... 2084 30º CTD - Concurso de Teses e Dissertações ........................................................ 2337 36º CTIC - Concurso de Trabalhos de Iniciação Científica ................................ 2439 36º JAI - Jornadas de Atualização em Informática .............................................. 2531 43º SECOMU - Seminário de Computação na Universidade .............................. 2539 44º SEMISH - Seminário Integrado de Software e Hardware ............................ 2541 Apresentação A 37ª Edição do Congresso da Sociedade Brasileira de Computação traz para São Paulo – Capital, a comunidade brasileira de Computação para discutir o tema “Computação para Tudo e Tod*s” em um momento crítico da Sociedade Brasileira, em que as principais instituições nacionais estão sob julgamento. As sociedades científicas têm por obrigação apresentar alternativas para que essas questões sejam revertidas em novos rumos para o Brasil. A Computação tem sido o principal vetor das grandes mudanças pelas quais o mundo vem passando, estando presente no dia a dia das pessoas, seja de que área for e de qual seja o seu nível social ou econômico. As novas gerações além de dispor de ferramentas tecnológicas para o dia a dia utilizam-nas para dar suporte ao seu aprendizado de disciplinas como Matemática, Português, História, etc., levando-as a reengendrar o seu uso e buscando o “aprender a fazer computação” no seu cotidiano. O tema proposto para este evento traz o desafio de que o Pensamento Computacional não é mais apenas dos profissionais da área, mas de tod*s sem qualquer distinção. A Sociedade Brasileira de Computação (SBC) tem incentivado iniciativas que permitem a inclusão ao universo das tecnologias da informação e comunicação (TICs). A Faculdade de Computação e Informática da Universidade Presbiteriana Mackenzie dá as boas-vindas aos congressistas e os incentiva a conhecerem e debaterem as novidades que serão apresentadas nas palestras e sessões científicas, bem como, a trocar experiências e construir relacionamentos. Agradecemos aos nossos patrocinadores CGI.Br, Qualcomm, Três Corações, Spri nger e aos órgãos de formento MackPesquisa, FAPESP e CNPq. Agradecemos a SBC pela confiança e suporte durante a planejamento e execução do projeto CSBC 2017. Agradecemos, também, a Universidade Presbiteriana Mackenzie e Instituto Presbiteriano Mackenzie pelo suporte de todos os seus setores durante o planejamento e realização do evento. Finalmente, nossos agradecimentos a todos os associados da SBC que estiveram conosco nestes dias muito produtivos do evento. Comissão Organizadora do CSBC 2017 2º Cloudscape - Cloudscape Brazil 2º Cloudscape - Cloudscape Brazil Apresentação With the Communication on the data-driven economy (COM(2014)442 final), the European Council (EC) aims to accelerate the transition towards a single digital market, where cloud computing, big data, cyber security, 5G and Internet of Things are considered key building block technologies. In Brazil, the National Strategy for Science, Technology and Innovation (ENCTI) promotes Science, Technology and Innovation as a supporting axis for the economic and social growth of the country. Its Strategic Program for Software and Services in IT, known as project “TI Maior (Major/Bigger IT)”, recognises Cloud Computing and Big Data as two major driving forces for the Brazilian economy, thus aligned with the EC vision. That’s why this year's Cloudscape Brazil is showcasing “Trustworthy cloud & big data services from research to market”, to demonstrate how powerful this market is in the two regions and how productive transatlantic collaboration is key to accelerating innovation. A dialogue with Europe. A primary goal of this year's Cloudscape Brazil is to ensure a productive exchange with research institutes and businesses that are active in shaping an economy enabled by Big Data and Cloud Computing research in Europe. Representatives from European research projects, funded by the European Commission, will be attending to showcase cutting-edge results and Open Source Software available in the CloudWATCH2 Service Offer catalogue, and which can serve as a reference to build the brand-new EUBrasilCloudFORUM marketplace. The Clusters of European Projects on Cloud will have a unique opportunity to share trends in European markets, how they are meeting demand for the next wave of cloud computing, and also create new collaboration synergies. The floor to SMEs. European SMEs, will be invited to explain how they ended up in delivering services that are emerging from top-class European research projects. Their lessons learnt will be useful for all those Brazilian start-ups hosted at CATI-certified (the Brazilian Information Technology Committee) accelerators that, since 2016, can apply for funding H2020 and MCTI collaborative and which are also part of this agenda. 11 XXXVII Congresso da Sociedade Brasileira de Computação Comitê Organizador Coordenação Geral Priscila Solis (UNB) Coordenação Local Calebe de Paula Biachini (Mackenzie) Coordenação do Comitê de Programa Wagner Meira Junior (UFMG) 12 2º ETC - Encontro de Teoria da Computação 2º ETC - Encontro de Teoria da Computação Apresentação Este ETC é a segunda edição de um evento voltado para a grande área de Teoria da Computação, proposto e organizado por membros da Comissão Especial em Algoritmos, Combinatória e Otimização (CE-ACO), cujo propósito maior é integrar e aproximar mais efetivamente os pesquisadores da área e a área à Sociedade Brasileira de Computação (SBC), bem como promover a sua divulgação entre a comunidade de pesquisadores, profissionais e estudantes que participam dos congressos da SBC. Para esta edição foram submetidos 44 trabalhos, de qualidade inegável, tal como o foram aqueles submetidos ao I ETC. Isso nos levou novamente a realizar o evento em dois dias, desta feita com sessões paralelas. Foram aceitos 39 trabalhos, dos quais 33 serão apresentados ao longo dos dias 03 e 04 de julho de 2017, intercalados por palestras de pesquisadores renomados da área. Os demais trabalhos serão apresentados como pôsteres. Todos os trabalhos submetidos tiveram entre 2 e 3 pareceres emitidos por especialistas, mobilizando 74 pesquisadores que emitiram 134 pareceres. Os autores dos trabalhos aceitos estão em 28 instituições distintas, no Brasil e no exterior. Adicionalmente, o II ETC agrega também o II Desafio de Algoritmos, Combinatória e Otimização (II DACO), com o fito de despertar talentos e entusiasmo entre estudantes de mestrado e graduação em computação para essas áreas. Gostaríamos de expressar nossos agradecimentos ao Prof. Jayme Szwarcfiter, que generosamente nos tem apoiado, aceitando fazer a abertura do evento, aos palestrantes Prof. Geraldo Robson Mateus, Profa. Sulamita Klein, Profa. Yoshiko Wakabayashi e Prof. Carlile Lavor, que aceitaram prontamente o nosso convite de abrilhantar o evento. Somos imensamente gratas à organização do CSBC, aos membros do Comitê Científico, aos membros do Comitê do DACO e aos pareceristas externos pelo seus comprometimentos e excelente trabalho. Cláudia Linhares Sales (UFC), Rosiane de Freitas (UFAM) 13 XXXVII Congresso da Sociedade Brasileira de Computação Comitê Organizador Coordenação Geral Cláudia Linhares Sales (UFC), Rosiane de Freitas (UFAM) Coordenação Local Pedro P. B. de Oliveira (Universidade Presbiteriana Mackenzie) Comit Científico Ana Teresa Martins (DC, UFC), Calebe Bianchini (Univ. P. Mackenzie), Carlos Eduardo Ferreira (USP), Celina M. H de Figueiredo (UFRJ), Cláudia Linhares Sales (UFC), Claudson Bornstein (DCC - IM, UFRJ), Cristina Fernandes (USP), Edson Cáceres (FACOM, UFMS), Erika Coelho (UFGO), Fábio Protti (IC, UFF), Flavio Keidi Miyazawa (IC, UNICAMP), Jayme Szwarcfiter (COPPE, IM e NCE, UFRJ), Luciana Buriol (INF, UFRGS), Luerbio Faria (UERJ), Luiz Satoru Ochi (IC, UFF), Manoel Campelo (UFC), Mario Benevides (IM, UFRJ), Rosiane de Freitas (IComp, UFAM), Vinicius Santos (DCC, UFMG) Comitê do DACO Calebe Bianchini (Univ. P. Mackenzie), Claudson Bornstein (DCC - IM, UFRJ), Rosiane de Freitas (IComp, UFAM), Vinicius Santos (DCC, UFMG) Revisores Ad-hoc Alexandre Freire, Alexsander Melo, Ana da Silva, Ana Karolinna Maia de Oliveira, Anand Subramanian, André Guedes, André Renato Villela da Silva, Angelo Brayner, Aritanan Gruber, Atílio Luiz, Bruno Lopes, Calebe Bianchini, Carlos Fisch de Brito, Carlos Hoppen, Claudia Linhares Sales, Claudson Bornstein, Cristiane Sato, Cristiano Arbex, Cristina Fernandes, Daniel Posner, Daniela Cunha, Diana Sasaki, Diane Castonguay, Diego Nicodemos, Edson Cáceres, Eduardo Laber, Emerson Monte Carmelo, Fabio Dias, Fabio Protti, Fabricio Benevides, Fabricio Murai, Fernanda Couto, Fernando Carvalho, Flavia Bernardini, Flavio Miyazawa, Francicleber Ferreira, Gilberto Sousa, Glauber Cintra, Guilherme de Castro Mendes Gomes, Guilherme Oliveira Mota, Gustavo Semaan, Hebert da Silva, Hugo do Nascimento, Igor Machado Coelho, João Paulo Pordeus, Julio Araujo, Les Foulds, Luciana Buriol, Luciano Silva, Luerbio Faria, Luiz Satoru Ochi, Luziane F. de Mendonça, Manoel Campelo, Marcelino Pequeno, Marina Groshaus, Mauricio Collares, Márcia Cappelle, Mário Benevides, Rafael Castro de Andrade, Raquel Bravo, Roberto Araujo, Rodrigo Hausen, Rosiane de Freitas, Rubens Sucupira, Rudini Sampaio, Santiago Ravelo, Sheila Almeida, Taísa Martins, Tiberius Bonates, Victor Campos, Vinicius dos Santos, Vitor Coelho, Wanderley Alencar, Wellington Previero 14 2º ETC - Encontro de Teoria da Computação Palestras Teoria x Prática: Será que vamos conseguir vencer? Geraldo Robson Mateus (Universidade Federal de Minas Gerais) A Teoria na prática tem tido uma forte demanda acadêmica, social e econômica. O objetivo desta palestra é mostrar como problemas clássicos podem ser integrados e explorados para gerar resultados na prática. Como motivação serão usados modelos, formulações e algoritmos para problemas de otimização de fluxos e alocação que fazem parte da literatura desde as origens da computação e podem atender a diversas aplicações. Estas surgem pela integração de problemas clássicos de fluxos em redes, planejamento da produção, sequenciamento, roteamento, localização de facilidades, recobrimento, coloração de grafos, conjuntos independentes e o próprio problema de alocação. Atendem a diversos critérios de otimização como custos, tempo, qualidade, e restrições relacionadas a atributos de capacidade, tempo, sequenciamento, disjunção. Com as alternativas recentes de formulações tem permitido gerar algoritmos eficientes e capazes de atender aos desafios das aplicações reais. 15 XXXVII Congresso da Sociedade Brasileira de Computação Grafos-(k, l) bem-cobertos Sulamita Klein (Universidade Federal do Rio de Janeiro) Um grafo G = (V,E) é (k,l) se o seu conjunto de vértices V pode ser particionado em k conjuntos independentes e l cliques. Brandstadt provou que o reconhecimento de grafos(k, l) é polinomial para k ≤ 2 e l ≤ 2 e NP-completo caso contrário. G é bem coberto quando todos os seus conjuntos independentes maximais têm o mesmo número de vértices. Chvátal e Slater mostraram que o reconhecimento de grafos bem cobertos em geral é coNP-completo. Entretanto, existem reconhecimentos polinomiais para algumas classes de grafos: bipartidos, split, cografos entre outras. O problema de decisão (k, l)BEM- COBERTO ((k, l)WCG) tem como entrada um grafo G = (V, E) e a questão: G é um grafo-(k, l) e um grafo bem coberto? Vamos discutir a complexidade ...
View Full Document

  • Spring '18
  • Mackenzie, Sociedade Brasileira

{[ snackBarMessage ]}

Get FREE access by uploading your study materials

Upload your study materials now and get free access to over 25 million documents.

Upload now for FREE access Or pay now for instant access
Christopher Reinemann
"Before using Course Hero my grade was at 78%. By the end of the semester my grade was at 90%. I could not have done it without all the class material I found."
— Christopher R., University of Rhode Island '15, Course Hero Intern

Ask a question for free

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern