Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Shamir, Dana"'
In distributed verification, our goal is to verify that the network configuration satisfies some desired property, using pre-computed information stored at each network node. This is formally modeled as a proof labeling scheme (PLS): a prover assigns
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c7e26da278b23a06b9847b351d774dfa
