Results 21 to 30 of about 119,779 (307)
Features and Conditions of Building Information Modeling Contracts
Buildings, 2022 Building information modeling (BIM) has improved efficiency in construction projects by utilizing digital instrument capabilities. However, the use of this technology has brought new challenges, particularly legal and contract issues.
Siamak Nilchian +3 more
doaj +1 more source
A collaborative framework for generating probabilistic contracts [PDF]
2013 International Conference on Collaboration Technologies and Systems (CTS), 2013 We propose a collaborative framework for generating probabilistic contracts for Android smartphones aimed at detecting repackaged applications. To this end, a network of users sends to the application server the sequences of actions that represent the usage profile of the application.
Fabio Martinelli +3 more
openaire +4 more sources
, 2023 Blockchains-based smart contracts are disrupting the smart real estate sector of the smart cities. The current study explores the literature focused on blockchain smart contracts in smart real estate and proposes a conceptual framework for its adoption ...
Ullah, Fahim, Al-Turjman, Fadi
core +1 more source
Survey of Smart Contract Framework and Its Application
Information, 2021 This article is a literature review on smart contract applications in various domains. The aim is to investigate technological developments and implementation of smart contracts in various domains.
Edi Surya Negara +3 more
doaj +1 more source
Cooperative Investments Induced by Contract Law [PDF]
, 2004 Lecture on the first SFB/TR 15 meeting, Gummersbach, July, 18 - 20, 2004This paper revisits the economic analysis of contract law for a setting of cooperative investments.
Schweizer, Urs
core +2 more sources
Frontiers in Psychology, 2023 Ethical values and beliefs are increasingly realized as important factors in the operation of psychological contract for their potential role in determining individuals' attitudes toward employment relationships by valuing mutual exchange.
Yao Fu, Yuan Xu
doaj +1 more source
ConCert: a smart contract certification framework in Coq [PDF]
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020 Extended the related work section. Significantly extended sections on translation and semantics. Added more examples and details about the formalisation. Commented of unquote and the trusted computing base.
Danil Annenkov +2 more
openaire +3 more sources
Survey of Ethereum Smart Contract Fuzzing Technology Research [PDF]
Jisuanji kexue, 2022 Smart contracts running on the blockchain platform completethe establishment and automatic execution of a greements between different participants,and also manage a large number of digital assets.The frequent exposure of smart contract loopholes has ...
HUANG Song, DU Jin-hu, WANG Xing-ya, SUN Jin-lei
doaj +1 more source
A framework for the semantics of behavioral contracts [PDF]
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications, 2010 Contracts have proved a powerful concept in software engineering, to the point where we have a well regarded software development approach centered on their use, and native support in programming languages. However, it is not clear that there is a uniform concept of contract that can be applied to both algorithmic and interactive software. We propose a
openaire +1 more source
From Contracts in Structured English to CL Specifications [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 In this paper we present a framework to analyze conflicts of contracts written in structured English. A contract that has manually been rewritten in a structured English is automatically translated into a formal language using the Grammatical Framework ...
Seyed M. Montazeri +2 more
doaj +1 more source