Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Contract-based Design.

Статті в журналах з теми "Contract-based Design"

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Contract-based Design".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

Winokur, Michael, Susanne Graf, and Bernhard Josko. "Contract-based System Design - The SPEEDS Approach." INCOSE International Symposium 18, no. 1 (2008): 2477–554. http://dx.doi.org/10.1002/j.2334-5837.2008.tb00928.x.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Nešić, Damir, Mattias Nyberg, and Barbara Gallina. "Product-line assurance cases from contract-based design." Journal of Systems and Software 176 (June 2021): 110922. http://dx.doi.org/10.1016/j.jss.2021.110922.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Kiyeng, Denies, Simon Maina Karume, and Nelson Masese. "Design of Blockchain Based Smart Contract for Tendering." International Journal of Computer Applications Technology and Research 10, no. 10 (2021): 222–25. http://dx.doi.org/10.7753/ijcatr1010.1002.

Повний текст джерела
Анотація:
Information technology is the backbone for all 21st century organizations that are looking forward to offer better customer service and gain competitive advantage. Today, blockchain technology is being adopted by a number of organizations such as financial services, healthcare, agriculture and even government. . However, the tendering sector have not been able to take advantage of the new blockchain technology, owing to the absence of blockchain based frameworks and a model for secure tendering. This study focuses on block-chain with its BYOE (Bring Your Own Encryption) concept in the procurem
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Kolesnichenko, Alexey, Christopher M. Poskitt, Sebastian Nanz, and Bertrand Meyer. "Contract-based general-purpose GPU programming." ACM SIGPLAN Notices 51, no. 3 (2016): 75–84. http://dx.doi.org/10.1145/2936314.2814216.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Chen, Baike, Yuxia Rong, and Zhaoxia Jing. "Generation Revenue Regulation and Incentive Contract Design in Electricity Market." E3S Web of Conferences 252 (2021): 01009. http://dx.doi.org/10.1051/e3sconf/202125201009.

Повний текст джерела
Анотація:
In order to curb market power, encourage investment and redistribute welfare, revenue regulation should be carried out in electricity market. The incentive contract represented by the Contract for Difference is a kind of regulation. This paper proposes a Government Authorized Contract based on Revenue Estimation Method (REM) from the perspective of regulating generation revenue. First, the principle and design of the Vesting Contract in Singapore electricity market is employed, analyzing its limitations in regulation. Then, the incentive contract based on REM is presented in four steps. Finall
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Xu, Lan, Paul Tu, and Qian Tang. "Contract Design for Cloud Logistics (CL) Based on Blockchain Technology (BT)." Complexity 2020 (April 28, 2020): 1–13. http://dx.doi.org/10.1155/2020/5305808.

Повний текст джерела
Анотація:
Purpose. This paper aims to design the contract and present the profit distribution mechanism for CL platform, so as to realize the intelligent and automatic operation of the artificial intelligent- (AI-) based CL platform. Design/Methodology. A smart contract based on BT is designed for the AI-based CL platform. Profit distribution mechanism based on the Nash bargaining model for the CL platform is also put forward to coordinate different participators’ benefit relationship in CL. Findings. The AI-based CL platform and the proposed smart contract based on BT map the scenario which may be infl
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Mengoni, Maura, Margherita Peruzzini, Roberto Raffaeli, and Damiano Raponi. "A Web-based Platform to Support Contract Furniture Design." Computer-Aided Design and Applications 11, no. 5 (2014): 533–43. http://dx.doi.org/10.1080/16864360.2014.902684.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Aldyaflah, Izdehar M., Wenbing Zhao, Himanshu Upadhyay, and Leonel Lagos. "The Design and Implementation of a Secure Datastore Based on Ethereum Smart Contract." Applied Sciences 13, no. 9 (2023): 5282. http://dx.doi.org/10.3390/app13095282.

Повний текст джерела
Анотація:
In this paper, we present a secure datastore based on an Ethereum smart contract. Our research is guided by three research questions. First, we will explore to what extend a smart-contract-based datastore should resemble a traditional database system. Second, we will investigate how to store the data in a smart-contract-based datastore for maximum flexibility while minimizing the gas consumption. Third, we seek answers regarding whether or not a smart-contract-based datastore should incorporate complex processing such as data encryption and data analytic algorithms. The proposed smart-contract
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Zhao, Nan, Minghu Wu, Wei Xiong, and Cong Liu. "Cooperative Communication in Cognitive Radio Networks under Asymmetric Information: A Contract-Theory Based Approach." International Journal of Distributed Sensor Networks 2015 (2015): 1–11. http://dx.doi.org/10.1155/2015/676195.

