Suchergebnisse - "Control Structures and Microprogramming"

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

Volltext

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

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

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

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

Formal methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024 : proceedings von International Symposium of Formal Methods Europe, Platzer, André, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo

Volltext

Formal methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024 : proceedings von International Symposium of Formal Methods Europe, Platzer, André, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo

Volltext

Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings

“… This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, …”
Volltext

Design of Anomaly-Based Intrusion Detection System Using Fog Computing for IoT Network von 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 …”
Volltext

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

Volltext

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

Volltext

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 …”
Volltext

On the Method of Masking in the Multiple Signature Protocol Based on Isogenies of Elliptic Curves von 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 …”
Volltext

Protecting Machine Learning Models from Training Data Set Extraction von Kalinin, M. O., Muryleva, A. A., Platonov, V. V.

“… — The problem of protecting machine learning models from the threat of data privacy violation implementing membership inference in training data sets is …”
Volltext

Annotation of Text Corpora by Sentiment and Irony in a Project of Citizen Science von Paramonov, I. V., Poletaev, A. Y.

“… — This paper studies the construction of a corpus of sentences annotated by general sentiment into four classes (positive, negative, neutral, and mixed), a …”
Volltext

Model for Ranking the System of Indicators of Node Compromise of Corporate Data Network Nodes von Bezzateev, S. V., Mylnikov, V. A., Starodub, A. R.

“… The model of the system of ranking indicators of compromise for active countermeasures against targeted attacks is proposed, which makes it possible to detect …”
Volltext

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

“… Process-oriented programming is one of the approaches used to develop control software. A process-oriented program is defined as a sequence of processes. Each …”
Volltext

Study of a Radar Sensor Transmitter to Optimize a Bipolar Ultrawideband Pulse Used to Excite the Antenna von Aristov, V., Greitans, M.

“… The desire to increase the energy of the pulses by which the impact excitation of ultrawideband antennas is carried out prompts some authors of equipment …”
Volltext

Zhegalkin Polynomial of a Multiary Sole Sufficient Operator von Bystrov, L. Y., Kuzmin, E. V.

“… — Sole sufficient operators are of particular interest among functionally complete sets of Boolean functions. They have a wide range of applicability and are …”
Volltext

NP-Completeness of the Eulerian Walk Problem for a Multiple Graph von 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, …”
Volltext

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

“… This paper studies issues related to the implementation of intellectual synthesis of cyber-resilient structures. Methods are proposed that implement synthesis …”
Volltext

Justification of the Rational Composition of the Information Security System von Suprun, A. F., Zegzhda, D. P., Anisimov, V. G., Anisimov, E. D.

“… This paper examines a methodological approach to the construction of models and algorithms for supporting decision-making in substantiating rational …”
Volltext