Suchergebnisse - "Control Structures and Microprogramming"
-
1
Erratum to: Cluster Based QOS-Routing Protocol for VANET in Highway Environment
ISSN: 0146-4116, 1558-108XVeröffentlicht: Moscow Pleiades Publishing 01.12.2024Veröffentlicht in Automatic control and computer sciences (01.12.2024)Volltext
Journal Article -
2
Erratum to: A Novel Coal Mine Dust Measurement System and Experimental Analysis
ISSN: 0146-4116, 1558-108XVeröffentlicht: Moscow Pleiades Publishing 01.10.2023Veröffentlicht in Automatic control and computer sciences (01.10.2023)“… An Erratum to this paper has been published: https://doi.org/10.3103/S0146411623050139 …”
Volltext
Journal Article -
3
Erratum to: On the Detection of Exploitation of Vulnerabilities That Leads to the Execution of a Malicious Code
ISSN: 0146-4116, 1558-108XVeröffentlicht: Moscow Pleiades Publishing 01.12.2022Veröffentlicht in Automatic control and computer sciences (01.12.2022)“… An Erratum to this paper has been published: https://doi.org/10.3103/S0146411622070094 …”
Volltext
Journal Article -
4
Formal methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024 : proceedings
ISBN: 9783031711619, 3031711610Veröffentlicht: Cham Springer 2025Volltext
Buch -
5
Formal methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024 : proceedings
ISBN: 3031711769, 9783031711763Veröffentlicht: Cham Springer 2025Volltext
Buch -
6
Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings
ISBN: 9783032060853, 3032060842, 9783032060846, 3032060850Veröffentlicht: Cham Springer Nature 2026“… This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, …”
Volltext
E-Book -
7
Design of Anomaly-Based Intrusion Detection System Using Fog Computing for IoT Network
ISSN: 0146-4116, 1558-108XVeröffentlicht: Moscow Pleiades Publishing 01.03.2021Veröffentlicht in Automatic control and computer sciences (01.03.2021)“… 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
Journal Article -
8
Erratum to: Application on Cold Chain Logistics Routing Optimization Based on Improved Genetic Algorithm
ISSN: 0146-4116, 1558-108XVeröffentlicht: Moscow Pleiades Publishing 01.11.2019Veröffentlicht in Automatic control and computer sciences (01.11.2019)Volltext
Journal Article -
9
Erratum to: Estimating the Speed of an Integrated Wireless Network for Transportation Applications
ISSN: 0146-4116, 1558-108XVeröffentlicht: Moscow Pleiades Publishing 01.09.2019Veröffentlicht in Automatic control and computer sciences (01.09.2019)Volltext
Journal Article -
10
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
ISBN: 9783031909009, 3031909003, 3031908996, 9783031908996Veröffentlicht: Cham Springer Nature 2025“… This open access book constitutes the proceedings of the 28th International Conference on Fundamental Approaches to Software Engineering, FASE 2025, which was …”
Volltext
E-Book -
11
On the Method of Masking in the Multiple Signature Protocol Based on Isogenies of Elliptic Curves
ISSN: 0146-4116, 1558-108XVeröffentlicht: Moscow Pleiades Publishing 01.12.2024Veröffentlicht in Automatic control and computer sciences (01.12.2024)“… Among the post-quantum algorithms selected by the National Institute of Standards and Technology (NIST) for standardization, the main mathematical apparatus is …”
Volltext
Journal Article -
12
Protecting Machine Learning Models from Training Data Set Extraction
ISSN: 0146-4116, 1558-108XVeröffentlicht: Moscow Pleiades Publishing 01.12.2024Veröffentlicht in Automatic control and computer sciences (01.12.2024)“… — The problem of protecting machine learning models from the threat of data privacy violation implementing membership inference in training data sets is …”
Volltext
Journal Article -
13
Annotation of Text Corpora by Sentiment and Irony in a Project of Citizen Science
ISSN: 0146-4116, 1558-108XVeröffentlicht: Moscow Pleiades Publishing 01.12.2024Veröffentlicht in Automatic control and computer sciences (01.12.2024)“… — This paper studies the construction of a corpus of sentences annotated by general sentiment into four classes (positive, negative, neutral, and mixed), a …”
Volltext
Journal Article -
14
Model for Ranking the System of Indicators of Node Compromise of Corporate Data Network Nodes
ISSN: 0146-4116, 1558-108XVeröffentlicht: Moscow Pleiades Publishing 01.12.2024Veröffentlicht in Automatic control and computer sciences (01.12.2024)“… 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
Journal Article -
15
Requirement Patterns in Deductive Verification of poST Programs
ISSN: 0146-4116, 1558-108XVeröffentlicht: Moscow Pleiades Publishing 01.12.2024Veröffentlicht in Automatic control and computer sciences (01.12.2024)“… 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
Journal Article -
16
Study of a Radar Sensor Transmitter to Optimize a Bipolar Ultrawideband Pulse Used to Excite the Antenna
ISSN: 0146-4116, 1558-108XVeröffentlicht: Moscow Pleiades Publishing 01.12.2024Veröffentlicht in Automatic control and computer sciences (01.12.2024)“… 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
Journal Article -
17
Zhegalkin Polynomial of a Multiary Sole Sufficient Operator
ISSN: 0146-4116, 1558-108XVeröffentlicht: Moscow Pleiades Publishing 01.12.2024Veröffentlicht in Automatic control and computer sciences (01.12.2024)“… — Sole sufficient operators are of particular interest among functionally complete sets of Boolean functions. They have a wide range of applicability and are …”
Volltext
Journal Article -
18
NP-Completeness of the Eulerian Walk Problem for a Multiple Graph
ISSN: 0146-4116, 1558-108XVeröffentlicht: Moscow Pleiades Publishing 01.12.2024Veröffentlicht in Automatic control and computer sciences (01.12.2024)“… 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
Journal Article -
19
Intelligent Synthesis of Cyber-Resilient Network Structures: Methods, Experiments, and Architecture Implementation
ISSN: 0146-4116, 1558-108XVeröffentlicht: Moscow Pleiades Publishing 01.12.2024Veröffentlicht in Automatic control and computer sciences (01.12.2024)“… This paper studies issues related to the implementation of intellectual synthesis of cyber-resilient structures. Methods are proposed that implement synthesis …”
Volltext
Journal Article -
20
Justification of the Rational Composition of the Information Security System
ISSN: 0146-4116, 1558-108XVeröffentlicht: Moscow Pleiades Publishing 01.12.2024Veröffentlicht in Automatic control and computer sciences (01.12.2024)“… This paper examines a methodological approach to the construction of models and algorithms for supporting decision-making in substantiating rational …”
Volltext
Journal Article

