Examples with "Obliv-Java" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Por regla general, los contratos inteligentes se almacenan... Obliv-Java: Máquina Virtual Java para computación segura y su aplicación a los contratos inteligentes
Generally, smart contracts are stored on the blockchain... Obliv-Java: a Java Virtual Machine for Secure Computation and its Application to Smart Contracts
Los Contratos Privados que utilizan Obliv-Java pueden ser anotados fácilmente con Código Acompañado de Demostraciones formales: el código fuente de la solución completa será incluido en la liberación de código fuente durante la Distribución Inicial.
Private Smart Contracts using Obliv-Java can also be easily annotated for Proof-Carrying Code: the source code for the full solution will be included in the open-sourcing of the Initial Distribution. Please Share This
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
