A good picture of the actual situation is essential within (networked) Command and Control systems to support the execution of the actions required to achieve mission success. In this paper, the collection of processes that contribute to the construction of this picture is divided into two main categories. The paper firstly describes the set that gathers data from different types of sensors and...

Modern businesses use a great number of different computer systems to manage their daily business processes. These systems are knew as "operational system" and have been acquired from several vendors during a long time and are based on different technologies and softwares. The integration of there different systems is complex and difficult. The data warehousing approach solves the problem by in...

RP programs are imperative programs with parallelism and recursion and only a limited way of synchronizing parallel processes. The formal framework we propose here combines (1) a formal operational model of abstract programs (or RP schemes), (2) a set of decision methods for the analysis of RP schemes, (3) a formal operational model for the interpreted programs, and (4) translation results stat...

In this paper, we introduce Concurrent METATEM Processes, a high-level language for modeling distributedand concurrent systems. This language represents an operational model for a variety of METATEM, which is a framework for executable temporal logics. We argue that the combination of executable temporal logic, meta-level capabilities, and concurrent operational model make the language suitable...

Indicators of socio-economic development the regions Ukraine demonstrate a tendency to increase disproportions, which are significantly intensified in conditions military operations. In addition deterioration performance indicators, this trend leads fragmentation country's economic space. Regulation regional does not contribute reduction disparities, particular, due shortcomings assessment, int...