Article A TOOL SUPPORTING AUTOMATA-BASED PROGRAMMING – UNIMOD 2. DESIGN. VALIDATION. VERIFICATION. IMPLEMENTATION Dmitry Kochelev, Ivan Lagunov, Bulat Khasanzyanov, Bulat Jaminov April 2008
Article DEVELOPMENT OF A VERIFIER FOR AUTOMATA-BASED PROGRAMS Kirill Egorov, Shalyto Anatoly A. April 2008
Article A METHOD OF REPRESENTING AUTOMATA WITH DECISION TREES FOR GENETIC PROGRAMMING Vladimir Danilov, Kirill Timofeev April 2008
Article INTERPRETATION AS RESEARCH METHOD FOR DYNAMICAL PROPERTIES OF PARALLEL PROGRAM ON INSTRUMENTAL COMPUTER Manuk Akopyan March 2008
Article INSTRUMENTAL ENVIRONMENT FOR MASS MOBILE NEW-AGE ONLINE-SERVICES. PART 1. OPERATING PRINCIPLE, SOFTWARE ARCHITECTURE Oleg Zolotarev, Ekaterina Grinina, Boukhanovsky Alexander V March 2008
Article TECHNOLOGY OF VIRTUAL TEST DESKS CONSTRUCTING IN DISTRIBUTED COMPUTING ENVIRONMENT Leonid Sokolinsky, Gleb Radchenko March 2008
Article CONCEPTION AND METHODOLOGICAL BASIS FOR INTELLIGENT GRID SYSTEMS BUILDING Yuri Nechaev, Boukhanovsky Alexander V, Vladimir N. Vasiliev March 2008
Article METROLOGICAL SUPPLY FOR DISTRIBUTED COMPUTATION AND SYSTEMS Boukhanovsky Alexander V, Alexander Semyonov March 2008
Article INSTRUMENTAL ENVIRONMENT FOR MASS MOBILE NEW-AGE ONLINE-SERVICES. PART 2. NFC TECHNOLOGY Kovalchuk Sergey V., Sergey Vishnyakov March 2008
Article SOFT DEVELOPMENT OF COMPETITIVE MARKET MODELING FOR COMPUTATIONAL CLUSTERS Maxim Nesternko, Denis Leonov, Ekaterina V. Bolgova , Alexey Kirillov March 2008