Buchumschlag

Spatio‐Clock Synchronous Constraint Systems Specification and Verification to Ensure Autonomous Driving Safety

Fuente: Wiley Open Access

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Jinyong Wang, Zhiqiu Huang, Deyan Yang, Xiaowei Huang, Yi Zhu
Format:	Artículo Open Access
Veröffentlicht:	Wiley 2025
Schlagworte:	Software: Practice and Experience
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Adaptive and Dynamic Spatio‐Temporal Network for Traffic Flow Forecasting
von: Ying Xing, et al.
Veröffentlicht: (2025)

Debloating Software Through Enhanced Static Analysis and Constraint Rules
von: Xiaohu Song, et al.
Veröffentlicht: (2025)

Special Issue on “Ensuring security for artificial intelligence applications in mobile edge computing software systems”
von: Lianyong Qi, et al.
Veröffentlicht: (2024)

Special Issue on Edge Intelligence Software Systems for Internet of Autonomous Unmanned Vehicles Journal of Software: Practice and Experience (Wiley Press)
von: Kaijian Xia, et al.
Veröffentlicht: (2025)

Visualisation and Automated Formal Verification of TOSCA Workflows
von: Ouadie Khebbeb, et al.
Veröffentlicht: (2026)

Enhanced Architecture of Structure Semantics for Syntax‐Aware Code Generation
von: Canmiao Zhou, et al.
Veröffentlicht: (2025)

Federated Learning‐Based Mobile Traffic Prediction in Satellite‐Terrestrial Integrated Networks
von: Weiwei Jiang, et al.
Veröffentlicht: (2024)

QRAP: A Quantum Resource Allocation Platform for Adaptive Scheduling Under Topology Constraints
von: Song Guo, et al.
Veröffentlicht: (2026)

Privacy‐preserving task offloading in mobile edge computing: A deep reinforcement learning approach
von: Fanglue Xia, et al.
Veröffentlicht: (2024)

Early Response Framework for Accident Detection and Prevention Through Multi‐Zone Fog‐Cloud Collaboration for Safety‐Critical Applications
von: Moumita Mishra, et al.
Veröffentlicht: (2025)

Research on Blockchain for Adapting to Node Dynamics in Internet of Things
von: Sibo Zhao, et al.
Veröffentlicht: (2026)

A novel instance‐based method for cross‐project just‐in‐time defect prediction
von: Xiaoyan Zhu, et al.
Veröffentlicht: (2024)

An Adaptive Hybrid Recommender System for Requirements Reuse
von: Mohammad Mehdi Pourhashem Kallehbasti, et al.
Veröffentlicht: (2026)

On the Performance and Memory Footprint of Distributed Training: An Empirical Study on Transformers
von: Zhengxian Lu, et al.
Veröffentlicht: (2025)

Fail‐Controlled Classifiers: A Swiss‐Army Knife Toward Trustworthy Systems
von: Fahad Ahmed Khokhar, et al.
Veröffentlicht: (2025)

A Risk Manager for Intrusion Tolerant Systems: Enhancing HAL 9000 With New Scoring and Data Sources
von: Tadeu Freitas, et al.
Veröffentlicht: (2025)

SlowSort: An Enhanced Sorting Algorithm for Large‐Scale Integer Datasets
von: Pengfei Wang, et al.
Veröffentlicht: (2025)

DAOR: Distinguish Similar Machine Learning APIs Based on Official Documents and Reviews
von: Shuang Jiang, et al.
Veröffentlicht: (2025)

Catalog, Impact, and Evaluation of Microservice Bad Smells: A Systematic Literature Review
von: Yongchao Xing, et al.
Veröffentlicht: (2026)

HBAC: Hierarchical‐Based Access Control Model for Storage Management in Data Lake Environments
von: Yisac Hong, et al.
Veröffentlicht: (2026)

Large AI Models and Their Applications: Classification, Limitations, and Potential Solutions
von: Jing Bi, et al.
Veröffentlicht: (2025)

SIB: Sorted‐Integers‐Based Index for Compact and Fast Caching in Top‐Down Logic Rule Mining Targeting KB Compression
von: Ruoyu Wang, et al.
Veröffentlicht: (2025)

Hate‐UDF: Explainable Hateful Meme Detection With Uncertainty‐Aware Dynamic Fusion
von: Xia Lei, et al.
Veröffentlicht: (2024)

Exploring Influence Factors on LLM Suitability for No‐Code Development of End User Applications
von: Minghe Wang, et al.
Veröffentlicht: (2025)

ASRMG: Business Topic Clustering‐Based Architecture Smell Refactoring for Microservices Granularity
von: Sixuan Wang, et al.
Veröffentlicht: (2025)

A comprehensive survey of UPPAAL‐assisted formal modeling and verification
von: Wenbo Zhou, et al.
Veröffentlicht: (2024)

Quantum Support Vector Machines and Quantum Kernel Methods
von: Li Xu, et al.
Veröffentlicht: (2026)

QFI‐Opt: Communication‐Efficient Quantum Federated Learning via Quantum Fisher Information
von: Rui Zhang, et al.
Veröffentlicht: (2025)

Faster Wavelet Tree Queries
von: Florian Kurpicz, et al.
Veröffentlicht: (2025)

Practical Adaptive Dynamic Bitvectors
von: Gonzalo Navarro
Veröffentlicht: (2025)

A Comprehensive Review of ns‐3‐Based Simulation Frameworks for LEO Satellite Constellations: Capabilities and Limitations
von: Pilar Manzanares‐Lopez, et al.
Veröffentlicht: (2025)

Quality of Experience Based Dynamic Path Serverless Data Pipelines in Edge/Fog Computing
von: Sreenivasu Mirampalli, et al.
Veröffentlicht: (2025)

Confidential Computing Across Edge‐To‐Cloud for Machine Learning: A Survey Study
von: Sm Zobaed, et al.
Veröffentlicht: (2025)

Performance Analysis and Comparison of Node.Js and Java Spring Boot in Implementation of Restful Applications
von: J. S. Shyam Mohan, et al.
Veröffentlicht: (2025)

Issue Information
Veröffentlicht: (2025)

Automating Algorithm Experiments With ALGator: From Problem Modeling to Reproducible Results
von: Tomaž Dobravec
Veröffentlicht: (2025)

On the Energy Consumption of ATL Transformations
von: Riccardo Rubei, et al.
Veröffentlicht: (2025)

A Method for the Quality‐Aware Automated Selection of Deployment Technologies
von: Miles Stötzner, et al.
Veröffentlicht: (2025)

On‐Demand Deployment of Edge Cloud Infrastructures for Federated Learning
von: Eduardo Huedo, et al.
Veröffentlicht: (2025)

RGPRec: A RAG‐Enhanced GNN for Personalized Task Recommendations in Open‐Source Communities
von: Shiyu He, et al.
Veröffentlicht: (2025)