نتایج جستجو برای: convertible

تعداد نتایج: 900  

2003
Mark R. Shinwell

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.

2003
Matthew P. Reed Sheila M. Ebert Michael E. Carlson

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...

2006
Hao Wang Yuyi Ou Jie Ling Xiang Xu Heqing Guo

-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.

Journal: :International Journal of Micro Air Vehicles 2013

Journal: :Journal of Globalization and Development 2018

Journal: :International Review of Financial Analysis 2018

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید