Formalization of semantics of systems with unreliable agents by means of nets of active resources V. A. Bashkin OriginalPaper 04 September 2010 Pages: 187 - 196
Knowledge visualization based on semantic networks I. A. Bessmertny OriginalPaper 04 September 2010 Pages: 197 - 204
Query processing in a DBMS for cluster systems A. V. LepikhovL. B. Sokolinsky OriginalPaper 04 September 2010 Pages: 205 - 215
Synthesis of distinguishing test cases for timed finite state machines M. L. GromovN. V. Yevtushenko OriginalPaper 04 September 2010 Pages: 216 - 224
The use of dynamic analysis for generation of input data that demonstrates critical bugs and vulnerabilities in programs I. K. IsaevD. V. Sidorov OriginalPaper 04 September 2010 Pages: 225 - 236
Simulation and rendering algorithms for optically complex materials by the example of fabric A. G. VoloboyV. A. GalaktionovN. A. Lobalzo OriginalPaper 04 September 2010 Pages: 237 - 246