Повний текст джерела
Анотація:
By exploiting the spatial diversity of multiple wireless nodes, cooperative communication technique is a promising technique for spectrum sharing to improve spectrum efficiency. In this paper, the incentive issue between relay nodes’ (RNs’) service and source’s relay selection is investigated in the presence of the asymmetric information scenario. Multiuser cooperative communication is modelled as a labour market, where the source designs a contract and each relay node decides to select a contract item according to hidden information in order to obtain the best profit. The optimal contract des
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Selviaridis, Kostas, and Andreas Norrman. "Performance-based contracting for advanced logistics services." International Journal of Physical Distribution & Logistics Management 45, no. 6 (2015): 592–617. http://dx.doi.org/10.1108/ijpdlm-11-2014-0267.

Повний текст джерела
Анотація:
Purpose – The purpose of this paper is to explore key challenges of adopting, designing and managing performance-based contracts (PBC) for advanced logistics services, as seen by providers. The shift toward performance-based solutions has proved challenging since providers often struggle to link performance to their payment. Despite such managerial challenges, empirical research in this area has been limited. Design/methodology/approach – A multi-case design was adopted. Three cases of logistics service providers were selected based on purposive sampling. Data were collected through 38 semi-st
Стилі APA, Harvard, Vancouver, ISO та ін.
11

Huang, Jiahui, Yuzhuo Shan, and Yining Wang. "Design and implementation of NFT-based system." Highlights in Science, Engineering and Technology 32 (February 12, 2023): 1–6. http://dx.doi.org/10.54097/hset.v32i.4929.

Повний текст джерела
Анотація:
Blockchain technology is one of the hottest internet techniques by far, and the NFT is a novel digital collection based on blockchain technology. In 2017, two interesting applications emerged on Ethereum, CryptonPunks, and CryptonKitties, As CryptonKitties is an example, each kitty has a unique DNA number, taking on a different appearance and temperament. These two applications have revolutionary significance for the non-fungible token proposal and practical scenario application. In this experiment, We used the Ethereum platform in the Solidity language to implement a set of digital currency s
Стилі APA, Harvard, Vancouver, ISO та ін.
12

Ge, Xianyun. "Smart Payment Contract Mechanism Based on Blockchain Smart Contract Mechanism." Scientific Programming 2021 (December 2, 2021): 1–12. http://dx.doi.org/10.1155/2021/3988070.

Повний текст джерела
Анотація:
In recent years, blockchain technology has become a hot topic in various industries. With the development and maturity of blockchain technology, it has been applied to finance, law, etc., with its advantages of decentralization, openness, information security, and concealment. The application scenarios of industry are becoming more and more abundant. Compared with the traditional TPA payment contract form, the smart contract mechanism based on blockchain technology is obviously more efficient, convenient, and safe. Against this background, we design a smart payment contract suitable for cloud
Стилі APA, Harvard, Vancouver, ISO та ін.
13

Liu, Hao, Haodong Chen, Hengyi Zhang, Haibin Liu, Xingwang Yu, and Shiqing Zhang. "Contract Design of Logistics Service Supply Chain Based on Smart Transformation." Sustainability 14, no. 10 (2022): 6261. http://dx.doi.org/10.3390/su14106261.

Повний текст джерела
Анотація:
A logistics service integrator (LSI) usually requires a logistics service provider (LSP) to carry out smart transformation in order to improve the level of logistics service. However, LSP’s smart transformation faces uncertainty in terms of investments and income, which seriously hinders LSP’s enthusiasm for logistics service innovation. In this paper, we construct a logistics service supply chain (LSSC) consisting of an LSI and an LSP to explore the incentive mechanism for LSPs to undergo smart transformation. As a benchmark for comparison, we first obtain the equilibrium results under centra
Стилі APA, Harvard, Vancouver, ISO та ін.
14

