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
Visitas
<< 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 Língua: PORTUGUESE - BRAZIL Países: 28 Visitas: 476 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 Língua: PORTUGUESE - BRAZIL Países: 28 Visitas: 476 Partições: 1
País | Visitas | |
1 | ANGOLA | 1 |
2 | ARGENTINA | 1 |
3 | BRAZIL | 104 |
4 | CANADA | 5 |
5 | CHINA | 27 |
6 | CZECH REPUBLIC | 6 |
7 | EGYPT | 1 |
8 | FINLAND | 2 |
9 | FRANCE | 16 |
10 | GERMANY | 46 |
11 | HONG KONG | 1 |
12 | INDONESIA | 1 |
13 | IRAQ | 3 |
14 | IRELAND | 1 |
15 | ITALY | 6 |
16 | JAPAN | 2 |
17 | MEXICO | 1 |
18 | MOROCCO | 1 |
19 | NETHERLANDS | 3 |
20 | PHILIPPINES | 1 |
21 | PORTUGAL | 1 |
22 | RUSSIAN FEDERATION | 33 |
23 | SINGAPORE | 2 |
24 | SWEDEN | 3 |
25 | SWITZERLAND | 6 |
26 | UNIDENTIFIED COUNTRY | 1 |
27 | UNITED KINGDOM | 5 |
28 | UNITED STATES | 196 |
Total Geral | 476 |