Engineering of Complex Computer Systems, Kartoniert / Broschiert
Engineering of Complex Computer Systems
- 29th International Conference, ICECCS 2025, Hangzhou, China, July 2-4, 2025, Proceedings
- Herausgeber:
- Yuan Zhou, Sin G. Teo, Xiaofei Xie, Zuohua Ding, Yang Liu
- Verlag:
- Springer, 10/2025
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783032008275
- Artikelnummer:
- 12332911
- Umfang:
- 536 Seiten
- Gewicht:
- 803 g
- Maße:
- 235 x 155 mm
- Stärke:
- 29 mm
- Erscheinungstermin:
- 17.10.2025
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
.- 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.
Biografie (Yang Liu)
Yang Liu wurde 1976 in Beijing geboren. Im Alter von 13 Jahren zog sie mit ihrer Familie nach Deutschland.§Mit 17 Jahren wurde sie na der Universität der Künste in Berlin aufgenommen. Nach ihrem Studium arbeitete sie als Designerin in Singapur, London, berlin und New York. 2004 gründete sie ihr eigenes Design Studio. neben Workshops und Vorträgen auf internationalen Konferenzen lehrte sie an der Central Academy of Fine Art in Beijing un der Glasgow School of Art.§Ihre Arbeiten wurden in internationalen Wettbewerben mehrfach prämiert. Sie sind weltweit in Museen ausgestellt und in Sammlungen aufgenommen worden.