共 50 条
- [11] Compositional and Contract-Based Verification for Autonomous Driving on Road Networks [J]. ROBOTICS RESEARCH, 2020, 10 : 163 - 181
- [12] Contract-Based Traffic Offloading over Delay Tolerant Networks [J]. 2015 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM), 2015,
- [13] Contract-based Approach for Security Deposit in Blockchain Networks with Shards [J]. 2019 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN (BLOCKCHAIN 2019), 2019, : 75 - 82
- [14] Contract-Based Cooperative Spectrum Sharing in Cognitive Radio Networks [J]. 2014 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM 2014), 2014, : 888 - 892
- [15] A Contract-Based Incentive Mechanism for Crowdsourced Wireless Community Networks [J]. 2016 14TH INTERNATIONAL SYMPOSIUM ON MODELING AND OPTIMIZATION IN MOBILE, AD HOC, AND WIRELESS NETWORKS (WIOPT), 2016, : 414 - 421
- [16] Trust and Reputation in Vehicular Networks: A Smart contract-based approach [J]. 2019 18TH IEEE INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS/13TH IEEE INTERNATIONAL CONFERENCE ON BIG DATA SCIENCE AND ENGINEERING (TRUSTCOM/BIGDATASE 2019), 2019, : 34 - 41
- [17] A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks [J]. PROCEEDINGS OF THE 2018 16TH ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2018, : 78 - 87
- [18] Contract-Based Revenue Recognition [J]. JOURNAL OF CORPORATE ACCOUNTING AND FINANCE, 2009, 20 (05): : 77 - 81
- [19] Primitives for Contract-based Synchronization [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (38): : 67 - 82
- [20] A contract-based approach to adaptivity [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (3-5): : 180 - 193