Geodesic

Volume 20 (2013) no. 4

Table of contents

Construction and Verification of PLC-programs by LTL-specification
p. 5-22
On the Decidability of Soundness of Workflow Nets with an Unbounded Resource
p. 23-40
Automation of Tabular Application Formation
p. 41-54
An Algorithm of $(n,t)$-Threshold Proxy Signature with an Arbitrator
p. 55-70
On Delaunay’s Theorem Classifying Coincidences of Parallelohedra at Faces of Codimension 3
p. 71-80
A Substitution Algorithm for Dataflow Network Agents on Smart-M3 Platform
p. 81-90
A Novel Approach to Many-to-Many User Authentication in Different Information Systems
p. 91-103
Study of Orthogonal Signals to the Rotation of the Polarization Vector
p. 104-109
Software-Defined Networks as a Stage of the Network Technology Evolution
p. 110-124
Domain-Specific Thesaurus as a Tool for Information Retrieval and Collection of Knowledge
p. 125-135
Designing and Development of an Imitation Model of a Multi-Tenant Database Cluster
p. 136-149