Results 11 to 20 of about 2,155,394 (299)

Distributed system contract monitoring [PDF]

open access: yesThe Journal of Logic and Algebraic Programming, 2013
Runtime verification of distributed systems poses various challenges. A pivotal challenge is the choice of how to distribute the monitors themselves across the system. On one hand, centralised monitoring may result in increased communication overhead and
Francalanza, Adrian   +2 more
core   +7 more sources

A Blockchain-Driven Electronic Contract Management System for Commodity Procurement in Electronic Power Industry

open access: yesIEEE Access, 2021
In the era of paper-based contract, a lot of time, human labor and expenses are required to handle the process of contract drafting, contract signing, contract execution, and payment settlement.
Lingling Guo   +5 more
doaj   +3 more sources

Contracts in distributed systems [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2011
In Proceedings ICE 2011, arXiv:1108 ...
BARTOLETTI, MASSIMO, Tuosto E, Zunino R.
openaire   +5 more sources

CONTRACTIVE MARKOV SYSTEMS [PDF]

open access: yesJournal of the London Mathematical Society, 2005
Let \((K, d)\) be a (locally compact separable) metric space and let \(K_1, \dots, K_N\) be a partition of \(K\) into non-empty Borel subsets. For each \(i \in \{1, \dots, N\}\), let \(\{w_{i, j}, \, 1 \leq j \leq L_i\}\) be a family of Borel measurable maps from \(K_i\) to \(K\) such that for every \(j\), there is an \(n \in \{1, \dots, N\}\) such ...
openaire   +1 more source

Contractions of Closure Systems

open access: yesNotre Dame Journal of Formal Logic, 1994
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Pollard, Stephen, Martin, Norman M.
openaire   +3 more sources

DESIGNING THE SYSTEM OF INDICATORS TO ASSESS EFFICIENCY IN ORDER TO CONDUCT AUDIT OF THE EFFICIENCY OF STATE PURCHASES

open access: yesВестник Российского экономического университета имени Г. В. Плеханова, 2017
One of the most acute directions of state finance control today is checking effectiveness, expediency and efficiency of spending budget funds on state purchases.
Vladimir L. Kozhukhov
doaj   +1 more source

PROCUREMENT AUTOMATION AS THE FUTURE OF THE CONTRACT SYSTEM

open access: yesRUDN Journal of Law, 2020
In the era of digital information electronic trading platforms have become an integral attribute to conduct procurement to meet public needs. Nowadays there is a consistent trend is that legislators transfer the vast majority of purchases to the ...
Dmitry A. Kazantsev   +1 more
doaj   +1 more source

Responsibility for Abuse of Personnel in the Implementation of Public Defense Order: Comparative Aspect

open access: yesСибирское юридическое обозрение, 2018
The article discusses the quality of the construction of the norms of the criminal law, provided for by Articles 2011 and 2854 of the Criminal Code of the Russian Federation, which establish criminal liability for abuse of authority in the performance of
I. A. Lyubyi
doaj   +1 more source

Issues of the Involvement of Officers in Administrative Responsibility for Committing an Administrative Offense Provided By Part 4.1 of Article 7.30 of the Russian Federation Code on Administrative Offenses

open access: yesСибирское юридическое обозрение, 2021
The regulatory standards of the legislation on the contractual system in the field of procurement and legislation on the protection of competition are provided with the protective norms enshrined in the Code of the Russian Federation on Administrative ...
S. M. Rukavishnikov
doaj   +1 more source

Digitization of government contract [PDF]

open access: yesE3S Web of Conferences, 2023
The digital development in the Russian Federation is to a large extent reflected in the specific relationship that emerges in the procurement procedure for State and municipal institutions as a result of the contractual system in the area of procurement.
Kovtonuik Oleg
doaj   +1 more source

Home - About - Disclaimer - Privacy