LEADER 05511nam 22005175 450 001 9911047665303321 005 20251017130405.0 010 $a3-032-00828-X 024 7 $a10.1007/978-3-032-00828-2 035 $a(MiAaPQ)EBC32362565 035 $a(Au-PeEL)EBL32362565 035 $a(CKB)41653795100041 035 $a(DE-He213)978-3-032-00828-2 035 $a(EXLCZ)9941653795100041 100 $a20251017d2026 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aEngineering of Complex Computer Systems $e29th International Conference, ICECCS 2025, Hangzhou, China, July 2?4, 2025, Proceedings /$fedited by Yuan Zhou, Sin G. Teo, Xiaofei Xie, Zuohua Ding, Yang Liu 205 $a1st ed. 2026. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2026. 215 $a1 online resource (760 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15746 311 08$a3-032-00827-1 327 $a -- Machine Learning for Complex Systems. -- Runtime Anomaly Detection for Drones: An Integrated Rule Mining and Unsupervised Learning Approach. -- FinPTA: An Effective Model for Financial Sentiment Analysis. -- Single Image Defocus Deblurring in Photography Systems. -- AMF GCN: An Adaptive Graph Convolution Network for Pull-up Evaluation. -- A Q learning driven multi crossover NSGA II framework for energy efficient hybrid flow shop scheduling. -- MixRecLGB: Language-Enhanced Mixed Attention for Temporal Context Modeling in Time Series Forecasting. -- Trustworthy Deep Learning. -- PAMUS: An Entropy Loss Based Poisoning Attack for Undermining Machine Unlearning. -- Certified Enumeration of AI Explanations: A Focus on Monotonic Classifiers. -- Random Resampling of Training Data for Effective Verification Strategy Prediction. -- DeepMR: A Learning Based Approach for Efficient Mutation Reduction in DNN Fault Localization. -- Investigating the OOV Problem and Its Impacts on Neural Program Repair -- Edge Computing Systems. -- Auction Based Caching Decision Algorithm for IoT Traffic with Popular and Fresh Content. -- Maximizing Long term Task Completion Ratio of 3D UAV Enabled Wirelessly Powered MEC System. -- Towards Efficient and Secure Multimodal Misinformation Detection. -- Large Language Models for Software Engineering. -- Leveraging Large Language Models for Feature Envy Detection: A Context Aware and Reasoning Driven Approach. -- RustMap: Towards Project-Scale C to Rust Migration via Program Analysis and LLM. -- Formal Methods. -- LTL Model Checking of Concurrent Self Modifying Code. -- Checking Linearizability of Multi Core Task Management and Scheduling System. -- Contract based Verification of Digital Twins. -- Verifying Neural Network Controlled Systems by Combining Taylor Models and Linear Abstract Domains. -- Model Checking Nondeterministic Behaviours in the Tendermint Byzantine Fault Tolerant Blockchain Consensus Protocol. -- Program Analysis. -- Uncover the Risks of Outdated Dependencies in Software Supply Chains: Insights from the npm Ecosystem. -- EMS HFL: A Hybrid based Fault Localization. -- CONTAST: Graph Embedding based Fault Localization Integrating AST and Context Awareness. -- Large Language Model Agents. -- A Vision for Access Control in LLM Agent Systems. -- Agent Behavior: The Regulatory Object of the Agent Centric Online Ecosystem in Digital Age. -- Empowering Embodied Agents with Semantic Intelligence. -- Large Language Models for Software Engineering. -- An Analytical Perspective on Software Engineering for Large Language Models. -- LiCoVer: LLM Powered Automated OSS License Compliance Verification. -- UFPC: A Unified Framework for Source and Binary Program Comprehension. -- TestCaseMig: LLM Driven Test Case Migration for Evolving Codebases. -- Evolaris: A Roadmap to Self Evolving Software Intelligence Management. 330 $aThis book constitutes the refereed proceedings of the 29th International Conference on Engineering of Complex Computer Systems, ICECCS 2025, which took place in Hangzhou, China, during July 2-4, 2025. The 21 full papers, 3 short papers and 8 position papers included in this book were carefully reviewed and selected from 70 submissions. They were organized in topical sections as follows: Machine Learning for Complex Systems; Trustworthy Deep Learning; Edge Computing Systems; Large Language Models Empowered Software Engineering; Formal Methods; Program Analysis; Position Papers: Large Language Model Agents; Position Papers: Software Engineering for Large Language Models; and Position Papers: Large Language Models for Software Engineering. set programming; functional programming; languages, methods and tools; and declarative solutions. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v15746 606 $aApplication software 606 $aComputer and Information Systems Applications 615 0$aApplication software. 615 14$aComputer and Information Systems Applications. 676 $a005.3 700 $aZhou$b Yuan$0302069 701 $aTeo$b Sin G$01860786 701 $aXie$b Xiaofei$01849939 701 $aDing$b Zuohua$01860787 701 $aLiu$b Yang$0651655 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9911047665303321 996 $aEngineering of Complex Computer Systems$94466509 997 $aUNINA