Literatura académica sobre el tema "Contract-based Design"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Contract-based Design".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Contract-based Design"
Winokur, Michael, Susanne Graf y Bernhard Josko. "Contract-based System Design - The SPEEDS Approach". INCOSE International Symposium 18, n.º 1 (junio de 2008): 2477–554. http://dx.doi.org/10.1002/j.2334-5837.2008.tb00928.x.
Texto completoNešić, Damir, Mattias Nyberg y Barbara Gallina. "Product-line assurance cases from contract-based design". Journal of Systems and Software 176 (junio de 2021): 110922. http://dx.doi.org/10.1016/j.jss.2021.110922.
Texto completoKiyeng, Denies, Simon Maina Karume y Nelson Masese. "Design of Blockchain Based Smart Contract for Tendering". International Journal of Computer Applications Technology and Research 10, n.º 10 (octubre de 2021): 222–25. http://dx.doi.org/10.7753/ijcatr1010.1002.
Texto completoKolesnichenko, Alexey, Christopher M. Poskitt, Sebastian Nanz y Bertrand Meyer. "Contract-based general-purpose GPU programming". ACM SIGPLAN Notices 51, n.º 3 (11 de mayo de 2016): 75–84. http://dx.doi.org/10.1145/2936314.2814216.
Texto completoMengoni, Maura, Margherita Peruzzini, Roberto Raffaeli y Damiano Raponi. "A Web-based Platform to Support Contract Furniture Design". Computer-Aided Design and Applications 11, n.º 5 (16 de abril de 2014): 533–43. http://dx.doi.org/10.1080/16864360.2014.902684.
Texto completoChen, Baike, Yuxia Rong y 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.
Texto completoXu, Lan, Paul Tu y Qian Tang. "Contract Design for Cloud Logistics (CL) Based on Blockchain Technology (BT)". Complexity 2020 (28 de abril de 2020): 1–13. http://dx.doi.org/10.1155/2020/5305808.
Texto completoHuang, Jiahui, Yuzhuo Shan y Yining Wang. "Design and implementation of NFT-based system". Highlights in Science, Engineering and Technology 32 (12 de febrero de 2023): 1–6. http://dx.doi.org/10.54097/hset.v32i.4929.
Texto completoZhao, Nan, Minghu Wu, Wei Xiong y 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.
Texto completoSelviaridis, Kostas y Andreas Norrman. "Performance-based contracting for advanced logistics services". International Journal of Physical Distribution & Logistics Management 45, n.º 6 (6 de julio de 2015): 592–617. http://dx.doi.org/10.1108/ijpdlm-11-2014-0267.
Texto completoTesis sobre el tema "Contract-based Design"
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.
Texto completoOzkaya, M. "A design-by-contract based approach for architectural modelling and analysis". Thesis, City University London, 2014. http://openaccess.city.ac.uk/13045/.
Texto completoZong, Lu. "Temperature-based weather derivatives modeling and contract design in mainland China". Thesis, University of Liverpool, 2015. http://livrepository.liverpool.ac.uk/2017319/.
Texto completoFoo, 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.
Texto completoIn recent years, blockchain technology has received more and more attention. It has shown special advantages in digital currency, because it is distributed and its data cannot be altered. With more countries put forward the idea of the power system innovation, a large number of distributed power sources have emerged. The grid connection of these distributed power sources will lead to unstable grid operation and greatly increase the difficulty of management. Therefore, there is an urgent need for a solution that can realize direct transaction of distributed power supply. This article makes an in-depth analysis of the blockchain technology, including hash algorithm, consensus mechanism, Merkle tree, smart contract, etc. And then the Ethereum and smart grids are studied. This article realizes automation and intelligence of the electricity transaction measurement through the smart contract technology provided by Ethereum. A blockchain private chain is created and then the smart contract is deployed into the private chain. With the advantages of blockchain technology aforementioned, the storage of power data and the power transactions will be more credible and more transparent. All in all, this paper designs and builds a smart grid system based on the smart contract technology of blockchain. The system can be used not only for smart grid systems but also for other energy trading systems. This article provides a reference for the application of blockchain technology.
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.
Texto completoHuang, Shen-Hsien y 黃勝賢. "Bonus-based Leasing Contract Design". Thesis, 2015. http://ndltd.ncl.edu.tw/handle/jx4n4u.
Texto completo國立交通大學
工業工程與管理系所
103
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 m is the current market price of rent fee, 0≤a≤1 is a decision variable, P is the yearly profit of tenant, and 0≤b≤1 is also a decision variable. The idea of contract-termination option denotes that the landlord can yearly determine whether to terminate the contract or not while the contract has proceeded over Ts years. While decreasing a and b, the renting expense of the tenant becomes lower yet counterbalanced by a lower probability of signing contracts. The longer is Ts, the more is the benefit to the tenant yet counterbalanced by inducing a lower probability of signing the contract. As a result, (a, b, Ts) are decision variables in terms of maximizing the total profit of the tenant. This research assumes a one-to-many scenario; that is, there is only one tenant which is a large-scale chain retailer and there are many landlords of golden real-estates; and the tenant intends to design a contract that shall maximize its total expected profit. Making assumptions on the decision-making behaviors of the tenant and the landlords, this research develop a mathematical model maximize the expected profit of the tenant by finding an optimum leasing alternative (a, b, Ts).
Phan-Minh, Tung. "Contract-Based Design: Theories and Applications". Thesis, 2021. https://thesis.library.caltech.edu/14052/1/Tung%20Phan%20Caltech%20Thesis.pdf.
Texto completoMost 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 labor, integration of system modules, and attribution of legal responsibility calls for a more methodological look into co-design considerations. Originally conceived in computer programming, contract-based reasoning is a design approach whose promise of a formal compositional paradigm is receiving attention from a broader engineering community. Our work is dedicated to narrowing the gap between the theory and application of this yet nascent framework.
In the first half of this dissertation, we introduce a model interface contract theory for input/output automata with guards and a formalization of the directive-response architecture using assume-guarantee contracts and show how these may be used to guide the formal design of a traffic intersection and an automated valet parking system respectively. Next, we address a major drawback of assume-guarantee contracts, i.e., the problem of a void contract due to antecedent failure. Our proposed solution is a reactive version of assume-guarantee contracts that enables direct specification at the assumption and guarantee level along with a novel synthesis algorithm that exposes the effects of failures on the contract structure. This is then used to help optimize, adapt, and robustify our design against an uncertain environment.
In light of ongoing development of autonomous driving technologies and its potential impact on the safety of future transportation, the second half of this work is dedicated to the application of the design-by-contract framework to the distributed control of autonomous vehicles. We start by defining and proving properties of "assume-guarantee profiles," our proposed approach to transparent distributed multi-agent decision making and behavior prediction. Next, we provide a local conflict resolution algorithm in the context of a quasi-simultaneous game which guarantees safety and liveness to the composition of autonomous vehicle systems in this game. Finally, to facilitate the extension of these frameworks to real-life urban driving settings, we also supply an effective method to predict agent behavior that utilizes recent advances in machine learning research.
Chen, Yu-Bin y 陳裕斌. "Design and Development of a Web-based Contract learning Environment". Thesis, 2003. http://ndltd.ncl.edu.tw/handle/30313402263439682133.
Texto completo國立中央大學
資訊工程研究所
91
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 learning environment. Under the system design principles, we proceed to implement a web-based environment. The modules of the system are mainly divided into seven functions: user- related module, teacher module, learning contract module, portfolio-related module, assessment module, reward module and interaction module. Findings of this study are summarized as follows: 1.The web-based contract learning environment has positive help on learners learning in primary school. 2.This system is effective with the assistance of signing and achieve of the learning contract. 3.This system has a positive influence on the learners’ motivation.
Huang, Jyun-Peng y 黃駿朋. "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.
Texto completo國立中央大學
資訊工程學系
106
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 Smart Contract. Thanks to Smart Contract, programs can be executed decentralized. This research developed a decentralized platform with paid feedback service for knowledge market based on blockchain and smart contract. The system took block-chain's digital currency as trade token and created a collaborative knowledge market as the free market economy. Users can participate in transactions with equal rights and trade with each other directly without central organization. The mutual trusts among all participants are ensured by the underlying decentralized block-chain technology.
chien-an, wang y 王健安. "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.
Texto completo國立政治大學
企業管理學系
88
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. Given the asymmetric information financial markets, most investors of mutual funds can not measure the funds'' risk without error, thus, agent-divergent behavior may potentially arise. In a tournament reward structure, the managers'' rational attempting to maximize their expected compensation may revise the risk level or alter the composition of their portfolio during the assessment period. While there will be times when such changes don''t serve the best interest of funds'' investors. Our research demonstrates the following results: 1. An empirical investigation of 86 open-type mutual funds during 1995 to 1998 with the methods of test, t test and the Logistic regression shows fund managers with poor performance would become aggressive and tend to increase fund volatility in the latter part of an annual assessment period. The effect is obviously clear toward the end of the year and it is involved with the investors'' myopic of the assessment to the managers'' performances. 2.In our model, the bonus is similar to a call option on the funds'' portfolio. Three types of incentive contracts are compared. The results show that the incentive contract with penalty can reduce managers to adversely alter the risk of the portfolio they manage. It dominates the pure incentive contract and only with a ceiling incentive contract. Questionnaires investigated by fund managers will support some hypothesis.
Libros sobre el tema "Contract-based Design"
Chung, Demi. Private Provision of Public Services. Editado por Bent Flyvbjerg. Oxford University Press, 2017. http://dx.doi.org/10.1093/oxfordhb/9780198732242.013.26.
Texto completoWessels, Bob y Stephan Madaus, eds. Rescue of Business in Europe. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780198826521.001.0001.
Texto completoAllen, Jason y Peter Hunn, eds. Smart Legal Contracts. Oxford University Press, 2022. http://dx.doi.org/10.1093/oso/9780192858467.001.0001.
Texto completoKoplowitz, Stephan. On Site. Oxford University Press, 2022. http://dx.doi.org/10.1093/oso/9780197515235.001.0001.
Texto completoLærke, Mogens. Spinoza and the Freedom of Philosophizing. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780192895417.001.0001.
Texto completoCapítulos de libros sobre el tema "Contract-based Design"
Kaleeswaran, Arut Prakash, Arne Nordmann, Thomas Vogel y Lars Grunske. "Counterexample Interpretation for Contract-Based Design". En Model-Based Safety and Assessment, 99–114. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-58920-2_7.
Texto completoBozzano, Marco, Alessandro Cimatti, Cristian Mattarei y Stefano Tonetta. "Formal Safety Assessment via Contract-Based Design". En Automated Technology for Verification and Analysis, 81–97. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-11936-6_7.
Texto completoBenveniste, Albert, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone y Christos Sofronis. "Multiple Viewpoint Contract-Based Specification and Design". En Formal Methods for Components and Objects, 200–225. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-92188-2_9.
Texto completoVanherpen, Ken, Joachim Denil, Paul De Meulenaere y Hans Vangheluwe. "Ontological Reasoning as an Enabler of Contract-Based Co-design". En Cyber Physical Systems. Design, Modeling, and Evaluation, 101–15. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-51738-4_8.
Texto completoMicklich, Julia y Rainer Lasch. "Contract Design of Logistics Performance-Based Contracting: A Morphological Box". En Logistics Management, 355–67. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-13177-1_28.
Texto completoTabassam, Nadra y Martin Georg Fränzle. "Scenario-Oriented Contract Based Design for Safety of Autonomous Vehicles". En Smart Transportation Systems 2022, 171–83. Singapore: Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-2813-0_18.
Texto completoIrnanda, Cut Riska, Isfenti Sadalia y Nazaruddin. "Contract Analysis for Design and Build Lump Sum Price". En Proceedings of the 19th International Symposium on Management (INSYMA 2022), 1162–69. Dordrecht: Atlantis Press International BV, 2022. http://dx.doi.org/10.2991/978-94-6463-008-4_143.
Texto completoYang, Qi, Fangfang Xu, Yu Zhang, Fang Liu, Wei Hu y Qinghan Liao. "Design and Implementation of a Loan System Based on Smart Contract". En Smart Blockchain, 22–31. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-05764-0_3.
Texto completoCimatti, Alessandro, Rance DeLong, Davide Marcantonio y Stefano Tonetta. "Combining MILS with Contract-Based Design for Safety and Security Requirements". En Lecture Notes in Computer Science, 264–76. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-24249-1_23.
Texto completoLei, Wang, Ma Yichao, Zhu Liuzhu, Wang Xuli, Cong Hao y Shi Tiancheng. "Design of Integrated Energy Market Service System Based on Blockchain Smart Contract". En Lecture Notes in Electrical Engineering, 421–39. Singapore: Springer Singapore, 2022. http://dx.doi.org/10.1007/978-981-16-7156-2_30.
Texto completoActas de conferencias sobre el tema "Contract-based Design"
Silva, Caine, Sylvain Guérin, Raúl Mazo y Joel Champeau. "Contract-based design patterns". En ARES 2020: The 15th International Conference on Availability, Reliability and Security. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3407023.3409185.
Texto completoRibeiro dos Santos, Cesar Augusto, Amr Hany Saleh, Tom Schrijvers y Mike Nicolai. "CONDEnSe: Contract Based Design Synthesis". En 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.
Texto completoVan Acker, Bert y Joachim Denil. "Contract-based product-assembly co-design". En MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems. New York, NY, USA: ACM, 2022. http://dx.doi.org/10.1145/3550356.3559575.
Texto completoOzkaya, Mert y Christos Kloukinas. "Towards Design-by-Contract based software architecture design". En 2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT). IEEE, 2013. http://dx.doi.org/10.1109/somet.2013.6645654.
Texto completoIannopollo, Antonio, Pierluigi Nuzzo, Stavros Tripakis y Alberto Sangiovanni-Vincentelli. "Library-based scalable refinement checking for contract-based design". En Design Automation and Test in Europe. New Jersey: IEEE Conference Publications, 2014. http://dx.doi.org/10.7873/date.2014.167.
Texto completoIannopollo, Antonio, Pierluigi Nuzzo, Stavros Tripakis y Alberto Sangiovanni-Vincentelli. "Library-based scalable refinement checking for contract-based design". En Design Automation and Test in Europe. New Jersey: IEEE Conference Publications, 2014. http://dx.doi.org/10.7873/date2014.167.
Texto completoCancila, Daniela, Hadi Zaatiti y Roberto Passerone. "Cyber-Physical System and Contract-Based Design". En ESWEEK'15: ELEVENTH EMBEDDED SYSTEM WEEK. New York, NY, USA: ACM, 2015. http://dx.doi.org/10.1145/2832920.2832924.
Texto completoSoderberg, Andreas y Rolf Johansson. "Safety contract based design of software components". En 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE, 2013. http://dx.doi.org/10.1109/issrew.2013.6688922.
Texto completoSun, Xuening, Pierluigi Nuzzo, Chang-Ching Wu y Alberto Sangiovanni-Vincentelli. "Contract-based system-level composition of analog circuits". En the 46th Annual Design Automation Conference. New York, New York, USA: ACM Press, 2009. http://dx.doi.org/10.1145/1629911.1630066.
Texto completoSehnke, Tobias, Matthias Schultalbers y Rolf Ernst. "Contract-based integration of automotive control software". En 2017 Design, Automation & Test in Europe Conference & Exhibition (DATE). IEEE, 2017. http://dx.doi.org/10.23919/date.2017.7927248.
Texto completoInformes sobre el tema "Contract-based Design"
Баттахов, П. П. Договоры о передаче исключительных прав на объекты промышленной собственности с участием социальных предприятий. DOI CODE, 2021. http://dx.doi.org/10.18411/1818-1538-2021-55669.
Texto completoFinkelshtain, Israel y Tigran Melkonyan. The economics of contracts in the US and Israel agricultures. United States Department of Agriculture, febrero de 2008. http://dx.doi.org/10.32747/2008.7695590.bard.
Texto completoUser Guide for Procurement of Works: Standard Bidding Document (FIDIC Red Book (2017)). Asian Development Bank, octubre de 2022. http://dx.doi.org/10.22617/tim220342-2.
Texto completo