Journal influence
Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)
Bookmark
Next issue
№2
Publication date:
16 June 2024
Articles of journal № 1 at 2012 year.
Order result by: Public date | Title | Authors |
41. Input language of the object-oriented knowledge base of GRID-system [№1 за 2012 год]
Authors: Oparin G.A., Feoktistov A.G., Вартанян Э.К.
Visitors: 7986
In article the description language of the knowledge about experimental Grid-system is considered. The description of such knowledge is based on object-oriented model of the data.
42. Development tools of verification for device drivers based on semantic models [№1 за 2012 год]
Authors: Korablin Yu.P., Павлов Е.Г.
Visitors: 10064
In this article the questions of driver's proving are investigated. It is proposed the method of drivers verification, based on the processing semantics approach.
◄ ← Preview | 1 | 2 | 3 | 4 | 5