Gaoshan Wang, and Tao Yu. "Incentive Design of Tacit Knowledge Sharing Based on Psychological Contract." INTERNATIONAL JOURNAL ON Advances in Information Sciences and Service Sciences 4, no. 15 (2012): 126–33. http://dx.doi.org/10.4156/aiss.vol4.issue15.16.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
15

Sangiovanni-Vincentelli, Alberto, Werner Damm, and Roberto Passerone. "Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems*." European Journal of Control 18, no. 3 (2012): 217–38. http://dx.doi.org/10.3166/ejc.18.217-238.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
16

Alaoui, Sadek Belamfedel, and Adnane Saoud. "Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties." IFAC-PapersOnLine 58, no. 11 (2024): 189–94. http://dx.doi.org/10.1016/j.ifacol.2024.07.446.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
17

Nuzzo, Pierluigi, Huan Xu, Necmiye Ozay, et al. "A Contract-Based Methodology for Aircraft Electric Power System Design." IEEE Access 2 (2014): 1–25. http://dx.doi.org/10.1109/access.2013.2295764.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
18

Prajapati, Harshad B., and Vipul A. Shah. "Design of contract net protocol-based distributed image processing system." International Journal of Communication Networks and Distributed Systems 12, no. 3 (2014): 259. http://dx.doi.org/10.1504/ijcnds.2014.060623.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
19

Yang, Ping, Xiaolei Yang, and Jianwei Li. "Intelligent contract design based on block chain in logistics management." IOP Conference Series: Materials Science and Engineering 612 (October 19, 2019): 032003. http://dx.doi.org/10.1088/1757-899x/612/3/032003.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
20

Su, Chunxia, Jichong Guo , Zhenping Chen, Jingwei Fu, and Guizhang Chen. "UAV-Assisted Wireless Charging Incentive Mechanism Design Based on Contract Theory." Symmetry 15, no. 11 (2023): 2065. http://dx.doi.org/10.3390/sym15112065.

Повний текст джерела
Анотація:
In wireless sensor networks, terminal devices with restricted cost and size have limited battery life. Meanwhile, these energy-constrained devices are not easy to access, especially when the terminal devices are located in severe environments. To recharge the energy-constrained devices and extend their network service time, unmanned aerial vehicles (UAVs) equipped with wireless power chargers are leased by the third-party control center. To incent the participation of UAVs with different charging capabilities and ensure the strategy-proofness of the incentive mechanism, a hidden information ba
Стилі APA, Harvard, Vancouver, ISO та ін.
21

Zhu, Yue. "Design and Application of Legally Valid Payment Templates Based on Linking Contracts." Computational and Mathematical Methods in Medicine 2022 (July 18, 2022): 1–9. http://dx.doi.org/10.1155/2022/1331237.

Повний текст джерела
Анотація:
Smart contracts are widely employed in many industries as a result of the high-quality development of science and economic technology, as well as the introduction of blockchain, which can automatically conduct retrieval, verification, and payment tasks. Smart contracts as an emerging topic, particularly the study of smart legal contracts, must remain forward-looking, and the smart contract sector cannot wait for the legal status of smart contracts to be resolved before advancing. The relative lag of the law becomes unavoidable due to the unassembled and unpredictable character of the law and t
Стилі APA, Harvard, Vancouver, ISO та ін.
22

Namira, Al-Zahra Aisha, and Yusuf Latief. "Evaluation of the implementation of integrated design and build construction contracts based on LKPP Regulation No. 12 of 2021 based on contract management body of knowledge and risk minimizing dispute claims from the service provider's perspective." International research journal of engineering, IT and scientific research 11, no. 1 (2024): 14–22. https://doi.org/10.21744/irjeis.v11n1.2494.

Повний текст джерела
Анотація:
Infrastructure development in Indonesia is key to improving connectivity and equitable development, although it often faces project management challenges such as errors in contract documents that trigger disputes. The government has adopted the Design and Build method to accelerate construction and reduce design errors, but this method often creates more disputes than conventional methods. This study evaluates the implementation of the Integrated Design and Build Contract system in government projects based on LKPP Regulation No. 12 of 2021 and the Contract Management Body of Knowledge (CMBOK)
Стилі APA, Harvard, Vancouver, ISO та ін.
23

Yang, Tao, and Ju Zhou. "Economical Analysis of Cooperative Behavior of Transportation and Warehousing Company Based on Resource Integration." Advanced Materials Research 1073-1076 (December 2014): 2398–401. http://dx.doi.org/10.4028/www.scientific.net/amr.1073-1076.2398.

