ETDs @PUC-Rio
| Título: | AN APPROACH FOR DEALING WITH INCONSISTENCIES IN DATA MASHUPS | ||
| Autor(es): |
EVELINE RUSSO SACRAMENTO FERREIRA |
||
| Orientador (es) : |
MARCO ANTONIO CASANOVA |
||
| Instituição: | PUC-RIO - PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO | ||
| Programa: | GRADUATE PROGRAM IN COMPUTER SCIENCE | ||
| Área: | DATABASE | ||
| Banca: |
EDWARD HERMANN HAEUSLER - PUC-RIO MARCO ANTONIO CASANOVA - PUC-RIO JOSE ANTONIO FERNANDES DE MACEDO - UFC LUIZ ANDRE PORTES PAES LEME - UFF GERALDO BONORINO XEXEO - UFRJ |
||
| Vocabulário: | MODEL CHECKING |
||
| Apresentação: | 11/SET/2015 | ||
| Aceitação: | 11/SET/2015 | ||
| Sistema de Biblioteca: | PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO-SISTEMA PERGAMUM | ||
| Número de Chamada: | 004 S123 | ||