Seminários da Pós-Graduação em Informática
Local: Sala Multiuso CIC
Horário: 14h
Palestrante: José Pergentino de Araújo Neto (doutorando)
Orientador: Profa. Célia G. Ralha
Título: A Prediction Approach to Define Checkpoint Intervals in Spot Instances
Resumo: Cloud computing providers have started offering their idle resources in the form of virtual machines without availability guarantees. Know as transient servers, these virtual machines can be revoked at any time without user intervention. Spot instances are transient servers offered by Amazon at lower prices than regular dedicated servers. A market model was used to create a bidding scenario for cloud users of servers without service reliability guarantees, where prices changed dynamically over time based on supply and demand. To prevent data loss, the use of fault tolerance techniques allows the exploration of transient resources. This paper proposes a strategy that addresses the problem of executing a distributed application, like bag-of-tasks, using spot instances. We implemented a heuristic model that uses checkpoint and restore techniques, supported by a statistical model that predicts time to revocation by analyzing price changes and defining the best checkpoint interval. Our experiments demonstrate that by using a bid strategy and the observed price variation history, our model is able to predict revocation time with high levels of accuracy. We evaluate our strategy through extensive simulations, which use the price change history, simulating bid strategies and comparing our model with real time to revocation events. Using instances with considerable price changes, our results achieve an 94% success with standard deviation of 1.36. Thus, the proposed model presents promising results under realistic working conditions.
Horário: 14h30
Palestrante: Felipe Rodopoulos de Oliveira (mestrando)
Orientador: Profa. Cláudia Nalon
Título: Verificação do Protocolo de Autenticação Dinâmica
Resumo:O Protocolo de Autorização Dinâmica foi desenvolvido com o objetivo de garantir autenticidade e integridade para transações bancárias em um dispositivo inseguro. O protocolo utiliza um smartphonecomo um verificador confiável, manuseado por um usuário, para validar cada transação. O protocolo é a primeira versão de uma aplicação utilizada por uma base considerável de clientes, porém não é formalmente verificado. A proposta deste trabalho é analisar formalmente o protocolo, utilizando o Método Indutivo, o qual já foi utilizado em outras análises interessantes. A teoria do método se baseia em construir um modelo definido indutivamente, representando os passos do protocolo, avaliando se as propriedades do modelo condizem com as especificações propostas pelo protocolo. A formalização do canal definido, e considerável parte do protocolo, foi implementada no assistente de prova Isabelle, usando técnicas similares de outras formalizações. Resta agora a descrição das propriedades e avaliação do modelo que define o protocolo, gerando uma prova formal da correção ou falha do protocolo em quaisquer características prometidas.
Horário: 15h
Palestrante: Rafael Diniz (doutorando)
Orientador: Profa. Mylène Farias
Título: 3D Telepresence Using Single View RGB-D Capture
Resumo: In this presentation we make an analysis of the state of the art in volumetric video technologies related to creating mixed reality experiences, and propose some technical novelties in order to allow a more broad development and adoption of volumetric video applications. Considering the current challenges of capturing volumetric objects or scenes, it is proposed a system for capturing volumetric content from a single RGB-D capture device while reconstructing complete 3D solid objects.
Horário: 15h30
Palestrante: Cássio Couto Coelho (doutorando)
Orientadora: Profa. Célia G. Ralha
Título: Aplicação de Teoria dos Jogos Evolucionários para o Simulador Ambiental MASE-BDI
Resumo: O aperfeiçoamento das ferramentas de simulação é tão importante quanto a apuração dos modelos computacionais, uma vez que quando ambos apresentam grande acurácia, simulações mais representativas são obtidas. Nessa apresentação serão introduzidos o MASE-BDI, ferramenta baseada em agentes de simulação de modelos de dinâmica do uso do solo, e novos modelos de interação entre os agentes desse simulador, baseados em Teoria dos Jogos Evolucionários (TJE). TJE é uma área originalmente ligada à Teoria dos Jogos e à Biologia Evolucionária, cujo foco de estudo é a interação entre organismos com diversos comportamentos competindo, cooperando ou convivendo com diferentes resultados de suas interações e taxas de sucesso ao longo de suas gerações.
Profa Célia Ghedini Ralha (Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.)
Coordenadora dos Seminários de Pós-Graduação em Informática 2019-1