Engineering of Complex Computer Systems (eBook, PDF)
29th International Conference, ICECCS 2025, Hangzhou, China, July 2-4, 2025, Proceedings
Redaktion: Zhou, Yuan; Liu, Yang; Ding, Zuohua; Xie, Xiaofei; Teo, Sin G.
Alle Infos zum eBook verschenken
Engineering of Complex Computer Systems (eBook, PDF)
29th International Conference, ICECCS 2025, Hangzhou, China, July 2-4, 2025, Proceedings
Redaktion: Zhou, Yuan; Liu, Yang; Ding, Zuohua; Xie, Xiaofei; Teo, Sin G.
- Format: PDF
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung

Hier können Sie sich einloggen

Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
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…mehr
- Geräte: PC
- ohne Kopierschutz
- eBook Hilfe
- Größe: 50.15MB
Information Systems and Technological Advances for Sustainable Development (eBook, PDF)104,95 €
Social, Cultural, and Behavioral Modeling (eBook, PDF)40,95 €
Computer Information Systems and Industrial Management (eBook, PDF)40,95 €
Technology, Innovation, Entrepreneurship and Education (eBook, PDF)72,95 €
Advances in Computer Graphics (eBook, PDF)80,95 €
MultiMedia Modeling (eBook, PDF)40,95 €
MultiMedia Modeling (eBook, PDF)40,95 €-
-
-
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.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
- Produktdetails
- Verlag: Springer International Publishing
- Seitenzahl: 522
- Erscheinungstermin: 16. Oktober 2025
- Englisch
- ISBN-13: 9783032008282
- Artikelnr.: 75690088
- Verlag: Springer International Publishing
- Seitenzahl: 522
- Erscheinungstermin: 16. Oktober 2025
- Englisch
- ISBN-13: 9783032008282
- Artikelnr.: 75690088
- Herstellerkennzeichnung Die Herstellerinformationen sind derzeit nicht verfügbar.
.- 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.
.- 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.







