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

2. Knowledge visualization based on semantic networks

   • I. A. Bessmertny

   OriginalPaper 04 September 2010 Pages: 197 - 204

3. Query processing in a DBMS for cluster systems

   • A. V. Lepikhov
   • L. B. Sokolinsky

   OriginalPaper 04 September 2010 Pages: 205 - 215

4. Synthesis of distinguishing test cases for timed finite state machines

   • M. L. Gromov
   • N. V. Yevtushenko

   OriginalPaper 04 September 2010 Pages: 216 - 224

5. The use of dynamic analysis for generation of input data that demonstrates critical bugs and vulnerabilities in programs

   • I. K. Isaev
   • D. V. Sidorov

   OriginalPaper 04 September 2010 Pages: 225 - 236

6. Simulation and rendering algorithms for optically complex materials by the example of fabric

   • A. G. Voloboy
   • V. A. Galaktionov
   • N. A. Lobalzo

   OriginalPaper 04 September 2010 Pages: 237 - 246