Results 271 to 280 of about 119,779 (307)
Some of the next articles are maybe not open access.
A Framework to Generate Smart Contracts On the Fly
Brazilian Symposium on Software Engineering, 2021Blockchain is a disruptive technology that offers a secure decentralized network, and allows for direct transactions between distributed entities, without the need for a trusted third party. Smart contracts are executable codes hosted on the blockchain and enable the implementation of several decentralized applications, in different domains.
Levy Marlon Santiago +2 more
openaire +1 more source
A Framework for Probabilistic Contract Compliance [PDF]
, 2013 We propose PICARD (ProbabIlistic Contract on AndRoiD), a framework to detect repackaged applications for Android smartphones based upon probabilistic contract matching. A contract describes the sequences of actions that an application is allowed to perform at run-time, i.e. its legal behavior.
Gianluca Dini +3 more
openaire +2 more sources
Celestial: A Smart Contracts Verification Framework
2021We present CELESTIAL, a framework for formally verifying smart contracts written in the Solidity language for the Ethereum blockchain. CELESTIAL allows programmers to write expressive functional specifications for their contracts. It translates the contracts and the specifications to F⋆ to formally verify, against an F⋆ model of the blockchain ...
Dharanikota, Samvid +4 more
openaire +1 more source
A formal framework for design component contracts
Proceedings Fifth IEEE Workshop on Mobile Computing Systems and Applications, 2004Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components in different phases of software development. Component technologies lead to increasing productivity and flexibility.
Jing Dong 0005 +2 more
openaire +1 more source
A Java Framework for Smart Contracts
2020This article defines a framework for programming, in Java, smart contracts over blockchain. The framework consists of a restricted runtime and of an instrumentation procedure for classes that need to be persisted to blockchain, for payable contract methods and for gas metering.
openaire +1 more source
The 4W framework for B2B e-contracting
International Journal of Networking and Virtual Organisations, 2003Contracts are fundamental to the engagement of companies in commercial relations. B2B electronic contracting aims to improve the efficiency and effectiveness of the contracting process and to provide new opportunities for the contracting parties. Virtual enterprises, for example, can be dynamically formed on the basis of e-contracts.
Angelov, Samuil, Grefen, Paul
openaire +3 more sources
A Framework for Contracted Health IT Performance Assessments
Hospital Topics, 2019Limited research exists which aids in structuring health IT contracts in an era of performance-based payments. We provide an assessment of common approaches to contracting and measuring of performance in practice. We conducted a review of existing literature and compliment this approach with a survey of healthcare professionals directly involved with ...
Thomas R. Martin +2 more
openaire +2 more sources
A Framework & Negotiation Protocol for Service Contracts
2006 IEEE International Conference on Services Computing (SCC'06), 2006This paper presents a specification for a domain-independent, symmetrical, two-party negotiation protocol to reach binding agreements between services based on the principles of contract law. The protocol is necessary as existing specifications, such as WS-agreement, lack the capability to form negotiated agreements and lack sufficient rigor in their ...
Parkin, M, Kuo, D, Brooke, J
openaire +2 more sources
A Framework and Protocols for Service Contract Agreements Based on International Contract Law
International Journal of Web Services Research, 2009Current protocols to agree to Web/Grid service usage do not have the capability to form negotiated agreements, nor do they take into account the legal requirements of the agreement process. This article presents a framework and a domain-independent negotiation protocol for creating legally binding contracts for service usage in a distributed ...
Parkin, Michael, Kuo, Dean, Brooke, John
openaire +3 more sources
A general framework for computing maximal contractions
Frontiers of Computer Science, 2012zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources