Results 11 to 20 of about 119,779 (307)
An Elasticity Framework for Smart Contracts
2021 IEEE International Conference on Smart Data Services (SMDS), 2021 Junta de Andalucía EKIPMENT-PLUS (P18-FR-2895)
Schahram Dustdar +3 more
openaire +3 more sources
SmartCon: A Blockchain-Based Framework for Smart Contracts and Transaction Management
IEEE Access, 2022 A smart contract is known to be useful for automating business processes triggered by specific events caused by IoT sensors, data feeds, or other applications.
Muhammad Muneeb +3 more
doaj +1 more source
Invited Demand Response Mechanism Based on Smart Contract
Zhejiang dianli, 2022 Demand response is an important way to balance the power supply and demand， and to wake up user-side resources. In view of data trust， privacy protection， transaction efficiency and other issues of current demand response business， a solution based on ...
LI Lei +6 more
doaj +1 more source
Thinking about the ratio of Innominate Contracts and Compromise Contract [PDF]
Faṣlnāmah-i Pizhūhish-i Huqūq-i Khuṣūṣī, 2022 Due to the wide scope of compromise contract, in addition to most nominate contracts, innominate contracts can be concluded with title of compromise contract.
Mohammad Mansouri +2 more
doaj +1 more source
Performance of Framework Contract Projects in South Africa [PDF]
MATEC Web of Conferences, 2020 There is increasing adoption of framework contracts (FC) for construction project delivery in South Africa, but it is not yet clear what the performance of the approach is in accomplishing client's expected outcomes of projects being delivered on time ...
Ayegba Calistus, Root David
doaj +1 more source
A Differential Lyapunov Framework for Contraction Analysis [PDF]
IEEE Transactions on Automatic Control, 2014 Lyapunov's second theorem is an essential tool for stability analysis of differential equations. The paper provides an analog theorem for incremental stability analysis by lifting the Lyapunov function to the tangent bundle. The Lyapunov function endows the state-space with a Finsler structure.
Forni, Fulvio, Sepulchre, Rodolphe
openaire +4 more sources
Contract theory in the amended French civil code and in Qatari Civil code: A comparative study
International Review of Law, 2021 This paper seeks to determine the relationship between the Qatari Civil Code of 2004 and the French Civil Code; as the Qatari Civil Code is influenced by the provisions of the French Civil Code prior to the 2016 reform concerning the theory of contract ...
فوزي بن أحمد بالكناني
doaj +2 more sources
Smart Contract Data Feed Framework for Privacy-Preserving Oracle System on Blockchain
Computers, 2020 As blockchain-based applications and research such as cryptocurrency increase, an oracle problem to bring external data in the blockchain is emerging. Among the methods to solve the oracle problem, a method of configuring oracle based on TLS, an existing
Junhoo Park +3 more
doaj +1 more source
Smart Contract Generation Assisted by AI-Based Word Segmentation
Applied Sciences, 2022 In the last decade, blockchain smart contracts emerged as an automated, decentralized, traceable, and immutable medium of value exchange. Nevertheless, existing blockchain smart contracts are not compatible with legal contracts.
Yu Tong +5 more
doaj +1 more source
Design by Contract Framework for Quantum Software
2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering (Q-SE), 2023 To realize reliable quantum software, techniques to automatically ensure the quantum software's correctness have recently been investigated. However, they primarily focus on fixed quantum circuits rather than the procedure of building quantum circuits.
Masaomi Yamaguchi, Nobukazu Yoshioka
openaire +2 more sources