Blockchain-Enabled Distributed Computing Framework for Optimized and Secure Resource Allocation via Smart Contract Verification. - Tong Ye; Daru Zhang (Informatica (Slovenia), 2025)