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
Contract-Based Hierarchical Modeling and Traceability of Heterogeneous Requirements
Sign Up to like & getrecommendations! Published in 2024 at "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"
DOI: 10.1109/tcad.2024.3447213
Abstract: The design of complex mission-critical systems often follows a layered approach, which may lead to complicated, multilevel, multiviewpoint requirement hierarchies. This heterogeneity makes it challenging to guarantee the traceability of the requirements across levels of… read more here.
Keywords: levels abstraction; traceability; based hierarchical; contract ... See more keywords
Smart Contract-Based Access Control Scheme for Blockchain Assisted 6G-Enabled IoT-Based Big Data Driven Healthcare Cyber Physical Systems
Sign Up to like & getrecommendations! Published in 2024 at "IEEE Transactions on Consumer Electronics"
DOI: 10.1109/tce.2024.3391667
Abstract: 6G (sixth-generation wireless), the successor to 5G cellular technology, operates at higher frequencies than its predecessor and supports significantly greater capacity and markedly reduced latency. Healthcare is treated as a complex system with various stakeholders,… read more here.
Keywords: based access; smart contract; healthcare; big data ... 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
Contract-Based Incentive Mechanisms for UAV Networks in Covert Communications
Sign Up to like & getrecommendations! Published in 2025 at "IEEE Transactions on Vehicular Technology"
DOI: 10.1109/tvt.2025.3529460
Abstract: Covert communication is considered a promising technology for hiding transmission processes and activities from malicious eavesdropping. With the development of detection technology, the traditional point-to-point covert communication method cannot effectively guarantee the reliability of covert… read more here.
Keywords: covert communication; based incentive; communication; contract based ... See more keywords
Exploring motivation: Contract-based ungrading in intermediate Spanish courses
Sign Up to like & getrecommendations! Published in 2025 at "Language Teaching Research"
DOI: 10.1177/13621688251367847
Abstract: Given that the classroom is a social context that can either satisfy or frustrate learner motivation, pedagogical strategies bound by controlling evaluative frameworks, such as traditional grading systems (TGS), provide little support for long-term learning.… read more here.
Keywords: classroom; motivation; language; contract based ... 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