نتایج جستجو برای: convertible
تعداد نتایج: 900 فیلتر نتایج به سال:
We describe Fresh O’Caml, a metalanguage equipped with facilities to manipulate object-level syntax involving α-convertible names and binding operations. The language extensions made to Objective Caml are surveyed from a practical perspective and the implementation details are briefly discussed.
Positions and opinions advanced in this paper are those of the author(s) and not necessarily those of SAE. The author is solely responsible for the content of the paper. A process is available by which discussions will be printed with the paper if it is published in SAE Transactions. Persons wishing to submit papers to be considered for presentation or publication by SAE should send the manuscr...
-Electronic contract-signing is an important issue in Electronic Commerce. This paper proposed a novel abuse-free contract signing protocol based on convertible signature and non-interactive designated verifier proof. One interesting property is that the outcome evidences are standard RSA signatures, which makes the protocol be easily integrated into existing systems.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید