Zobrazeno 1 - 10
of 430
pro vyhledávání: '"контракты"'
Autor:
Д.В. Пятков, А.Р. Cулейменова
Publikováno v:
Российско-азиатский правовой журнал, Iss 3, Pp 31-33 (2024)
В статье освящаются особенности заключения и исполнения смарт-контрактов. Актуальность исследования механизма действия смарт-контрак
Externí odkaz:
https://doaj.org/article/943de2766c4a4d41bfb252130b95da70
Autor:
Головацкая Т.П.
Publikováno v:
Russian Linguistic Bulletin, Vol 56, Iss 8 (2024)
В работе кратко рассматриваются языковые контакты азиатских эскимосов и результаты их контактирования – иноязычные лексические едини
Externí odkaz:
https://doaj.org/article/fe3bb34bd38d4f4aa7ab55f17aee920d
Autor:
Oksana Pankratova
Publikováno v:
Вестник Северо-Кавказского федерального университета, Vol 0, Iss 6, Pp 131-136 (2022)
The article is devoted to topical issue ofpublic-private partnerships as a tool for attracting investments into the regional economy. Studied the specificity of realization of socially significant projects by non-state investors. Discusses the format
Externí odkaz:
https://doaj.org/article/cb28bb5dbee2413ba2dfc43f90c97c88
Autor:
Андрей Андреевич Болтаевский
Publikováno v:
Журнал Фронтирных Исследований, Iss 3, Pp 153-174 (2019)
Актуальность темы определяется повсеместным развитием миграционных процессов в современных условиях глобализации и мультикультурали
Externí odkaz:
https://doaj.org/article/8c3a255f24654cababc298ba999ec249
Publikováno v:
Russian Journal of Economics and Law, Vol 13, Iss 1, Pp 1045-1059 (2019)
Objective: to conduct a comprehensive legal analysis of the development of shared oil and gas fields of Iran and neighboring countries.Methods: general scientific method of dialectical cognition, historical-legal, system-structural, comparative-legal
Externí odkaz:
https://doaj.org/article/fbf618c6515340f88f87fe3fae6ba189
Autor:
Maxim K. Izmaylov
Publikováno v:
Вестник Воронежского государственного университета: Серия экономика и управление, Iss 4 (2021)
Предмет. На сегодняшний день в экономике Российской Федерации, и в частности на уровне промышленных предприятий, перфоманс-контракты в
Externí odkaz:
https://doaj.org/article/ff0858e841d4475f845c39370a584c4d
Autor:
E. S. Shishkin
Publikováno v:
Труды Института системного программирования РАН, Vol 30, Iss 5, Pp 265-288 (2018)
We describe our efforts towards building a tool that automatically verify high-level functional properties of Ethereum smart contracts against its formal specification that can be given using four different methods: an invariant over contract state o
Externí odkaz:
https://doaj.org/article/2ae559f56e7f4a79b4b0784570d29923
Publikováno v:
Труды Института системного программирования РАН, Vol 27, Iss 5, Pp 175-190 (2018)
In this work the problem of high quality verification techniques applicable for operating systems is formulated. A perspective approach to solve this problem is integration of various verification methods. The solution technique can be considered suc
Externí odkaz:
https://doaj.org/article/2a010312b90a441fb671769d8b32685b
Autor:
V. Kuliamin, A. Petrenko
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 1, Pp 9-26 (2018)
The paper presents the basic principles of UniTESK technology intended for test construction based on formal models. It also summarizes experience of using UniTESK in large test development projects for software and hardware systems, including teleco
Externí odkaz:
https://doaj.org/article/c2a92391ba2c4518a234d3daf4227169
Publikováno v:
Monitoring Obŝestvennogo Mneniâ: Ekonomičeskie i Socialʹnye Peremeny, Iss 4 (2019)
В статье рассматриваются возможности и перспективы использования технологии блокчейн и смарт-контрактов в науке и образовании. Тема вы
Externí odkaz:
https://doaj.org/article/b794bb16be0344f6b6df7bf754093a7a