Готові списки джерел за темами / Contract-based Design

Зміст

  1. Статті в журналах
  2. Дисертації
  3. Книги
  4. Частини книг
  5. Тези доповідей конференцій
  6. Звіти організацій

Добірка наукової літератури з теми "Contract-based Design"

Автор: Grafiati
Опубліковано: 11 березня 2023
Оновлено: 31 липня 2025

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

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

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Contract-based Design".

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

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

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

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 та ін.
Більше джерел

Дисертації з теми "Contract-based Design"

1

Greber, Nicole. "Test wizard automatic test generation based on design by contract /." Zürich : ETH, Eidgenössische Technische Hochschule Zürich, Professur für Software Engineering /Chair of Software Engineering, 2004. http://e-collection.ethbib.ethz.ch/show?type=dipl&nr=194.

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

Ozkaya, M. "A design-by-contract based approach for architectural modelling and analysis." Thesis, City University London, 2014. http://openaccess.city.ac.uk/13045/.

Повний текст джерела
Анотація:
Research on software architectures has been active since the early nineties, leading to a number of different architecture description languages (ADL). Given their importance in facilitating the communication of crucial system properties to different stakeholders and their analysis early on in the development of a system this is understandable. However, practitioners rarely use ADLs, and, instead, they insist on using the Unified Modelling Language (UML) for specifying software architectures. I attribute this to three main issues that have not been addressed altogether by the existing ADLs. Fi
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Zong, Lu. "Temperature-based weather derivatives modeling and contract design in mainland China." Thesis, University of Liverpool, 2015. http://livrepository.liverpool.ac.uk/2017319/.

Повний текст джерела
Анотація:
In the presented thesis, we build the theoretical framework for the development of temperature-based weather derivatives market in China. Our research is divided into two separate studies due to their different scopes. In the first study, we focus on the determination of the most precise model for temperature-based weather derivative modeling and pricing in China. To achieve this objective, a heuristic comparison of the new stochastic seasonal variation (SSV) model with three established empirical temperature and pricing models, i.e. the Alaton model [1], the CAR model [2] and the Spline model
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Foo, Xueyuan. "Design and Implementation of A Smart Grid System Based on Blockchain Smart Contract Technology." Thesis, Mittuniversitetet, Institutionen för informationssystem och –teknologi, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-40851.

Повний текст джерела
Анотація:
Under de senaste åren har blockchain-tekniken fått mer och mer uppmärksamhet. Det har visat speciella fördelar i digital valuta, eftersom det distribueras och dess data inte kan ändras. Med fler länder som presenterar idén om kraftsysteminnovationen har ett stort antal distribuerade kraftkällor dykt upp. Nätanslutningen för dessa distribuerade kraftkällor leder till instabil nätdrift och ökar svårigheten att hantera kraftigt. Därför finns det ett akut behov av en lösning som kan realisera direkt transaktion av distribuerad kraftförsörjning. Denna artikel gör en fördjupad analys av blockchain-t
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Coombs, Steven John. "Design and conversational evaluation of an information technology learning environment based on self-organised-learning." Thesis, Brunel University, 1996. http://bura.brunel.ac.uk/handle/2438/4829.

Повний текст джерела
Анотація:
From 1990 to 1993 I was engaged as the Information Technology (IT) Workshop manager at Mid-Cornwall College, St. Austell. My mission during this period was to develop a new kind of IT learning environment. The main purpose was - and continues to be - to provide for mixed 'open-access’ student targets wishing to pursue generic IT activities and gain commensurate vocational qualifications. This Open-Learning (OL) environment provides on-the-job curriculum development of IT learning support systems, through a Flexible Learning (FL) management policy. An action research approach based on S-O-L pro
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Huang, Shen-Hsien, and 黃勝賢. "Bonus-based Leasing Contract Design." Thesis, 2015. http://ndltd.ncl.edu.tw/handle/jx4n4u.

