Visual Specification and Analysis of Contract-Based Software Architectures
Sign Up to like & getrecommendations! Published in 2017 at "Journal of Computer Science and Technology"
DOI: 10.1007/s11390-017-1779-y
Abstract: XCD is a design-by-contract based architecture description language that supports modular specifications in terms of components and connectors (i.e., interaction protocols). XCD is supported by a translator that produces formal models in SPIN’s ProMeLa formal… read more here.
Keywords: contract based; contract; visual specification; specification analysis ... See more keywords
Optimal Contract-Based Mechanisms for Online Data Trading Markets
Sign Up to like & getrecommendations! Published in 2019 at "IEEE Internet of Things Journal"
DOI: 10.1109/jiot.2019.2902528
Abstract: In the age of emerging applications, such as Internet of Things (IoT), big data, and data mining, our life becomes more convenient through customized services that utilize a huge amount of personal data generated and… read more here.
Keywords: contract based; online data; trading; data trading ... See more keywords
Contract-Based Incentive Mechanism for Cooperative NOMA Systems
Sign Up to like & getrecommendations! Published in 2019 at "IEEE Communications Letters"
DOI: 10.1109/lcomm.2018.2882387
Abstract: In the emerging cooperative non-orthogonal multiple access (NOMA) systems, an important design issue is to incentivize mobile relays (MRs) to participate in the cooperative process and achieve a win–win situation to both the base station… read more here.
Keywords: contract based; noma systems; contract; noma ... See more keywords
SIoVChain: Time-Lock Contract Based Privacy-Preserving Data Sharing in SIoV
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Intelligent Transportation Systems"
DOI: 10.1109/tits.2022.3192566
Abstract: Social Internet of Vehicles (SIoV) is an emerging technology in the smart city environment, enabling smart vehicles to form social groups and exchange data among themselves. SIoV facilitates many applications aiming to improve driving safety… read more here.
Keywords: data sharing; lock contract; time lock; siovchain time ... See more keywords
Smart contract-based secure cooperative spectrum sensing algorithm
Sign Up to like & getrecommendations! Published in 2021 at "International Journal of Distributed Sensor Networks"
DOI: 10.1177/15501477211058673
Abstract: Spectrum sensing is the key technology of cognitive radio. In this article, we apply blockchain technology in spectrum sensing process and propose a related algorithm based on reputation. The algorithm builds a system model based… read more here.
Keywords: contract based; smart contract; spectrum sensing; spectrum ... See more keywords
Horticulture producer’s willingness to participate in contract-based supply chain coordination: A case study from Queensland (Australia)
Sign Up to like & getrecommendations! Published in 2023 at "PLOS ONE"
DOI: 10.1371/journal.pone.0285604
Abstract: Product export provides an option for horticulture producers in Queensland (Australia) to diversify their market and increase returns from production. Vertical supply chain coordination in the form of contract-based marketing agreements between producers and export… read more here.
Keywords: contract; horticulture; supply chain; contract based ... See more keywords