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 ...

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 ...

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.

The paper reports results of finding distribution laws representing Web-Services response time and delays contributing.

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 ...

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.

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 ...

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 ...

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 ...

The article provides an analysis of standards which encourage the reduction of energy consumption within the Green Wireless concept. Basically, standards specification ignores the dynamic properties of the subscribers. ...