Повний текст джерела
Анотація:
碩士<br>國立交通大學<br>工業工程與管理系所<br>103<br>According to practitioners, retail stores located in “golden” real-estates (i.e., in good locations) greatly outperform other stores in terms of profits. Therefore, how to keep a long-term leasing contract with golden real-estate owners is very important to retail stores. To achieve this goal, this research proposes a leasing contract which is bonus-based with contract-termination option. The bonus-based idea denotes that the tenant shares the profit with the landlord in order to keep a long-term contract. That is, the landlord shall receive y=a∙m+b∙P, where
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Phan-Minh, Tung. "Contract-Based Design: Theories and Applications." Thesis, 2021. https://thesis.library.caltech.edu/14052/1/Tung%20Phan%20Caltech%20Thesis.pdf.

Повний текст джерела
Анотація:
<p>Most things we know only exist in relation to one another. Their states are strongly coupled due to dependencies that arise from such relations. For a system designer, acknowledging the presence of these dependencies is as crucial to guaranteeing performance as studying them. As the roles played by technology in fields such as transportation, healthcare, and finance continue to be more profound and diverse, modern engineering systems have grown to be more reliant on the integration of technologies across multiple disciplines and their requirements. The need to ensure proper division of labo
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Chen, Yu-Bin, and 陳裕斌. "Design and Development of a Web-based Contract learning Environment." Thesis, 2003. http://ndltd.ncl.edu.tw/handle/30313402263439682133.

Повний текст джерела
Анотація:
碩士<br>國立中央大學<br>資訊工程研究所<br>91<br>The purpose of this study is to develop a web-learning environment with the concept of contract learning as foundations. This environment provides tools to support a learner to sign a contract and to achieve it. Contract learning is an effective method of developing the learner independent and self-directed learning. The learner has to make promise to a learning contract and carry on with the goal. This paper first describes relevant theories of self-directed learning and contract learning, and then induces the system design principles of developing contract le
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Huang, Jyun-Peng, and 黃駿朋. "A Decentralized and Collaborative Knowledge Market Platform Design for Paid Feedback Service based on Smart Contract Technology." Thesis, 2018. http://ndltd.ncl.edu.tw/handle/b229d7.

Повний текст джерела
Анотація:
碩士<br>國立中央大學<br>資訊工程學系<br>106<br>The popularity of the Internet has created the era of information explosion. Therefore, how to obtain the useful information within also becomes more important. Some specific question-and-answer platforms, such as Yahoo! Answers and Stack Overflow, arose due to the increasing needs of information exchange. Knowledge should be priced and traded as normal items in the market as well, however, most of these platforms haven’t create a proper paid feedback service. Blockchain technology has become more and more mature recently, especially after the invention of Smar
Стилі APA, Harvard, Vancouver, ISO та ін.
10

chien-an, wang, and 王健安. "A Study of the Mutual Fund Managers'' Risk-Adjustment Behaviorand the Design of a Performance-Based Incentive Contract." Thesis, 2000. http://ndltd.ncl.edu.tw/handle/42980077159964265279.

Повний текст джерела
Анотація:
博士<br>國立政治大學<br>企業管理學系<br>88<br>An important question for the contracting literature is the extent to which real behavior is driven by the financial incentives contained in compensation schemes. To address this issue, (1) we use the tournament concept as the framework, and focus on the competitive nature of mutual fund environments how to affect the managers'' portfolio decision-making processes. (2) we also use the Black-Scholes option pricing model as the framework, and analyze the impact on the mutual fund managers'' risk-manipulation behavior of a performance-based incentive plan.
Стилі APA, Harvard, Vancouver, ISO та ін.

Книги з теми "Contract-based Design"

1

Chung, Demi. Private Provision of Public Services. Edited by Bent Flyvbjerg. Oxford University Press, 2017. http://dx.doi.org/10.1093/oxfordhb/9780198732242.013.26.