Повний текст джерела
Анотація:
The phenomenon of free warehousing service offered by integrated transportation and warehousing company is concerned. The mechanics is studied based on the theory of the resource integration and the contract design. The result shows that the transportation company willing to pay the warehouse a certain lump sum on the contract designed. It is shown that the effective contract design is a significant managerial tool to improve cooperative behavior of supply chain.
Стилі APA, Harvard, Vancouver, ISO та ін.
24

Wei, Shanting, Zhuo Zhang, and Xintong Chen. "How does business incubator motivate start-ups based on super-network: A dynamic capability perspective." Journal of Intelligent & Fuzzy Systems 40, no. 6 (2021): 11131–44. http://dx.doi.org/10.3233/jifs-202279.

Повний текст джерела
Анотація:
Network-based incubation has undergone rapid developments and the incubation mechanism has begun to change recently. To incentive the start-ups on the basis of ensuring its own interests, the incubator needs to design a feasible contract. According to network theory, a single network cannot adequately describe the heterogeneous alliances of incubated start-ups in the business incubator. Therefore, by constructing super-network structure of incubated start-ups, this paper designs two types of linear incentive contracts and uses numerical simulation to further discuss the model. The results indi
Стилі APA, Harvard, Vancouver, ISO та ін.
25

Zhang, Junran. "Design of a Smart Contract for Medical Records Based on Blockchain." Highlights in Science, Engineering and Technology 32 (February 12, 2023): 24–31. http://dx.doi.org/10.54097/hset.v32i.4932.

Повний текст джерела
Анотація:
In today's medical field, an ever-increasing number of different medical institutions begin to share patients' cases. Although this provides convenience for patients to seek medical advice, it will also lead to the problem of data abuse, and the patient's medical records are also at risk of being leaked or tampered with. The decentralization, non-tampering, openness, transparency, and traceability of blockchain technology can effectively solve these problems. This paper mainly studies a kind of medical records electronic contract which can guarantee the authenticity, security, and security of
Стилі APA, Harvard, Vancouver, ISO та ін.
26

Zhang, Shou He, and Wen Jie Huang. "Vendor’s Conduct and Contract Mechanism in IT Outsourcing Based on Information Inferiority." Key Engineering Materials 467-469 (February 2011): 918–22. http://dx.doi.org/10.4028/www.scientific.net/kem.467-469.918.

Повний текст джерела
Анотація:
In IT outsourcing, contract defects often cause outsourcing failure. Many client firms do not know well how to design the contract because they have no way to access private information of vendors, so vendors are likely to conduct out of constraint. This work combined relational contract with conventional one to establish an integral management mechanism. It at first gave the cost-increment analysis method to improve relational contract design so that it would facilitate outsourcing contract to work efficiently. Then analyzed the relation between vendor profit-gaining and its varied conducts,
Стилі APA, Harvard, Vancouver, ISO та ін.
27

Sharifi, Mohammadreza, and Roy H. Kwon. "Performance-based contract design under cost uncertainty: A scenario-based bilevel programming approach." Engineering Economist 63, no. 4 (2018): 291–318. http://dx.doi.org/10.1080/0013791x.2018.1467990.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
28

Solehudin, Arip, Aldi Angga Putra, Kamal Prihandani, and Nono Heryana. "Design of Reminder Information Last Contract (RILC) Applications Using Web-Based Sms Gateway." Buana Information Technology and Computer Sciences (BIT and CS) 1, no. 2 (2020): 37–41. http://dx.doi.org/10.36805/bit-cs.v1i2.1025.

Повний текст джерела
Анотація:
Currently informarsi system is needed by several large companies. To support some data processing, one of them is employee data processing and employee contract data. Given the existing problems in contract data pengelohan often occurs that the check is not maximal so some data left behind and even neglected impact on the increase in salaries of employees who are late due to contracts that are not handled according to schedule. This study aims to create a web-based RIL application using sms gateway for delivery of contract data reminder information. This research uses SDLC method with Extreme
Стилі APA, Harvard, Vancouver, ISO та ін.
29

