|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1842 occurrences of 1056 keywords
|
|
|
Results
Found 4992 publication records. Showing 4992 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Nathan Combs, Jeff Vagle |
Adaptive mirroring of system of systems architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSS ![In: Proceedings of the First Workshop on Self-Healing Systems, WOSS 2002, Charleston, South Carolina, USA, November 18-19, 2002, pp. 96-98, 2002, ACM, 1-58113-609-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
adaptive mirroring, self-healing architectures, service and contract workflow, agent architectures |
13 | H. Conrad Cunningham, Jingyi Wang |
Building a layered framework for the table abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), March 11-14, 2001, Las Vegas, NV, USA, pp. 668-674, 2001, ACM, 1-58113-287-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
design contract, software design pattern, table ADT, Java, application framework, layered architecture |
13 | Ritu Agarwal, Prabuddha De, Thomas W. Ferratt |
How long will they stay? Predicting an IT professional's preferred employment duration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCPR ![In: Proceedings of the ACM SIGCPR Conference on Computer Personnel Research, San Diego, California, USA, 2001, pp. 132-138, 2001, ACM, 1-58113-363-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
career stage, life stage, preferred employment duration, retention of IT professionals, competencies, career anchor, psychological contract |
13 | Mira Kajko-Mattsson, Anna Grimlund Glassbrook, Maria Nordin |
Evaluating the Predelivery Phase of ISO/IEC FDIS 14764 in the Swedish Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 2001 International Conference on Software Maintenance, ICSM 2001, Florence, Italy, November 6-10, 2001, pp. 431-440, 2001, IEEE Computer Society, 0-7695-1189-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
predelivery and prerelease maintenance, evaluation of the ISO/IEC FDIS 14764 standard, software contract, process model, maintainability |
13 | Clyde Ruby, Gary T. Leavens |
Safely creating correct subclasses without seeing superclass code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 2000, Minneapolis, Minnesota, USA, October 15-19, 2000., pp. 208-228, 2000, ACM, 1-58113-200-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
downcalls, method refinement, semantic fragile subclassing problem, specification inheritance, subclassing contract, Java, Java language, subclass, JML language |
13 | Joseph E. Hollingsworth, Lori Blankenship, Bruce W. Weide |
Experience report: using RESOLVE/C++ for commercial software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: ACM SIGSOFT Symposium on Foundations of Software Engineering, an Diego, California, USA, November 6-10, 2000, Proceedings, pp. 11-19, 2000, ACM, 978-1-58113-205-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
design discipline, generic, software reuse, template, component-based software engineering, design-by-contract, swapping |
13 | Mani R. Subramani, Eric A. Walden |
Economic returns to firms from business-to-business electronic commerce initiatives: an empirical examination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the Twenty-First International Conference on Information Systems, ICIS 2000, Brisbane, Australia, December 10-13, 2000, pp. 229-241, 2000, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
strategic value, Internet, contract, empirical research, economic theory |
13 | Giuseppe Ateniese |
Efficient Verifiable Encryption (and Fair Exchange) of Digital Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: CCS '99, Proceedings of the 6th ACM Conference on Computer and Communications Security, Singapore, November 1-4, 1999., pp. 138-146, 1999, ACM, 1-58113-148-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
contract signing problem, digital signatures, public-key cryptography, fair exchange, proof of knowledge, verifiable encryption |
13 | Holger Giese, Jörg Graf, Guido Wirtz |
Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: 1999 IEEE Symposium on Visual Languages, VL 1999, Tokyo, Japan, September 13-16, 1999, Proceedings, pp. 156-163, 1999, IEEE Computer Society, 0-7695-0216-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Petri-Nets, concurrency, object-orientation, coordination, visual language, contract |
13 | Yves Le Traon, Daniel Deveaux, Jean-Marc Jézéquel |
Self-Testable Components: From Pragmatic Tests to Design-for-Testability Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (29) ![In: TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France, pp. 96-107, 1999, IEEE Computer Society, 0-7695-0275-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
testing, design-for-testability, self-test, design by contract, reusable components |
13 | H. Adels, R. Beelaard, A. Symons |
Delivering quality in global IT services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 6(3), pp. 247-257, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
global IT markets, account management, contract management, customer satisfaction, service quality |
13 | Chunming Qiao, Yousong Mei |
On the Multiplexing Degree Required to Embed Permutations in a Class of Networks with Direct Interconnects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: Proceedings of the Second International Symposium on High-Performance Computer Architecture, San Jose, CA, USA, February 3-7, 1996, pp. 118-129, 1996, IEEE Computer Society, 0-8186-7237-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
permutation embedding, multiplexing degree, rearrangeably nonblocking, all-optical networksThis research is supported in part by a grant from NSF under contract MIP-9409854, routing |
13 | Ian Maung, John Howse, Richard J. Mitchell |
Towards a Formalization of Programming-by-Difference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings, pp. 134-153, 1994, Springer, 3-540-58555-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
contravariance, inheritance, subtype, design-by-contract, incremental programming |
10 | Rujing Shen, Mingjin Gao, Wei Li, Yonghui Li 0001 |
Dynamic Task Offloading in Distributed VEC Networks: An Exploration and Exploitation Assisted Contract-Theoretic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 73(4), pp. 5717-5729, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Nan Zhao 0006, Yiyang Pei, Ying-Chang Liang, Dusit Niyato |
A Deep Reinforcement Learning-Based Contract Incentive Mechanism for Mobile Crowdsourcing Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 73(3), pp. 4511-4516, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Susu Cheng, Fan Zhang, Xuezhao Chen |
Optimal contract design for a supply chain with information asymmetry under dual environmental responsibility constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 237(Part A), pp. 121466, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Xiufeng Li, Bo Li 0085, Ruxiao Xing |
Technology licensing contract design considering royalty transparency and demand information asymmetry with downstream co-opetition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 238(Part E), pp. 122183, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Qingkai Ji, Feng Liu 0020, Jun Zhuang 0001 |
Procurement Contract Design Under Asymmetric Information of Random Yield. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia Pac. J. Oper. Res. ![In: Asia Pac. J. Oper. Res. 41(2), pp. 2350016:1-2350016:24, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Shuyi Yang, Lusu Li, Libo Feng |
EGQCY: A smart contract-based scientific big data system approach for incentive sharing and transaction on the cost of data quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 46(3), pp. 6619-6635, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Vahid Bakhtiary, Meghdad Mirabi, Afshin Salajegheh, Seyed Hossein Erfani |
Combo-Chain: Towards a hierarchical attribute-based access control system for IoT with smart contract and sharding technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Things ![In: Internet Things 25, pp. 101080, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Jingxin Zhang 0011, Jianxiong Zhang, Chunqiu Xu |
Contract design considering data driven marketing: with and without the cap and trade regulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 333(1), pp. 157-199, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | |
Retraction Note: Blockchain-based intelligent contract for factoring business in supply chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 335(1), pp. 635, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Vikas Kumar Jain, Meenakshi Tripathi |
An integrated deep learning model for Ethereum smart contract vulnerability detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 23(1), pp. 557-575, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Ke Yuan, Zilin Wang, Keyan Chen, Bingcai Zhou, Zheng Li 0029, Chunfu Jia |
Timed-release encryption anonymous interaction protocol based on smart contract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cloud Comput. ![In: J. Cloud Comput. 13(1), pp. 3, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Antragama Ewa Abbas, Thomas van Velzen, Hosea Ofe, Geerten van de Kaa, Anneke Zuiderwijk, Mark de Reuver |
Beyond control over data: Conceptualizing data sovereignty from a social contract perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Mark. ![In: Electron. Mark. 34(1), pp. 20, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Tianhong Xiong, Shangqing Feng, Maolin Pan, Yang Yu 0027 |
Smart contract generation for inter-organizational process collaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 36(10), 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Lu Wei 0003, Jie Cui 0004, Hong Zhong 0001, Irina Bolodurina, Chengjie Gu, Debiao He |
A Decentralized Authenticated Key Agreement Scheme Based on Smart Contract for Securing Vehicular Ad-Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 23(5), pp. 4318-4333, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Chenhao Xu, Jiaqi Ge, Yong Li, Yao Deng, Longxiang Gao, Mengshi Zhang, Yong Xiang 0001, James Xi Zheng |
SCEI: A Smart-Contract Driven Edge Intelligence Framework for IoT Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 23(5), pp. 4453-4466, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Santanu Kumar Ghosh, Palash Goswami |
Green initiative in a two-echelon Supply chain with co-ordination and contract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Oper. Res. ![In: RAIRO Oper. Res. 58(2), pp. 1147-1161, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Dibo Xian, Xuetao Wei |
SC-Chef: Turboboosting Smart Contract Concurrent Execution for High Contention Workloads via Chopping Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 73(1), pp. 216-229, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Tianyuan Hu, Bixin Li, Zhenyu Pan, Chen Qian |
Detect Defects of Solidity Smart Contract Based on the Knowledge Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 73(1), pp. 186-202, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Majd Soud, Grischa Liebel, Mohammad Hamdaqa |
A fly in the ointment: an empirical study on the characteristics of Ethereum smart contract code weaknesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 29(1), pp. 13, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Fatma Bahadir, Mehmet Yesiltas, Harun Sesen, Banji Rildwan Olaleye |
The relation between perceived organizational support and employee satisfaction: the role of relational psychological contract and reciprocity ideology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetes ![In: Kybernetes 53(1), pp. 102-122, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Neeraj Kumar, Rifaqat Ali |
A smart contract-based robotic surgery authentication system for healthcare using 6G-Tactile Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 238, pp. 110133, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Che Chen, Shimin Gong, Wenjie Zhang 0003, Yifeng Zheng, Chai Kiat Yeo |
DRL-Based Contract Incentive for Wireless-Powered and UAV-Assisted Backscattering MEC System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Cloud Comput. ![In: IEEE Trans. Cloud Comput. 12(1), pp. 264-276, January - March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Nerla Jean-Louis, Yunqi Li 0002, Yan Ji, Harjasleen Malvai, Thomas Yurek, Sylvain Bellemare, Andrew Miller 0001 |
SGXonerate:Finding (and Partially Fixing) Privacy Flaws in TEE-based Smart Contract Platforms Without Breaking the TEE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. Priv. Enhancing Technol. ![In: Proc. Priv. Enhancing Technol. 2024(1), pp. 617-634, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Shukun Liu, Zhimin Liu, Baimu Chen, Xianmin Pan |
Construction and Application of Online Learning Resource Incentive Mechanism Driven by Smart Contract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 37080-37092, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Lee Song Haw Colin, Purnima Murali Mohan, Jonathan Pan, Peter Kok Keong Loh |
An Integrated Smart Contract Vulnerability Detection Tool Using Multi-Layer Perceptron on Real-Time Solidity Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 23549-23567, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Ammar M. Muqbel, Ali T. Al-Awami, Adnan S. Al-Bukhaytan |
A Planning Model for an Electric Vehicle Aggregator Providing Ancillary Services to an Unbalanced Distribution Network Considering Contract Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 29035-29048, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Guoli Wang 0002, Jingyi Wang, Jiawei Pang, Wei Wang, Junyan Wang |
Emergency material reserve problem with option contract considering low carbon disposal cost. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Evol. Intell. ![In: Evol. Intell. 17(1), pp. 361-369, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Guoli Wang 0002, Min Ma, Jingyi Wang, Hong Xue, Junyan Wang |
An option contract on emergency material reserve considering quality catastrophic change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Evol. Intell. ![In: Evol. Intell. 17(1), pp. 37-44, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Song Luo, Tan Hu, Nian Han, Yuhua Qian |
A Smart-Contract-Based Policy-Domain Access Control Framework for Distributed Industrial IoT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 11(7), pp. 11427-11443, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Nan Zhao 0006, Yiyang Pei, Ying-Chang Liang, Dusit Niyato |
Deep-Reinforcement-Learning-Based Contract Incentive Mechanism for Joint Sensing and Computation in Mobile Crowdsourcing Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 11(7), pp. 12755-12767, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Zitao Zhou, Fang Ye, Jingpeng Gao, Sitong Zhang, Xiaoyu Geng |
Ensuring Long-Term Trustworthy Collaboration in IoT Networks Using Contract Theory and Reputation Mechanism on Blockchain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 11(2), pp. 2420-2437, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Adam Kozlowski, Janusz Sosnowski |
Adaptive and Contract Aware Configuration for Industrial Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ad Hoc Networks ![In: Ad Hoc Networks 154, pp. 103372, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Dibo Xian, Xuetao Wei |
ICOE: A Lightweight Group-Consensus-Based Off-Chain Execution Model for Smart Contract-Based Industrial Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 20(2), pp. 1895-1906, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Ranwan Wu, Hongbo Bi, Cong Zhang, Jiayuan Zhang, Yuyu Tong, Wei Jin, Zhigang Liu |
Pyramid contract-based network for RGB-T salient object detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 83(7), pp. 20805-20825, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Yulong Chen, Alia Asheralieva, Xuetao Wei |
AtomCI: A New System for the Atomic Cross-Chain Smart Contract Invocation Spanning Heterogeneous Blockchains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Netw. Sci. Eng. ![In: IEEE Trans. Netw. Sci. Eng. 11(3), pp. 2782-2796, May - June 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Haoyu Wang, Zan Wang, Shuang Liu 0007, Jun Sun, Yingquan Zhao, Yan Wan, Tai D. Nguyen |
sFuzz2.0: Storage-access pattern guided smart contract fuzzing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. Evol. Process. ![In: J. Softw. Evol. Process. 36(4), April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Yaozheng Fang, Zhiyuan Zhou, Surong Dai, Jinni Yang, Hui Zhang 0002, Ye Lu 0004 |
PaVM: A Parallel Virtual Machine for Smart Contract Execution and Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 35(1), pp. 186-202, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Xiaole Su, Yuanchao Hu, Wei Liu, Zhipeng Jiang, Chan Qiu, Jie Xiong, Ju Sun |
A blockchain-based smart contract model for secured energy trading management in smart microgrids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secur. Priv. ![In: Secur. Priv. 7(1), January/February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Ismail Lotfi, Dusit Niyato, Sumei Sun, Dong In Kim, Xuemin Shen |
Semantic Information Marketing in the Metaverse: A Learning-Based Contract Theory Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 42(3), pp. 710-723, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Dheeraj Chandra, Vipul Jain, Felix T. S. Chan |
An incentive mechanism contract model to coordinate a vaccine supply chain under demand uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ind. Manag. Data Syst. ![In: Ind. Manag. Data Syst. 124(1), pp. 182-211, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Sagnik Datta, Suyel Namasudra |
Blockchain-Based Smart Contract Model for Securing Healthcare Transactions by Using Consumer Electronics and Mobile-Edge Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Consumer Electron. ![In: IEEE Trans. Consumer Electron. 70(1), pp. 4026-4036, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Xiaolin Li 0005, Paul Benjamin Lowry, Fujun Lai |
The influence of ERP-vendor contract compliance and transaction-specific investment on vendee trust: A signaling theory perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Manag. ![In: Inf. Manag. 61(2), pp. 103923, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Tong Zhang, Yujue Wang, Yong Ding 0005, Xuhang Jiang, Hai Liang, Huiyong Wang |
Privacy-preserving blockchain-based contract signing with multi-party supervision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Emerg. Telecommun. Technol. ![In: Trans. Emerg. Telecommun. Technol. 35(4), April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Martin Hoefer 0001, Conrad Schecker, Kevin Schewior |
Contract Design for Pandora's Box. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.02317, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Dag McGeorge, Jon Arne Glomsrud |
Modular Assurance of Complex Systems Using Contract-Based Design Principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.12804, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Sabrina Aufiero, Giacomo Ibba, Silvia Bartolucci, Giuseppe Destefanis, Rumyana Neykova, Marco Ortu |
DApps Ecosystems: Mapping the Network Structure of Smart Contract Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.01991, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Yingjie Mao, Xiaoqi Li 0015, Zongwei Li, Wenkai Li |
Automated Smart Contract Summarization via LLMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.04863, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Yuhan Zhao, Quanyan Zhu |
Incentive-Compatible and Distributed Allocation for Robotic Service Provision Through Contract Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.10733, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Petra Hozzová, Jaroslav Bendík, Alexander Nutz, Yoav Rodeh |
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.10174, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Francesco Salzano, Simone Scalabrino, Rocco Oliveto, Remo Pareschi |
Fixing Smart Contract Vulnerabilities: A Comparative Analysis of Literature and Developer's Practices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.07458, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Zexu Wang, Jiachi Chen, Zibin Zheng, Peilin Zheng, Yu Zhang, Weizhe Zhang |
Unity is Strength: Enhancing Precision in Reentrancy Vulnerability Detection of Smart Contract Analysis Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.09094, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Rabimba Karanjai, Lei Xu 0012, Weidong Shi |
Teaching Machines to Code: Smart Contract Translation with LLMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.09740, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Wei Ma, Daoyuan Wu, Yuqiang Sun 0001, Tianwen Wang, Shangqing Liu, Jian Zhang, Yue Xue, Yang Liu |
Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.16073, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Muyan Jiang, Ying Chen, Xin Chen, Javad Lavaei, Anil Aswani |
Optimal Contract Design for End-of-Life Care Payments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.15099, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Hiranmai Sri Adibhatla, Pavan Baswani, Manish Shrivastava 0001 |
Fine-grained Contract NER using instruction based model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.13545, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Lipeng He |
A Comparative Examination of Network and Contract-Based Blockchain Storage Solutions for Decentralized Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.07417, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Myles Lewis, Chris S. Crawford |
Architectural Design for Secure Smart Contract Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.01891, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Yuying Du, Xueyan Tang |
Evaluation of ChatGPT's Smart Contract Auditing Capabilities Based on Chain of Thought. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.12023, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Zewei Lin, Jiachi Chen, Zibin Zheng, Jiajing Wu, Weizhe Zhang, Yongjuan Wang |
CRPWarner: Warning the Risk of Contract-related Rug Pull in DeFi Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.01425, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Shiliang Zuo |
New Perspectives in Online Contract Design: Heterogeneous, Homogeneous, Non-myopic Agents and Team Production. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.07143, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Federico Cacciamani, Martino Bernasconi, Matteo Castiglioni, Nicola Gatti 0001 |
Multi-Agent Contract Design beyond Binary Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.13824, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | David R. Ferreira, Alexandra Mendes, João F. Ferreira 0001 |
Contract Usage and Evolution in Android Mobile Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.14244, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | José Luis Castiglioni, Rodolfo Cristian Ertola Biraben |
Assume-guarantee contract algebras are bounded Sugihara monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.12514, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Akhil Jalan, Deepayan Chakrabarti |
Strategic Contract Negotiation in Financial Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.08779, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Sumit Goel, Wade Hann-Caruthers |
Optimality of weighted contracts for multi-agent contract design with a budget. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.15890, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Shuohan Wu, Zihao Li, Luyi Yan, Weimin Chen, Muhui Jiang, Chenxu Wang, Xiapu Luo, Hao Zhou |
Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.02973, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Aboulfazl Dayyani, Maghsoud Abbaspour |
SybilPSIoT: Preventing Sybil attacks in signed social internet of things based on web of trust and smart contract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Commun. ![In: IET Commun. 18(3), pp. 258-269, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Chengfeng Wu, Qiuhong Zhao, Shuaicheng Lin, Chunfeng Xu |
Supply chain coordination based on revenue-sharing contract with a loss-averse retailer and capital constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 28(4), pp. 3015-3028, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Ghareeb Falazi, Uwe Breitenbücher, Frank Leymann, Stefan Schulte 0002 |
Cross-Chain Smart Contract Invocations: A Systematic Multi-Vocal Literature Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 56(6), pp. 142:1-142:38, June 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Yue Xu, Chen Fei, Weiyin Fei |
Optimal dynamic contract with Knightian uncertainty of ESG rating. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gen. Syst. ![In: Int. J. Gen. Syst. 53(3), pp. 381-402, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Xiaosheng Wang, Ran Li, Wei Li, Zhaoxing Liu |
Benefit distribution of guaranteed water saving management contract based on principal-agent theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gen. Syst. ![In: Int. J. Gen. Syst. 53(4), pp. 426-452, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Yong Woo Kwon, Jiuh-Biing Sheu, Srinivas Talluri, Jiho Yoon, Seung Ho Yoo |
Performance of Quantity Discount Contract Under Supply and Demand Disruptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Engineering Management ![In: IEEE Trans. Engineering Management 71, pp. 5782-5797, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Jiali Qu, Benyong Hu, Zhenjie Wu, Chao Meng |
Market Development and Revenue-Sharing Contract Design for Mobile Game Supply Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Engineering Management ![In: IEEE Trans. Engineering Management 71, pp. 7207-7226, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Tong-Yuan Wang, Yi Chen, Abbas Mardani, Zhen-Song Chen 0002 |
Live Streaming Service Introduction and Optimal Contract Selection in an E-Commerce Supply Chain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Engineering Management ![In: IEEE Trans. Engineering Management 71, pp. 8088-8102, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Yunlong Yu, Tiaojun Xiao, Caichun Chai |
Choice of Cost Reduction Mode in a Contract Manufacturing Supply Chain with Substitutable Products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Engineering Management ![In: IEEE Trans. Engineering Management 71, pp. 4351-4364, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Yingmo Jie, Charles Zhechao Liu, Kim-Kwang Raymond Choo |
A Game-Theory-Based Contract Mechanism to Facilitate Technology Spillover in Emerging Electric Vehicle Markets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Engineering Management ![In: IEEE Trans. Engineering Management 71, pp. 76-89, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Hongjiang Yao, Yuting Chen, Yinqiu Tang |
Contract Violations in the Construction Projects: How Contractual Obligations are Reached Affects Contractual and Reputational Enforcement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Engineering Management ![In: IEEE Trans. Engineering Management 71, pp. 7160-7172, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Teodor Gabriel Crainic, Guido Perboli, Walter Rei, Mariangela Rosano, Veronica Lerma |
Capacity planning with uncertainty on contract fulfillment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 314(1), pp. 152-175, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Xiaoli Zhang, Wenxiang Sun, Zhicheng Xu, Hongbing Cheng, Chengjun Cai, Helei Cui, Qi Li 0002 |
EVM-Shield: In-Contract State Access Control for Fast Vulnerability Detection and Prevention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Forensics Secur. ![In: IEEE Trans. Inf. Forensics Secur. 19, pp. 2517-2532, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Lipeng He |
A Comparative Examination of Network and Contract-Based Blockchain Storage Solutions for Decentralized Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2024, pp. 73, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
10 | Jie Cai, Bin Li 0006, Tao Zhang 0001, Jiale Zhang, Xiaobing Sun 0001 |
Fine-grained smart contract vulnerability detection by heterogeneous code feature learning and automated dataset construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 209, pp. 111919, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Janis Kröger, Björn Koopmann, Ingo Stierand, Martin Fränzle |
Contract-based specification of mode-dependent timing behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 20(1), pp. 31-47, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Zhiyao Sun, Guifen Chen |
Enhancing Data Freshness in Air-Ground Collaborative Heterogeneous Networks through Contract Theory and Generative Diffusion-Based Mobile Edge Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 24(1), pp. 74, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Edu Marin, Nicole Unsihuay, Victoria E. Abarca, Dante A. Elías |
Identification of the Biomechanical Response of the Muscles That Contract the Most during Disfluencies in Stuttered Speech. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 24(8), pp. 2629, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Junjie Zhao, Xiang Chen 0005, Guang Yang, Yiheng Shen |
Automatic smart contract comment generation via large language models and in-context learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 168, pp. 107405, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | S. Arunprasath, A. Suresh |
A Reliable Framework for Detection of Smart Contract Vulnerabilities for Enhancing Operability in Inter-Organizational Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Mobile Multimedia ![In: J. Mobile Multimedia 20(2), pp. 411-434, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Shirsendu Nandi |
Risk analysis on product quality improvement and supply chain performance for return contract with warranty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Oper. Res. ![In: Int. J. Math. Oper. Res. 27(1), pp. 121-143, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
|
|