Повний текст джерела
Анотація:
The first public–private partnership (PPP) motorway in Australia was open to traffic more than two decades ago, and yet no comprehensive evaluation of PPPs in the road transport sector has been sighted. It is the intention of this chapter to fill this gap. Although there have been noticeable advancements in contract design and use of incentive mechanisms to optimize risk allocation between the public and private sectors, Australian PPP motorways have yet to deliver an optimal outcome. It is questionable whether the current risk-shifting approach in the present PPP paradigm is suitable for prov
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Robison, Wade L. Ethics Within Engineering. Bloomsbury Publishing Plc, 2023. http://dx.doi.org/10.5040/9781350340473.

Повний текст джерела
Анотація:
Exploring key ethical concerns in the engineering industry, this 2nd edition of Ethics Within Engineering is fully revised and updated to educate a new generation of engineers in ethical decision-making. By focusing on critical issues concerning tracking harm, contract work, and collective action, Wade L. Robison provides educational tools and solutions that match the complexity of the engineering landscape today. Two new chapters on the responsibility of the engineer and the ethical issues that arise when teams work together to solve design problems, together with new material on tracking har
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Eaton, Sarah Elaine. Plagiarism in Higher Education. ABC-CLIO, 2021. http://dx.doi.org/10.5040/9798400697142.

Повний текст джерела
Анотація:
With considerations for students, faculty members, librarians, and researchers, this book will explain and help to mitigate plagiarism in higher education contexts. Plagiarism is a complex issue that affects many stakeholders in higher education, but it isn't always well understood. This text provides an in-depth, evidence-based understanding of plagiarism with the goal of engaging campus communities in informed conversations about proactive approaches to plagiarism. Offering practical suggestions for addressing plagiarism campus-wide, this book tackles such messy topics as self-plagiarism, pl
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Wessels, Bob, and Stephan Madaus, eds. Rescue of Business in Europe. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780198826521.001.0001.

Повний текст джерела
Анотація:
This edited volume is based on the European Law Institute’s (ELI) project ‘Rescue of Business in Insolvency Law’. The project ran from 2013 to 2017 under the auspices of the ELI and was conducted by Bob Wessels and Stephan Madaus, who were assisted by Gert-Jan Boon. The study sought to design (elements of) a legal framework that will enable the further development of coherent and functional rules for business rescue in Europe. This includes certain statutory procedures that could better enable parties to negotiate solutions where a business becomes financially distressed. Such a framework also
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Allen, Jason, and Peter Hunn, eds. Smart Legal Contracts. Oxford University Press, 2022. http://dx.doi.org/10.1093/oso/9780192858467.001.0001.

Повний текст джерела
Анотація:
This book provides a landmark survey of computational contracting: one of the most important legal and practical trends for centuries. Computational contracts introduce software functionalities to operationalize, rather than merely record, acts of commercial coordination. In doing so, they bring together software and law in interesting and unchartered ways to create dynamic documents that present unique opportunities and challenges. Distributed ledger technologies have propelled ‘smart contracts’ into mainstream application over the last decade. The introduction of software into contractual re
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Cammisa, Anne Marie, and Paul Christopher Manuel. Path of American Public Policy. Rowman & Littlefield, 2013. https://doi.org/10.5040/9781978737105.

Повний текст джерела
Анотація:
Among all the worlds’ democracies, the American system of government is perhaps the most self-conscious about preventing majority tyranny. The American constitutional system is predicated on an inherent ideational and institutional tension dating back to the foundation of the nation in the eighteenth century, which constrains innovative policy development. Namely, the framers designed a system that simultaneously seeks to protect the rights of the minority out of power and provide for majority rule. These opposing goals are based on the idea that limiting governmental power will guarantee indi
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Koplowitz, Stephan. On Site. Oxford University Press, 2022. http://dx.doi.org/10.1093/oso/9780197515235.001.0001.