Zheng, Xu (Vivian), David A. Griffith, Ling Ge, and Uri Benoliel. "Effects of Contract Ambiguity in Interorganizational Governance." Journal of Marketing 84, no. 4 (2020): 147–67. http://dx.doi.org/10.1177/0022242920910096.

Повний текст джерела
Анотація:
This work introduces the concept of contract ambiguity from the law literature into the interorganizational governance literature. Within the context of franchising, the authors present a three-study multimethod design empirically establishing the construct of contract ambiguity of franchisor obligations, providing new insights into the strategic design of contracts and their outcomes. In Study 1, the authors establish construct validity by demonstrating that contract ambiguity of franchisor obligations is distinct from contract specificity and contract completeness of franchisor obligations,
Стилі APA, Harvard, Vancouver, ISO та ін.
30

D, Geethanjali, Priya R, and Bhavani R. "Smart Contract for Digital Garment Design using Blockchain and Digital Right Management." Indian Journal of Science and Technology 15, no. 24 (2022): 1195–212. https://doi.org/10.17485/IJST/v15i24.84.

Повний текст джерела
Анотація:
Abstract <strong>Background:</strong>&nbsp;In the current advancement of communication, anyone can create digital content. Emerging digital marketplaces provides an environment to share digital data with customers who are interested in content, from other digital sources. Digital marketplaces provide a location for both providers and consumers to connect to meet the increased demand. All of this leads to challenges in content protection, copyright protection, contract creation and work trading.&nbsp;<strong>Objectives:</strong>&nbsp;To address these issues, this scheme suggests a blockchain ba
Стилі APA, Harvard, Vancouver, ISO та ін.
31

Long, Li, Tianhai Yang, Qifen Li, Yongwen Yang, Lifei Song, and Tianjiao Wu. "Design of Distributed Electricity Trading Mechanism Based on Contract for Difference." E3S Web of Conferences 256 (2021): 01030. http://dx.doi.org/10.1051/e3sconf/202125601030.

Повний текст джерела
Анотація:
A contract for difference is a medium and long-term financial contract, which can be used in the electricity market to lock the electricity price in advance and avoid the risk of electricity price fluctuations in the spot market. The construction of the domestic power spot market has just started. With the release of relevant policies and the gradual improvement of the market structure, it is urgent to design a corresponding trading mechanism to ensure the smooth transition of the market. The current day-ahead transactions, real-time transactions and other short-term transactions for distribut
Стилі APA, Harvard, Vancouver, ISO та ін.
32

Enselme, D., G. Florin, and F. Legond-Aubry. "Design by Contract: analysis of hidden dependencies in component based application." Journal of Object Technology 3, no. 4 (2004): 23. http://dx.doi.org/10.5381/jot.2004.3.4.a2.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
33

Liu, Hongyan, and Shizheng Liu. "Salesperson compensation contract design based on multi‐agent principal agent model." Nankai Business Review International 4, no. 1 (2013): 78–86. http://dx.doi.org/10.1108/20408741311303896.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
34

Chattopadhyay, Saumitra. "Smart Contract Technology for Blockchain-based Systems: Design and Implementation Challenges." Turkish Journal of Computer and Mathematics Education (TURCOMAT) 11, no. 3 (2020): 2010–21. http://dx.doi.org/10.17762/turcomat.v11i3.13598.

Повний текст джерела
Анотація:
The technology of smart contracts, which is an essential component of blockchain-based systems, has the potential to improve the efficiency, transparency, and safety of these systems. However, there are a number of challenges that need to be conquered in order to develop and implement smart contracts, particularly in regard to security, adaptability, interoperability, and meeting the standards imposed by legal and regulatory authorities. This paper examines ideas for designing and implementing smart contracts, as well as providing an outline of the challenges that have been encountered. In thi
Стилі APA, Harvard, Vancouver, ISO та ін.
35

Arne Glomsrud, Jon, Stephanie Kemna, Chanjei Vasanthan, et al. "Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles." Journal of Physics: Conference Series 2867, no. 1 (2024): 012043. http://dx.doi.org/10.1088/1742-6596/2867/1/012043.

