6 kontakty: Aksjomat, Maszyna wirtualna, Podpis cyfrowy, Procesor, Program komputerowy, Protokół internetowy.
Aksjomat
Aksjomat, postulat, pewnik (gr. axíōma, godność, pewność, oczywistość) – jedno z podstawowych pojęć logiki matematycznej.
Nowy!!: Proof-Carrying Code i Aksjomat · Zobacz więcej »
Maszyna wirtualna
Maszyna wirtualna (ang. virtual machine, VM) – ogólna nazwa środowiska uruchomieniowego programów.
Nowy!!: Proof-Carrying Code i Maszyna wirtualna · Zobacz więcej »
Podpis cyfrowy
Podpis cyfrowy – matematyczny sposób sprawdzenia autentyczności dokumentów i wiadomości elektronicznych.
Nowy!!: Proof-Carrying Code i Podpis cyfrowy · Zobacz więcej »
Procesor
Procesor Intel Pentium (widok od dołu) LGA1366 Pomieszczenie wysokiej czystości (''Clean room'') w Glenn Research Center (NASA) Procesor (ang. central processing unit, CPU) – sekwencyjne urządzenie cyfrowe, które pobiera dane z pamięci operacyjnej lub strumienia danych, interpretuje je i wykonuje jako rozkazy, zwracając dane do pamięci lub wyjściowego strumienia danych.
Nowy!!: Proof-Carrying Code i Procesor · Zobacz więcej »
Program komputerowy
Program komputerowy (ang. computer program) – sekwencja symboli opisująca realizowanie obliczeń zgodnie z pewnymi regułami zwanymi językiem programowania.
Nowy!!: Proof-Carrying Code i Program komputerowy · Zobacz więcej »
Protokół internetowy
Protokół internetowy, IP (od) – protokół komunikacyjny warstwy sieciowej modelu OSI (warstwy internetu w modelu TCP/IP).
Nowy!!: Proof-Carrying Code i Protokół internetowy · Zobacz więcej »