Vor Ort
Merkzettel Warenkorb
Produktbild: Engineering of Complex Computer Systems
Band 15746

Engineering of Complex Computer Systems 29th International Conference, ICECCS 2025, Hangzhou, China, July 2–4, 2025, Proceedings

Aus der Reihe Lecture Notes in Computer Science

129,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.10.2025

Abbildungen

XIV, 522 p. 151 illus., 135 illus. in color.

Herausgeber

Yuan Zhou + weitere

Verlag

Springer

Seitenzahl

522

Maße (L/B/H)

23,5/15,5/2,9 cm

Gewicht

803 g

Sprache

Englisch

ISBN

978-3-032-00827-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.10.2025

Abbildungen

XIV, 522 p. 151 illus., 135 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

522

Maße (L/B/H)

23,5/15,5/2,9 cm

Gewicht

803 g

Sprache

Englisch

ISBN

978-3-032-00827-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Engineering of Complex Computer Systems

  • .- 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.