Повний текст джерела
Анотація:
Abstract With the introduction of autonomous technology into our society, e.g. autonomous shipping, it is important to assess and assure the safety of autonomous systems in a real-world context. Simulation-based testing is a common approach to attempt to verify performance of autonomous systems, but assurance also requires formal evidence. This paper introduces the Assurance of Digital Assets (ADA) framework, a structured method for the assurance of digital assets, i.e. novel, complex, or intelligent systems enabled by digital technologies, using contract-based design. Results are shown for an
Стилі APA, Harvard, Vancouver, ISO та ін.
36

Mazé, Armelle. "Retailers' branding strategies: Contract design, organisational change and learning." Journal on Chain and Network Science 2, no. 1 (2002): 33–45. http://dx.doi.org/10.3920/jcns2002.x016.

Повний текст джерела
Анотація:
This article analyses the recent development by some large retailers in France of dedicated Quality Supply Chains for their food products. The major contractual innovation rests on the design of tripartite contracts between a retailer, agro-food firms and farmers' associations. In contrast to mainstream contract literature, we demonstrate that contract adaptations may reflect a mutual learning process between contractors: why do transactors write explicit contracts that they know cannot be court enforced? Empirical data are based on the joint analysis of a full set of contracts between one ret
Стилі APA, Harvard, Vancouver, ISO та ін.
37

Ekwonwune, Emmanuel Nwabueze, Duru Ngozi A., and Uka Kanayo K. "Design of a web – based online Contract Administrative System platform of an Engineering firm." International Journal of Engineering and Computer Science 8, no. 05 (2019): 24612–20. http://dx.doi.org/10.18535/ijecs/v8i05.4285.

Повний текст джерела
Анотація:
This paper is aimed at designing a dynamic web – based Contract Bidding Information System that will be used to register details online to enable bidding for advertised contracts. It was motivated by the growing recognition of the need to modify bidding operation previously done manually. The Structured System Analysis and Design Methodology (SSADM) was used to develop a contract bidding system. A web – based application will be developed to enable bidders register and submit their biddings online.
Стилі APA, Harvard, Vancouver, ISO та ін.
38

Jurgelaitis, Mantas, Lina Čeponienė, Karolis Butkus, Rita Butkienė, and Vaidotas Drungilas. "MDA-Based Approach for Blockchain Smart Contract Development." Applied Sciences 13, no. 1 (2022): 487. http://dx.doi.org/10.3390/app13010487.

Повний текст джерела
Анотація:
Blockchain smart contracts can support the decentralisation of business processes, but due to smart contracts’ specifics, their development is a complicated process. Introducing model-driven development principles in smart contract development can facilitate requirement specification, design, and implementation activities. This paper presents a model-driven development method MDAsmartCD (Model-Driven Architecture-based Smart Contract Development) to alleviate smart contract development by supporting the complete MDA life cycle, covering the definition of Computation-Independent Model, Platform
Стилі APA, Harvard, Vancouver, ISO та ін.
39

Meirui Zhong, and Na Tan. "The Design of Performance-pay Contract Model and the Explanation of Contract Government Paradox Based on Fairness Preference." Journal of Convergence Information Technology 8, no. 10 (2013): 356–63. http://dx.doi.org/10.4156/jcit.vol8.issue10.44.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
40

Dosumu, Oluwaseun, Godwin Idoro, and Henry Onukwube. "Causes of Errors in Construction Contract Documents in Southwestern, Nigeria." Journal of Construction Business and Management 1, no. 2 (2017): 11–23. http://dx.doi.org/10.15641/jcbm.1.2.59.

Повний текст джерела
Анотація:
The issue of continual poor project performance in the construction industry remains unresolved and there is need for improvement. In view of improving project performance, the study aims at investigating the frequent causes of errors in construction contract documents. The survey research design and mixed research methods were used for the study. The respondents for the study consist of 86 consulting and 98 contracting firms that have been engaged on building projects that is above one floor between 2012 and 2015. Fifty one (51) interviews were also conducted on contractors, project managers
Стилі APA, Harvard, Vancouver, ISO та ін.
41

Brice, Senou Mahugnon Rosaire, and Jules Degila. "Design of a Blockchain-Based Smart Contract Model for Child Labor Alleviation." International Journal of Technology Diffusion 11, no. 3 (2020): 1–21. http://dx.doi.org/10.4018/ijtd.2020070104.

