Search
Now showing items 21-30 of 68
Normalized rank selection method and its application in design of fault-tolerant PLD-based systems using genetic algorithms
(ХАІ, 2007)
The paper deals with several selection schemes which evolve fault-tolerant PLD-based systems using genetic algorithms.
It has been suggested to use the new normalized rank selection method instead of common rank ...
Features of banking information systems dependability taxonomy
(ХАІ, 2007)
Banking information systems (BIS) evolution history and general structure are considered. The main BIS requirements
are analyzed. The dependability attributes with regard to BIS are determined.
Assessing software vulnerabilities and recovery time using open resources: elements of technique and results
(ХАІ, 2007)
Modern vulnerability resources are considered, their content, security and recovery time of different software
products are analyzed. To make the process smoother and more efficient three main stages are distinguished:
source ...
Fault-tolerant SoPC-based approaches with multi-version IIP
(ХАІ, 2007)
In this paper different approaches of Infrastructure Intellectual Property (IIP) implementation for System-on-
Programmable-Chip (SoPC) are discussed. Several diversity-oriented SoPC approaches and different techniques
of ...
Architecture and implementing service-oriented pharmacological system «medicine»
(ХАІ, 2007)
Present work is devoted to service-oriented systems problems. Particularly, medical web-services are discussed. Information
technologies classification in medicine and urgency of web-services using in medicine are ...
The analysis of vulnerability databases in view of web-services architecture
(ХАІ, 2007)
In this article the comparative analysis of existing vulnerability databases (VDB) is carried out. The traditional
architecture of Web-services is considered. One of the most popular VDB is analyzed in view of ...
Medical information systems: analysis of development and application experience
(ХАІ, 2008)
Public Health is one of the main areas, where information technologies are intensively employed. Here we have
reviewed and analyzed a number of foreign and native medical information systems (MIS), experience of ...
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 ...
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.