Search
Now showing items 1-10 of 35
Информационная технология для системы поддержки принятия решений по отбору кадров при выполнении работ повышенной опасности
(ХАІ, 2010)
Предложена информационная технология «PROFITNESS» для решения задачи профессионального психофизиологического отбора кадров, выполняющих работы повышенной опасности, с целью усовершенствования метода определения профпригодности. ...
Event-B patterns for developing FPGA-BASED hardware
(ХАІ, 2010)
The paper describes the first step of methodology for designing dependable hardware which is based on field programmable gate array technology. This step means the development of patterns using Event-B language useful ...
About static analysis of variables physical dimensions for critical-mission software
(ХАІ, 2010)
Some strong method of static code analysis, namely, analysis of physical dimensions of program variables is researched in the paper. The formal model to analyze the dimensions of variables is built.
Instability analysis of delays contributing to web service response time
(ХАІ, 2010)
This paper reports our practical experience of benchmarking a complex System Biology Web Service, and investigates the instability of its behaviour and the delays induced by the communication medium.
Multi version service oriented architechtures dependability analisys
(ХАІ, 2010)
This article is targeted on investigating the web-services dependability problem and, in particular, the reasonableness of multi version architecture usage to solve it and guarantee the customer he is safe while using the ...
Determination of distribution laws of delays contributing to web-services response time
(ХАІ, 2010)
The paper reports results of finding distribution laws representing Web-Services response time and delays contributing.
Development of educational portal based on mash up technology for international students
(ХАІ, 2011)
This article discusses issues associated with the use of technology Mash up in creating an educational portal for international students.
Atomic wavelets
(ХАІ, 2012)
The problem of existence and construction of the atomic wavelet system, which consists of infinitely differentiable
functions with a compact support, is considered. Formulas for evaluation atomic wavelets are obtained.
Examples ...
Multi-valued decision diagram in importance analysis
(ХАІ, 2012)
New algorithms for calculation of the importance measures based on the methods of Logical Differential Calculus and Binary (Multi-Valued) Diagram are proposed taking into account features of MSSs. Benchmarking algorithms ...
GAP- and HTT-based analysis of safety-critical systems
(ХАІ, 2012)
The paper discusses importance of assessment of interference degree for various attributes of safety-critical
systems, as well as proposes applicable metrics. Also, the paper presents an approach to analysis of ...