Relevant bibliographies by topics / Contract-based Design

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Contract-based Design'

Author: Grafiati
Published: 11 March 2023
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Contract-based Design.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
More sources

Dissertations / Theses on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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/.

Full text
Abstract:
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, and other styles
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/.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
6

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

Full text
Abstract:
碩士<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, and other styles
7

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

Full text
Abstract:
<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, and other styles
8

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

Full text
Abstract:
碩士<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, and other styles
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.

Full text
Abstract:
碩士<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, and other styles
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.

Full text
Abstract:
博士<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, and other styles

Books on the topic "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.

Full text
Abstract:
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, and other styles
2

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

Full text
Abstract:
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, and other styles
3

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

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
5

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

Full text
Abstract:
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, and other styles
6

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

Full text
Abstract:
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, and other styles
7

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

Full text
Abstract:
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, and other styles
8

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

Full text
Abstract:
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, and other styles

Book chapters on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
4

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

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
10

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

Full text
Abstract:
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, and other styles
You might also be interested in the extended bibliographies on the topic 'Contract-based Design' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography