XINFORMAÇÕES SOBRE DIREITOS AUTORAIS
As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.
A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.
A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.
A violação de direitos autorais é passível de sanções civis e penais.
As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.
A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.
A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.
A violação de direitos autorais é passível de sanções civis e penais.
Estatísticas > Conteúdo - Acesso
<< voltar
Número:
24308
Tipo de Acesso:
PUBLIC
Título: A MECHANISM BASED ON LOGS WITH META-INFORMATION FOR THE VERIFICATION OF CONTRACTS IN DISTRIBUTED SYSTEMS
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor: PEDRO DE GOES CARNAVAL ROCHA
Colaborador(es): ARNDT VON STAA - Orientador
Curso: GRADUATE PROGRAM IN COMPUTER SCIENCE
Título Outorgado: MASTER IN COMPUTER SCIENCE
Área: SOFTWARE ENGINEERING
Catalogação: 19/03/2015 Defesa: 21/08/2014 Idioma(s): PORTUGUESE - BRAZIL Países: 18 Visitas: 383 Partições: 1
Título: A MECHANISM BASED ON LOGS WITH META-INFORMATION FOR THE VERIFICATION OF CONTRACTS IN DISTRIBUTED SYSTEMS
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor: PEDRO DE GOES CARNAVAL ROCHA
Colaborador(es): ARNDT VON STAA - Orientador
Curso: GRADUATE PROGRAM IN COMPUTER SCIENCE
Título Outorgado: MASTER IN COMPUTER SCIENCE
Área: SOFTWARE ENGINEERING
Catalogação: 19/03/2015 Defesa: 21/08/2014 Idioma(s): PORTUGUESE - BRAZIL Países: 18 Visitas: 383 Partições: 1
País | Visitas | |
1 | ANGOLA | 1 |
2 | ARGENTINA | 1 |
3 | BRAZIL | 77 |
4 | CANADA | 5 |
5 | CHINA | 27 |
6 | CZECH REPUBLIC | 5 |
7 | FINLAND | 2 |
8 | FRANCE | 15 |
9 | GERMANY | 43 |
10 | IRAQ | 3 |
11 | IRELAND | 1 |
12 | MEXICO | 1 |
13 | NETHERLANDS | 1 |
14 | PORTUGAL | 1 |
15 | RUSSIAN FEDERATION | 27 |
16 | SINGAPORE | 1 |
17 | UNITED KINGDOM | 2 |
18 | UNITED STATES | 170 |
Total Geral | 383 |