Пошук
Зараз показуються 1-10 з 130
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 ...
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 ...
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.
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.
Method of realization of arithmetic operations on the basis of the use of modulyarnoy number system
(ХАІ, 2009)
In this article we consider two arithmetic operation realizations in modular arithmetics, based on the ring shift
principle. The method of binary position and remainder encoding has proved to be very efficient comparing ...
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.
Grid safety analysis based on linguistic bayesian belief network
(ХАІ, 2012)
The state of power grid is determined by states of its systems, conditioned by their mutual influence of different
nature. These influences cause the change of state of each system during grid life cycle. The proposed ...
The interaction of intellectual agents in the production processes simulation modeling system
(ХАІ, 2013)
The paper has considered the intellectual agents' interaction mechanisms in thread processes modeling. The
major advantages of the approach have been demonstrated, related to the possibility to create elements of ...
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 ...