Program specific transition systems

A new kind of labeled transition systems, program specific transition systems, is proposed. These systems are used to formalize and unify some aspects of program handling. Such aspects as the development of program operational semantics and proof of safety properties of programs are considered, and the appropriate classes of program...

anureev.pdf165.81 KB

Two-level mixed verification method of C-light programs in terms of safety logic

In this paper, a formalization of the two-level mixed verification method of C-light programs, based on program specific transition systems, is suggested. Two kinds of such systems are used to formalize the method. The first kind, operational semantics specific transition systems, is used to specify the C-light mixed operational semantics...

anureev_maryasov.pdf153.84 KB

Methods of social network analysis

This work represents a survey of the social network analysis problem. There are four main approaches: structural, resource-based, regulatory, and dynamic. To solve the problems in social network analysis, the following methods are used: graph and stochastic models, models of network evolution, methods involving ontologies, structural and relational models, machine...

batura.pdf208.25 KB

Methodology for knowledge portals development: background, foundations, experience of application, problems and prospects

The paper discusses an experience of using the methodology for the development of knowledge portals which provide systematization and integration of scientific and engineering knowledge and information resources as well as the content-based access to them. To provide a sufficiently complete and consistent representation of knowledge and information resources, their...

borovikova.pdf403.84 KB

Component properties of forgetting and progression in the situation calculus

In many tasks related to reasoning about consequences of a logical theory, it is desirable to decompose the theory into a number of weakly-related or independent components. However, a theory may represent knowledge that is subject to change due to execution of actions that have effects on some properties mentioned...

ponomaryovl.pdf185.21 KB

Unifying dynamic programming design patterns

Design and Analysis of Computer Algorithms is a must of Computer Curricula. It covers many topics that group around several core themes including algorithmic design patterns (ADP) like the greedy method, divide-and-conquer, dynamic programming, backtracking and branch-and-bound. These design patterns are usually considered as Classics of the Past (going back...

shilov.pdf150.93 KB