Повний текст джерела
Анотація:
On Site: Methods for Site-Specific Performance Creation is written for artists and students at all levels who wish to explore the artistic and production processes of making sited works. The book covers specific, practical strategies for an array of issues to consider before, during, and after embarking upon a project: selecting a site, researching and exploring a site for inspiration and content, considering differences in urban and natural environments, procuring permits, designing the audience experience, defining key production roles, and building effective collaborations with different ar
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Lærke, Mogens. Spinoza and the Freedom of Philosophizing. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780192895417.001.0001.

Повний текст джерела
Анотація:
In the seventeenth century, a new kind of public sphere emerged in the Dutch Republic. Courtly structures of political advice made room for new, republican forms of public consultation between the sovereign powers and the general citizenry. Missing, however, were guidelines for how and when to address questions of public import, how to shape citizens sufficiently unprejudiced and in possession of their own free judgment to speak up for themselves in public deliberations, and how to ensure that citizens would candidly engage in public speech with the best interest of the republic in mind, and n
Стилі APA, Harvard, Vancouver, ISO та ін.

Частини книг з теми "Contract-based Design"

1

Lidström, Christian, and Dilian Gurov. "Contract Based Embedded Software Design." In Theoretical Aspects of Software Engineering. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-35257-7_5.

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

Kaleeswaran, Arut Prakash, Arne Nordmann, Thomas Vogel, and Lars Grunske. "Counterexample Interpretation for Contract-Based Design." In Model-Based Safety and Assessment. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-58920-2_7.

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

Nuottila, Jouko, Anna Hurmerinta-Haanpää, and Hilja Autto. "Design Science Methodology for AI-Based Contract Design Research." In Law, Governance and Technology Series. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-80111-2_16.

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

Bozzano, Marco, Alessandro Cimatti, Cristian Mattarei, and Stefano Tonetta. "Formal Safety Assessment via Contract-Based Design." In Automated Technology for Verification and Analysis. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-11936-6_7.

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

Benveniste, Albert, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, and Christos Sofronis. "Multiple Viewpoint Contract-Based Specification and Design." In Formal Methods for Components and Objects. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-92188-2_9.

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

Tabassam, Nadra, Martin Fränzle, Muhammad Waleed Ansari, and Ghazala Shaheen. "Review: Contract-Based Design Methodologies for Cyber-Physical Systems." In Lecture Notes in Networks and Systems. Springer Nature Singapore, 2025. https://doi.org/10.1007/978-981-97-9559-8_12.

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

Vanherpen, Ken, Joachim Denil, Paul De Meulenaere, and Hans Vangheluwe. "Ontological Reasoning as an Enabler of Contract-Based Co-design." In Cyber Physical Systems. Design, Modeling, and Evaluation. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-51738-4_8.

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

Irnanda, Cut Riska, Isfenti Sadalia, and Nazaruddin. "Contract Analysis for Design and Build Lump Sum Price." In Proceedings of the 19th International Symposium on Management (INSYMA 2022). Atlantis Press International BV, 2022. http://dx.doi.org/10.2991/978-94-6463-008-4_143.

Повний текст джерела
Анотація:
AbstractA toll road is one of the National Strategic Projects with complete problems and needs highspeed performance during construction. So, contract construction that is usually applied to these projects is design and build contract. Furthermore, best practice for Design and Build is combined with Lump Sum as an estimation cost aspect, so the type of contract used is Design and Build Lump Sum Price. This study aims to review the implementation of the Design and Build Lup Sum Price Contract based on the terms and conditions in the Indonesian Legislation and FIDIC on the Trans Sumatra Toll Pro
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Peng, Sihai. "Research on Edge Computing Offloading Algorithm Based Contract-Design Theory." In Lecture Notes in Electrical Engineering. Springer Nature Singapore, 2024. http://dx.doi.org/10.1007/978-981-97-2120-7_14.

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

