Search Results - Control structures and microprogramming

Erratum to: Cluster Based QOS-Routing Protocol for VANET in Highway Environment by Fatima Belamri, Boulfekhar, Samra, Aissani, Djamil

Get full text

Erratum to: A Novel Coal Mine Dust Measurement System and Experimental Analysis by Yu, Bencheng, Zihui, Ren, Shoufeng, Tang

“…An Erratum to this paper has been published: https://doi.org/10.3103/S0146411623050139…”
Get full text

Erratum to: On the Detection of Exploitation of Vulnerabilities That Leads to the Execution of a Malicious Code by Kosolapov, Y. V.

“…An Erratum to this paper has been published: https://doi.org/10.3103/S0146411622070094…”
Get full text

Fundamental Approaches to Software Engineering: 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

“…This open access book constitutes the proceedings of the 28th International Conference on Fundamental Approaches to Software Engineering, FASE 2025, which was…”
Get full text

Design of Anomaly-Based Intrusion Detection System Using Fog Computing for IoT Network by Prabhat Kumar, Gupta, Govind P., Tripathi, Rakesh

“…With increase in the demand for Internet of Things (IoT)-based services, the capability to detect anomalies such as malicious control, spying and other threats within IoT-based network has become a major issue…”
Get full text

Erratum to: Application on Cold Chain Logistics Routing Optimization Based on Improved Genetic Algorithm by Liyi Zhang, Gao, Yang, Sun, Yunshan, Fei, Teng, Wang, Yujing

Get full text

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II by Platzer, Andre, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo

“…The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took…”
Get full text

Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

“…The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the…”
Get full text

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I by Platzer, André, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo

“…The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took…”
Get full text

Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part III

“…The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the…”
Get full text

Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

“…The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the…”
Get full text

Erratum to: Estimating the Speed of an Integrated Wireless Network for Transportation Applications by Bogdanov, N., Ancans, A., Martinsons, K., Petersons, E.

Get full text

Intelligent Synthesis of Cyber-Resilient Network Structures: Methods, Experiments, and Architecture Implementation by Pavlenko, E. Yu

“…This paper studies issues related to the implementation of intellectual synthesis of cyber-resilient structures…”
Get full text

Graph Embedded Extreme Learning Machine Autoencoder with Multilayer Cyclic Structure by Wu, Di, Chen, ZiHan

“…), this paper proposes a multilayer GEELM-AE architecture based on cyclic structure (GEELM-AE-MCS). First, we embed the weights into the reconstruction error function to enhance local feature clustering by integrating graph embedding theory…”
Get full text

Requirement Patterns in Deductive Verification of poST Programs by Chernenko, I. M., Anureev, I. S., Garanina, N. O.

“…Process-oriented programming is one of the approaches used to develop control software…”
Get full text

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II by Finkbeiner, Bernd, Kovács, Laura

Get full text

Generalization of Typed Inclusion Dependencies with Null Values in Databases by Zykin, S. V.

“… This structure corresponds to an ultragraph. Generalized inclusion dependencies that take into account the presence of null values in external relations are justified. The system of axioms is obtained based on a study of the properties of typed dependencies. The consistency (soundness) and completeness of the system are proved…”
Get full text

The Algorithms for the Eulerian Cycle and Eulerian Trail Problems for a Multiple Graph by Smirnov, A. V.

“…In this article, we consider undirected multiple graphs of any natural multiplicity k > 1. A multiple graph contains edges of three types: ordinary edges,…”
Get full text

The Optimized Algorithm of Finding the Shortest Path in a Multiple Graph by Smirnov, A. V.

“…In the article, we consider undirected multiple graphs of any natural multiplicity k > 1. A multiple graph contains edges of three types: ordinary edges,…”
Get full text

On the Method of Masking in the Multiple Signature Protocol Based on Isogenies of Elliptic Curves by Aleksandrova, E. B., Kostin, S. O.

“…Among the post-quantum algorithms selected by the National Institute of Standards and Technology (NIST) for standardization, the main mathematical apparatus is…”
Get full text