Towards verification of C# programs: A three-level approach V. A. NepomniaschyI. S. AnureevA. V. Promsky OriginalPaper Pages: 190 - 202
Estimation of dynamical characteristics of a parallel program on a model V. P. IvannikovS. S. GaisaryanV. A. Padaryan OriginalPaper Pages: 203 - 214
Optimal schema hierarchies in searching semistructured databases by conjunctive regular path queries S. S. Gorelov OriginalPaper Pages: 215 - 227
Architecture of a semantic data integration system based on a semantically complete model and a semantically complete query language V. V. Ovchinnikov OriginalPaper Pages: 228 - 242