Tabassam, Nadra, Martin Fränzle, and Muhammad Waleed Ansari. "A Contract-Based Design Methodology for Safety in Autonomous Vehicles." In Smart Innovation, Systems and Technologies. Springer Nature Singapore, 2024. http://dx.doi.org/10.1007/978-981-97-6748-9_9.

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

Тези доповідей конференцій з теми "Contract-based Design"

1

Song, Jiaying, Zhen Li, Yingchao Qin, Bingxu Wang, Gang Xiong, and Hanwen Miao. "HDFG: Ethereum Smart Contract Honeypot Detection Based on Pre-Training Techniques." In 2025 28th International Conference on Computer Supported Cooperative Work in Design (CSCWD). IEEE, 2025. https://doi.org/10.1109/cscwd64889.2025.11033607.

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

Huang, Jingyu, Xiaorui Gong, and Xiu Zhang. "SCMDetector: Smart Contract Malicious Detection Technique based on GLM and ABLSTM-A." In 2025 28th International Conference on Computer Supported Cooperative Work in Design (CSCWD). IEEE, 2025. https://doi.org/10.1109/cscwd64889.2025.11033291.

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

Tang, Qing, Zetong Zhou, Zhaoxiong Bu, Li Ma, and Yong Zhong. "Formal Specification and Verification of API Security Based on Design by Contract." In 2024 IEEE 6th International Conference on Power, Intelligent Computing and Systems (ICPICS). IEEE, 2024. https://doi.org/10.1109/icpics62053.2024.10796383.

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

Ikhsan, Ikhsan, Rosmariani Arifuddin, and Muhammad Asad Abdurrahman. "Risk Analysis of Delay in Construction Project Based on Design and Build Contract." In International Conference on Research in Engineering and Science Technology (IC-REST) 2023. Trans Tech Publications Ltd, 2025. https://doi.org/10.4028/p-gkp9mr.

Повний текст джерела
Анотація:
The selection of a procurement system through Design-Build is one of the alternatives for reducing the project implementation schedule, but time delays still occur. This study aims to determine the priority of risk sources and risk control strategies using the house of risk method through a questionnaire given to experts as respondents. Forty risk events and 17 risk agents will be assigned to contractors experienced in design-build construction on building projects. Based on the analysis results, the highest risk priority was that the contract between the project owner and the design-build con
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Yan, Yunqi, and Ying Chen. "Nash Bargaining-Based Pre-disaster Load Curtailment Contract Design for Distribution Grid Resilience Enhancement." In 2024 IEEE Power & Energy Society General Meeting (PESGM). IEEE, 2024. http://dx.doi.org/10.1109/pesgm51994.2024.10688736.

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

Ma, Bowen, Zihan Feng, Yuzhou Gao, Ying Chen, and Jiwei Huang. "Secure Service-Oriented Contract Based Incentive Mechanism Design in Federated Learning via Deep Reinforcement Learning." In 2024 IEEE International Conference on Web Services (ICWS). IEEE, 2024. http://dx.doi.org/10.1109/icws62655.2024.00074.

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

Silva, Caine, Sylvain Guérin, Raúl Mazo, and Joel Champeau. "Contract-based design patterns." In ARES 2020: The 15th International Conference on Availability, Reliability and Security. ACM, 2020. http://dx.doi.org/10.1145/3407023.3409185.

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

Ribeiro dos Santos, Cesar Augusto, Amr Hany Saleh, Tom Schrijvers, and Mike Nicolai. "CONDEnSe: Contract Based Design Synthesis." In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, 2019. http://dx.doi.org/10.1109/models.2019.00009.

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

Van Acker, Bert, and Joachim Denil. "Contract-based product-assembly co-design." In MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems. ACM, 2022. http://dx.doi.org/10.1145/3550356.3559575.

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

