Search results for " Computer Science"
showing 3 items of 3983 documents
Теория алгоритмов и программ. Выпуск 3
1977
Статьи сборника посвящены в основном теории индуктивного вывода. Рассмотрены также вопросы семантики программ (аппарат формального доказательства свойств программ) и теории сводимости.
Теоретические вопросы программирования
1988
Сборник посвящен исследованию сложности различных типов вычислительных устройств, таких как альтернирующие и вероятностные машины, а также проблемам индуктивного синтеза программ.
On-Demand Security Framework for 5GB Vehicular Networks
2023
Building accurate Machine Learning (ML) at-tack detection models for 5G and Beyond (5GB) vehicular networks requires collaboration between Vehicle-to-Everything (V2X) nodes. However, while operating collaboratively, ensuring the ML model’s security and data privacy is challenging. To this end, this article proposes a secure and privacy-preservation on-demand framework for building attack-detection ML models for 5GB vehicular networks. The proposed framework emerged from combining 5GB technologies, namely, Federated Learning (FL), blockchain, and smart contracts to ensure fair and trustedinteractions between FL servers (edge nodes) with FL workers (vehicles). Moreover, it also provides an ef…