Perguntas com a marcação «digital-preservation»

É possível criar um "Time Capsule" usando criptografia?

Quero criar uma cápsula do tempo digital que permanecerá ilegível por algum período de tempo e depois se torne legível. Não quero contar com nenhum serviço externo para, por exemplo, manter a chave em segredo e depois revelá-la no tempo necessário. Isso é possível? Caso contrário, é possível algum...

Invariante para loop aninhado no programa de multiplicação de matrizes

Estou fazendo uma tese de pós-graduação sobre a comprovação da correção do programa para multiplicar 2 matrizes usando a lógica Hoare. Para fazer isso, preciso gerar o loop invariável para aninhado para este programa: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end...