Placeholder text
Engineering of Complex Computer Systems
By Yuan Zhou
0 - Default Title
Description
.- Runtime Anomaly Detection for Drones: An Integrated Rule Miningand 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-upEvaluation.
.- A Q learning driven multi crossover NSGA II framework forenergy efficient hybrid flow shop scheduling.
.- MixRecLGB: Language-Enhanced Mixed Attention for TemporalContext Modeling in Time Series Forecasting.
.- Trustworthy Deep Learning.
.- PAMUS: An Entropy Loss Based Poisoning Attack for UnderminingMachine Unlearning.
.- Certified Enumeration of AI Explanations: A Focus on MonotonicClassifiers.
.- Random Resampling of Training Data for Effective VerificationStrategy Prediction.
.- DeepMR: A Learning Based Approach for Efficient Mutation Reductionin DNN Fault Localization.
.- Investigating the OOV Problem and Its Impacts on Neural ProgramRepair
.- Edge Computing Systems.
.- Auction Based Caching Decision Algorithm for IoT Traffic withPopular and Fresh Content.
.- Maximizing Long term Task Completion Ratio of 3D UAV EnabledWirelessly Powered MEC System.
.- Towards Efficient and Secure Multimodal Misinformation Detection.
.- Large Language Models for Software Engineering.
.- Leveraging Large Language Models for Feature Envy Detection: AContext Aware and Reasoning Driven Approach.
.- RustMap: Towards Project-Scale C to Rust Migration via ProgramAnalysis and LLM.
.- Formal Methods.
.- LTL Model Checking of Concurrent Self Modifying Code.
.- Checking Linearizability of Multi Core Task Management andScheduling System.
.- Contract based Verification of Digital Twins.
.- Verifying Neural Network Controlled Systems by Combining TaylorModels and Linear Abstract Domains.
.- Model Checking Nondeterministic Behaviours in the TendermintByzantine Fault Tolerant Blockchain Consensus Protocol.
.- Program Analysis.
.- Uncover the Risks of Outdated Dependencies in Software SupplyChains: Insights from the npm Ecosystem.
.- EMS HFL: A Hybrid based Fault Localization.
.- CONTAST: Graph Embedding based Fault Localization IntegratingAST 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 OnlineEcosystem in Digital Age.
.- Empowering Embodied Agents with Semantic Intelligence.
.- Large Language Models for Software Engineering.
.- An Analytical Perspective on Software Engineering for Large LanguageModels.
.- LiCoVer: LLM Powered Automated OSS License Compliance Verification.
.- UFPC: A Unified Framework for Source and Binary ProgramComprehension.
.- TestCaseMig: LLM Driven Test Case Migration for Evolving Codebases.
.- Evolaris: A Roadmap to Self Evolving Software Intelligence Management.
Product details
Binding:
Paperback
Number of Pages:
536
Release Date:
2025-10-17
Publication Date:
2025-10-17
Publisher:
Springer
Languages:
Original:
English
ISBN10:
3032008271
ISBN13:
9783032008275
GPSR Manufacturer Reference:
Weight:
803 g
Height:
155 cm
Width:
235 cm
Thickness:
29 cm
Currently sold out