| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9911047665303321 |
|
|
Autore |
Zhou Yuan |
|
|
Titolo |
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 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2026.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (760 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 15746 |
|
|
|
|
|
|
Altri autori (Persone) |
|
TeoSin G |
XieXiaofei |
DingZuohua |
LiuYang |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Application software |
Computer and Information Systems Applications |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
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. |
|
|
|
|
|
|
|
| |