Ozkaya, Mert, and Christos Kloukinas. "Towards Design-by-Contract based software architecture design." In 2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT). IEEE, 2013. http://dx.doi.org/10.1109/somet.2013.6645654.

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

Звіти організацій з теми "Contract-based Design"

1

Lagus, P. L., and R. A. Grot. PR-221-9215-R01 Manufacture Pre-Production Gas Flow Measurement System. Pipeline Research Council International, Inc. (PRCI), 1995. http://dx.doi.org/10.55274/r0011966.

Повний текст джерела
Анотація:
Measurement of the throughput of a natural gas compressor can be undertaken using a constant flow tracer dilution technique. In this technique, a constant flow of tracer is introduced into the piping upstream of the compressor while samples of diluted tracer are measured downstream of the compressor. The samples are analyzed using a specially configured analyzer. Knowledge of the injection rate and injection concentration coupled with the downstream measurement of tracer concentration allows the throughput through the compressor to be calculated. Under this contract, three systems were fabrica
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Yu, Y. S. Capabilities, limitations and the use of the GEOROC computer package. Natural Resources Canada/CMSS/Information Management, 1987. http://dx.doi.org/10.4095/325534.

Повний текст джерела
Анотація:
Computer codes have been used by various researchers in modelling viscoelastic formations, with a good degree of success. Serata used a complex rheological model, REM (Rheological Element Model) code, to simulate mine openings [2]. Others, in the U.S. Nuclear Waste Isolation Programme, have evaluated the capability of various codes for the design of nuclear waste repository [3]. Because of the proprietary nature of the above codes, they are not available to mine operators in Canada. Consequently, in 1984, CANMET initiated a research project to develop a numerical modelling package for use in t
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Briones, Roehlano, Roberto Clemente, Arlene Inocencio, Roger Jr Luyun, and Agnes Rola. Assessment of the Free Irrigation Service Act. Philippine Institute for Development Studies, 2019. https://doi.org/10.62986/dp2019.14.

Повний текст джерела
Анотація:
The country's irrigation systems have had a long history of recovering maintenance cost from farmers. The Free Irrigation Service Act (FISA) of 2018 was a radical departure from this policy. Based on examining secondary data, and primary information from key informant interviews and focus group discussions, this study conducts a preliminary assessment of the policy change. The assessment finds that the main benefit to farmers from free irrigation is the savings from paying the irrigation service fee in the case of national irrigation systems (NIS); and the subsidy for operations and maintenanc
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Баттахов, П. П. Договоры о передаче исключительных прав на объекты промышленной собственности с участием социальных предприятий. DOI CODE, 2021. http://dx.doi.org/10.18411/1818-1538-2021-55669.

Повний текст джерела
Анотація:
The article considers contractual designs aimed at transferring exclusive rights to industrial property. The problem of the contractual process was identified when concluding a contract on the transfer of a set of exclusive rights. Based on the study, a number of changes to Russian laws have been proposed. First of all, this applies to a commercial concession contract. The author proposes to amend the Civil Code of the Russian Federation by supplementing the article on commercial concession with the right of organizations that do not conduct commercial activities to conclude the same contracts
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Finkelshtain, Israel, and Tigran Melkonyan. The economics of contracts in the US and Israel agricultures. United States Department of Agriculture, 2008. http://dx.doi.org/10.32747/2008.7695590.bard.

Повний текст джерела
Анотація:
Research Objectives 1) Reviewing the rich economic literature on contracting and agricultural contracting; 2) Conducting a descriptive comparative study of actual contracting patterns in the U.S. and Israeli agricultural sectors; 3) Theoretical analysis of division of assets ownership, authority allocation and incentives in agricultural production contracts; 4) Theoretical analysis of strategic noncompetitive choice of agricultural production and marketing contracts, 5) Empirical studies of contracting in agricultural sectors of US and Israel, among them the broiler industry, the citrus indust
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Brownworth, Anders, Jon Durfee, Michael Junho Lee, and Antoine Martin. Regulating Decentralized Systems: Evidence from Sanctions on Tornado Cash. Federal Reserve Bank of New York, 2024. http://dx.doi.org/10.59576/sr.1112.

