{"product_id":"9783032008275","title":"Engineering of Complex Computer Systems : 29th International Conference, ICECCS 2025, Hangzhou, China, July 2-4, 2025, Proceedings (Lecture Notes in Computer Science 15746) (2025. xiv, 522 S. XIV, 522 p. 151 illus., 135 illus. in color. 235 mm)","description":"\u003cp\u003eThis 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.\u003c\/p\u003e\u003cp\u003eThe 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;\u003cstrong\u003e \u003c\/strong\u003ePosition Papers: Large Language Model Agents; Position Papers: Software Engineering for Large Language Models; and Position Papers: Large Language Models for Software Engineering.\n\n\n\n\n\n\n\nset programming; functional programming; languages, methods and tools; and declarative\nsolutions.\u003c\/p\u003e \u003cp\u003e.- Machine Learning for Complex Systems.\u003c\/p\u003e\u003cp\u003e.- Runtime Anomaly Detection for Drones: An Integrated Rule Mining\nand Unsupervised Learning Approach.\u003c\/p\u003e\u003cp\u003e.- FinPTA: An Effective Model for Financial Sentiment Analysis.\u003c\/p\u003e\u003cp\u003e.- Single Image Defocus Deblurring in Photography Systems.\u003c\/p\u003e\u003cp\u003e.- AMF GCN: An Adaptive Graph Convolution Network for Pull-up\nEvaluation.\u003c\/p\u003e\u003cp\u003e.- A Q learning driven multi crossover NSGA II framework for\nenergy efficient hybrid flow shop scheduling.\u003c\/p\u003e\u003cp\u003e.- MixRecLGB: Language-Enhanced Mixed Attention for Temporal\nContext Modeling in Time Series Forecasting.\u003c\/p\u003e\u003cp\u003e.- Trustworthy Deep Learning.\u003c\/p\u003e\u003cp\u003e.- PAMUS: An Entropy Loss Based Poisoning Attack for Undermining\nMachine Unlearning.\u003c\/p\u003e\u003cp\u003e.- Certified Enumeration of AI Explanations: A Focus on Monotonic\nClassifiers.\u003c\/p\u003e\u003cp\u003e.- Random Resampling of Training Data for Effective Verification\nStrategy Prediction.\u003c\/p\u003e\u003cp\u003e.- DeepMR: A Learning Based Approach for Efficient Mutation Reduction\nin DNN Fault Localization.\u003c\/p\u003e\u003cp\u003e.- Investigating the OOV Problem and Its Impacts on Neural Program\nRepair\u003c\/p\u003e\u003cp\u003e.- Edge Computing Systems.\u003c\/p\u003e\u003cp\u003e.- Auction Based Caching Decision Algorithm for IoT Traffic with\nPopular and Fresh Content.\u003c\/p\u003e\u003cp\u003e.- Maximizing Long term Task Completion Ratio of 3D UAV Enabled\nWirelessly Powered MEC System.\u003c\/p\u003e\u003cp\u003e.- Towards Efficient and Secure Multimodal Misinformation Detection.\u003c\/p\u003e\u003cp\u003e.- Large Language Models for Software Engineering.\u003c\/p\u003e\u003cp\u003e.- Leveraging Large Language Models for Feature Envy Detection: A\nContext Aware and Reasoning Driven Approach.\u003c\/p\u003e\u003cp\u003e.- RustMap: Towards Project-Scale C to Rust Migration via Program\nAnalysis and LLM.\u003c\/p\u003e\u003cp\u003e.- Formal Methods.\u003c\/p\u003e\u003cp\u003e.- LTL Model Checking of Concurrent Self Modifying Code.\u003c\/p\u003e\u003cp\u003e.- Checking Linearizability of Multi Core Task Management and\nScheduling System.\u003c\/p\u003e\u003cp\u003e.- Contract based Verification of Digital Twins.\u003c\/p\u003e\u003cp\u003e.- Verifying Neural Network Controlled Systems by Combining Taylor\nModels and Linear Abstract Domains.\u003c\/p\u003e\u003cp\u003e.- Model Checking Nondeterministic Behaviours in the Tendermint\nByzantine Fault Tolerant Blockchain Consensus Protocol.\u003c\/p\u003e\u003cp\u003e.- Program Analysis.\u003c\/p\u003e\u003cp\u003e.- Uncover the Risks of Outdated Dependencies in Software Supply\nChains: Insights from the npm Ecosystem.\u003c\/p\u003e\u003cp\u003e.- EMS HFL: A Hybrid based Fault Localization.\u003c\/p\u003e\u003cp\u003e.- CONTAST: Graph Embedding based Fault Localization Integrating\nAST and Context Awareness.\u003c\/p\u003e\u003cp\u003e.- Large Language Model Agents.\u003c\/p\u003e\u003cp\u003e.- A Vision for Access Control in LLM Agent Systems.\u003c\/p\u003e\u003cp\u003e.- Agent Behavior: The Regulatory Object of the Agent Centric Online\nEcosystem in Digital Age.\u003c\/p\u003e\u003cp\u003e.- Empowering Embodied Agents with Semantic Intelligence.\u003c\/p\u003e\u003cp\u003e.- Large Language Models for Software Engineering.\u003c\/p\u003e\u003cp\u003e.- An Analytical Perspective on Software Engineering for Large Language\nModels.\u003c\/p\u003e\u003cp\u003e.- LiCoVer: LLM Powered Automated OSS License Compliance Verification.\u003c\/p\u003e\u003cp\u003e.- UFPC: A Unified Framework for Source and Binary Program\nComprehension.\u003c\/p\u003e\u003cp\u003e.- TestCaseMig: LLM Driven Test Case Migration for Evolving Codebases.\u003c\/p\u003e\u003cp\u003e.- Evolaris: A Roadmap to Self Evolving Software Intelligence Management.\u003c\/p\u003e","brand":"SPRINGER, BERLIN; SPRINGER","offers":[{"title":"Default Title","offer_id":45668825628751,"sku":"00000_00000_00000_00000","price":4900.0,"currency_code":"TWD","in_stock":true}],"url":"https:\/\/kinokuniya.com.tw\/products\/9783032008275","provider":"Books Kinokuniya Taiwan","version":"1.0","type":"link"}