Results 21 to 30 of about 1,104,748 (281)
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
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
A Differential Lyapunov Framework for Contraction Analysis [PDF]
IEEE Transactions on Automatic Control, 2014 Lyapunov's second theorem is an essential tool for stability analysis of differential equations. The paper provides an analog theorem for incremental stability analysis by lifting the Lyapunov function to the tangent bundle. The Lyapunov function endows the state-space with a Finsler structure.
Forni, Fulvio, Sepulchre, Rodolphe
openaire +4 more sources
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
Education Sciences, 2023 There has been a growing number of contract cheating incidents recorded in Australia’s higher education system. Such activities create a significant threat to the validity and integrity of qualifications obtained by students.
Deepani B. Guruge, Rajan Kadel
doaj +1 more source
Dundee Discussion Papers in Economics 220:China's new labour contract law: no harm to employment? [PDF]
, 2008 In January 2008, China imposed a new labour contract law. This new law is the most significant reform to the law of employment relations in mainland China in more than a decade.
Chen, Yu-Fu, Funke, Michael
core +2 more sources
Power Purchasing Agreement in the Framework of Civil Law [PDF]
حقوق فناوریهای نوین, 2020 Power purchasing agreements (PPA) seek to protect and develop electricity production specifically some kinds like renewable and green electricity. They have been common after restructuring electricity industrial.
Kiomars Heidari +2 more
doaj +1 more source
International Journal of Engineering Business Management, 2021 The present research is inclined to study the relationship between two important forms of “Contract” in employment relations, psychological contract and knowledge contract, and job outcomes, i.e. employee retention and employee satisfaction.
Sunanda Nayak +2 more
doaj +1 more source
Access to and use of marine genetic resources : understanding the legal framework [PDF]
, 2014 This article is licensed under a Creative Commons Attribution 3.0 Unported Licence. Acknowledgements This work was supported by the PharmaSea project funded by the EU Seventh Framework Programme, and reects only the authors' views. Contract number 312184.
Dobson, Alan D. W. +5 more
core +1 more source
Procedural Justice in Selection from the Lens of Psychological Contract Theory
Organizacija, 2020 Background and purpose: In recruitment and selection, job applicants do not only base their justice judgment on the actual experience but also compare what happens and what they expect.
Huy Phuong Tran +3 more
doaj +1 more source