Повний текст джерела
Анотація:
Blockchain-based systems are run by a decentralized network of participants and are designed to be censorship-resistant. We use sanctions imposed by the U.S. Department of Treasury on Tornado Cash (TC), a smart contract protocol, to study the impact and effectiveness of regulation in decentralized systems. We document an immediate and lasting impact on TC following the sanction announcement, measured by market reaction, transaction volume, and diversity of users. Still, net flows into TC contracts recover to and surpass pre-announcement levels for most pools, supporting viability of TC. Eviden
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Ulep, Valerie Gilbert. Impact Evaluation of DOH’s Implementation of Articles 6 and 11 of the Framework Convention of Tobacco Control. Philippine Institute for Development Studies, 2023. http://dx.doi.org/10.62986/dp2023.02.

Повний текст джерела
Анотація:
In the Philippines, graphic health warning (GHW) labels are replaced every two years with new designs. As a result, it is critical to assess whether the law is accomplishing its goal of reducing cigarette demand and smoking initiation among the youth. This study aims to evaluate the impact of GHW on cigarette packaging in terms of cigarette demand, number of smokers, and smoking initiation. The potential impact of GHW on smoking demand was evaluated using a discrete choice experiment (DCE) method. According to the research, dark-colored packaging and larger pictures on GHWs had a statistically
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Mosalam, Khalid, Amarnath Kasalanati, and Grace Kang. PEER Annual Report 2016. Pacific Earthquake Engineering Research Center, University of California, Berkeley, CA, 2017. http://dx.doi.org/10.55461/anra5954.

Повний текст джерела
Анотація:
The Pacific Earthquake Engineering Research Center (PEER) is a multi-institutional research and education center with headquarters at the University of California, Berkeley. PEER’s mission is to develop, validate, and disseminate performance-based seismic design technologies for buildings and infrastructure to meet the diverse economic and safety needs of owners and society. The year 2016 began with a change of leadership at PEER. On January 1, Professor Khalid Mosalam became the new PEER Director as Professor Stephen Mahin completed his 6- year term. Also in early 2016, Dr. Yousef Bozorgnia s
Стилі APA, Harvard, Vancouver, ISO та ін.
9

User Guide for Procurement of Works: Standard Bidding Document (FIDIC Red Book (2017)). Asian Development Bank, 2022. http://dx.doi.org/10.22617/tim220342-2.

Повний текст джерела
Анотація:
This publication provides guidance for borrowers on how to prepare a bidding document for an admeasurement (unit price) type of works contract using FIDIC Red Book (2017) general terms and conditions. It also covers how to evaluate bids and award contracts, based on the Asian Development Bank’s Standard Bidding Document for the Procurement of Works for cases “with” and “without” prequalification. The SBDs make use of the Conditions of Contract for Construction for Building and Engineering Works Designed by the Employer (“Red book”) Second edition 2017, published by the Fédération International
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Code of Good Practice in Research 2.0. Munster Technological University, 2025. https://doi.org/10.34719/ypjh2054.

Повний текст джерела
Анотація:
The University is committed to ensuring that the research it supports is carried out to the highest possible standards of integrity and in conformity with current legislation. The University expects that all research is performed to the highest standards of integrity at all times, irrespective of whether the researchers are students, contract researchers or staff members of the University, or their collaborators. Research integrity takes precedence over any consideration related to the source of the funding, either internal or external. This code sets out a series of guiding principles and sta
Стилі APA, Harvard, Vancouver, ISO та ін.
Також вас можуть зацікавити розширені добірки на тему "Contract-based Design" для конкретних типів джерел:
Статті в журналах
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії