Engineering of Complex Computer Systems : 29th International Conference, ICECCS 2025, Hangzhou, China, July 2–4, 2025, Proceedings / / edited by Yuan Zhou, Sin G. Teo, Xiaofei Xie, Zuohua Ding, Yang Liu

• Autore: Zhou Yuan
• Pubblicazione: Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026
• Edizione: 1st ed. 2026.
• Descrizione fisica: 1 online resource (760 pages)
• Disciplina: 005.3
• Soggetto topico: Application software; Computer and Information Systems Applications
• Altri autori: TeoSin G XieXiaofei DingZuohua LiuYang
• Nota di contenuto: -- 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.
• Sommario/riassunto: This 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.
• Titolo autorizzato: Engineering of Complex Computer Systems
• ISBN: 3-032-00828-X
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9911047665303321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture Notes in Computer Science, . 1611-3349 ; ; 15746