Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
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
| 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 |
| Autore | Zhou Yuan |
| Edizione | [1st ed. 2026.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 |
| Descrizione fisica | 1 online resource (760 pages) |
| Disciplina | 005.3 |
| Altri autori (Persone) |
TeoSin G
XieXiaofei DingZuohua LiuYang |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Application software
Computer and Information Systems Applications |
| ISBN | 3-032-00828-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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. |
| Record Nr. | UNISA-996691661703316 |
Zhou Yuan
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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
| 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 |
| Autore | Zhou Yuan |
| Edizione | [1st ed. 2026.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 |
| Descrizione fisica | 1 online resource (760 pages) |
| Disciplina | 005.3 |
| Altri autori (Persone) |
TeoSin G
XieXiaofei DingZuohua LiuYang |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Application software
Computer and Information Systems Applications |
| ISBN | 3-032-00828-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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. |
| Record Nr. | UNINA-9911047665303321 |
|
Zhou Yuan
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||