|
|
2013, Volume 20, Number 4
|
 |
|
 |
|
Construction and Verification of PLC-programs by LTL-specification
E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin
|
5 |
|
|
On the Decidability of Soundness of Workflow Nets with an Unbounded Resource
V. A. Bashkin, I. A. Lomazova
|
23 |
|
|
Automation of Tabular Application Formation
S. V. Zykin
|
41 |
|
|
An Algorithm of $(n,t)$-Threshold Proxy Signature with an Arbitrator
E. A. Tolyupa
|
55 |
|
|
On Delaunay’s Theorem Classifying Coincidences of Parallelohedra at Faces of Codimension 3
A. N. Magazinov
|
71 |
|
|
A Substitution Algorithm for Dataflow Network Agents on Smart-M3 Platform
A. M. Vasilev, I. V. Paramonov, N. S. Lagutina, E. I. Mamedov
|
81 |
|
|
A Novel Approach to Many-to-Many User Authentication in Different Information Systems
Vitaly Petrov, Maria Komar, Yevgeny Koucheryavy
|
91 |
|
|
Study of Orthogonal Signals to the Rotation of the Polarization Vector
Y. E. Borovkov, A. N. Krenev, V. N. Muravyev, A. P. Omeltchuk
|
104 |
|
|
Software-Defined Networks as a Stage of the Network Technology Evolution
A. A. Krasotin, I. V. Alexseev
|
110 |
|
|
Domain-Specific Thesaurus as a Tool for Information Retrieval and Collection of Knowledge
Vladimir N. Boikov, Vladimir E. Zakharov, Mariya S. Karyaeva, Valery A. Sokolov
|
125 |
|
|
Designing and Development of an Imitation Model of a Multi-Tenant Database Cluster
E. A. Boytsov
|
136 |
|
|
Terms of Use