Повний текст джерела
Анотація:
The achievements of west and central Africa in producing more than 60% of the world's cocoa, and sub-Saharan Africa's achievement in producing 13% of the world's cotton, hide child labor. These significant levels of production often involve child exposure to issues such as a lack of education; pesticides; dangerous farming tools; work accidents; human trafficking; etc. Blockchain offers an immutable register that allows for digital transactions, smart contract creation, as well as end-to-end product traceability. The main aim of this article is to provide an intelligent contract framework that
Стилі APA, Harvard, Vancouver, ISO та ін.
42

Han, Jongbeen, Yunhyeong Seo, Sangjin Lee, Sunggon Kim, and Yongseok Son. "Design and Implementation of Enabling SQL–Query Processing for Ethereum-Based Blockchain Systems." Electronics 12, no. 20 (2023): 4317. http://dx.doi.org/10.3390/electronics12204317.

Повний текст джерела
Анотація:
A blockchain is designed to establish consistent and reliable agreements in an untrusted and decentralized environment. In addition, the blockchain enables transaction processing and the creation of smart contracts. It empowers end users to execute contracts without any intermediate entities. However, there are some issues when it comes to retrieving information, such as the state and history of smart contracts and regular transactions in the blockchain. For example, in a smart contract, user-defined data structures can be used to recall the state of the smart contract for a range query, which
Стилі APA, Harvard, Vancouver, ISO та ін.
43

Sharma, Desh Deepak. "Token-Based Smart Power Contract for Interoperable Blockchains of Networked Microgrid System." New Energy Exploitation and Application 2, no. 1 (2023): 8–20. http://dx.doi.org/10.54963/neea.v2i1.118.

Повний текст джерела
Анотація:
Designing the secure and privacy-protected smart power contract between electricity suppliers and consumers, considered agents, of different microgrids, is a challenging task in the networked- microgrid system. A framework is suggested in which each microgrid implements a heterogeneous or isomorphic blockchain based platform. The blockchain interoperability, inherently, is present in different blockchains implemented by various microgrids. This paper reviews the interoperability issues and smart contract designs in blockchain based systems. The paper proposes new mechanisms to cater blockchain
Стилі APA, Harvard, Vancouver, ISO та ін.
44

Zhang, Yanru, Miao Pan, Lingyang Song, Zaher Dawy, and Zhu Han. "A Survey of Contract Theory-Based Incentive Mechanism Design in Wireless Networks." IEEE Wireless Communications 24, no. 3 (2017): 80–85. http://dx.doi.org/10.1109/mwc.2017.1500371wc.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
45

Jang, Sejun, Yeonsuk Jeong, Ghang Lee, and Youngcheol Kang. "Enhancing Subcontractors' Participation in BIM-Based Design Coordination under a DBB Contract." Journal of Management in Engineering 35, no. 6 (2019): 04019022. http://dx.doi.org/10.1061/(asce)me.1943-5479.0000714.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
46

Liu, Tingting, Jun Li, Feng Shu, Meixia Tao, Wen Chen, and Zhu Han. "Design of Contract-Based Trading Mechanism for a Small-Cell Caching System." IEEE Transactions on Wireless Communications 16, no. 10 (2017): 6602–17. http://dx.doi.org/10.1109/twc.2017.2726059.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
47

Chu, Hyun-Ji, and Byoungju Choi. "Design and Implementation of Log-based Ethereum Smart Contract Dynamic Testing Tool." KIISE Transactions on Computing Practices 26, no. 7 (2020): 322–31. http://dx.doi.org/10.5626/ktcp.2020.26.7.322.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
48

Conradt, Sarah, Robert Finger, and Raushan Bokusheva. "Tailored to the extremes: Quantile regression for index-based insurance contract design." Agricultural Economics 46, no. 4 (2015): 537–47. http://dx.doi.org/10.1111/agec.12180.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
49

Zhang, Jianxiong, Lin Feng, and Wansheng Tang. "Optimal Contract Design of Supplier-Led Outsourcing Based on Pontryagin Maximum Principle." Journal of Optimization Theory and Applications 161, no. 2 (2013): 592–607. http://dx.doi.org/10.1007/s10957-013-0415-4.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
50

Madhavan, Ravichandhran, Sumith Kulal, and Viktor Kuncak. "Contract-based resource verification for higher-order functions with memoization." ACM SIGPLAN Notices 52, no. 1 (2017): 330–43. http://dx.doi.org/10.1145/3093333.3009874.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!