SCEAS

The SCEAS System

Victor V. Toporkov
Decidability of the Analysis Problem for Dataflow Models of Programs. [Citation Graph (0, 0)][DBLP]
Programming and Computer Software, 2003, v:29, n:3, pp:121-129 [Journal]
Alexandre V. Zamulin
An ASM-based Formal Model of a Java Program. [Citation Graph (0, 0)][DBLP]
Programming and Computer Software, 2003, v:29, n:3, pp:130-139 [Journal]
S. V. Coox
Axiomatization of the Evolution of XML Database Schema. [Citation Graph (0, 0)][DBLP]
Programming and Computer Software, 2003, v:29, n:3, pp:140-146 [Journal]
Pierfrancesco Bellini, M. Buonopane, Paolo Nesi
Assessment of a Flexible Architecture for Distributed Control*. [Citation Graph (0, 0)][DBLP]
Programming and Computer Software, 2003, v:29, n:3, pp:147-160 [Journal]
V. A. Vasenin, V. V. Korneev, M. Yu. Landina, V. A. Roganov
Functional Active Monitoring System FLAME. [Citation Graph (0, 0)][DBLP]
Programming and Computer Software, 2003, v:29, n:3, pp:161-172 [Journal]
Nickolai A. Likhoded
Distribution of Operations and Data Arrays over Processors. [Citation Graph (0, 0)][DBLP]
Programming and Computer Software, 2003, v:29, n:3, pp:173-179 [Journal]

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP