The paper proposes meta-ontology of the user modeling field. Ontology is meant to structure the state-of-the-art in the field and serve as a central reference point and as a tool t...
Michael Yudelson, Tatiana Gavrilova, Peter Brusilo...
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
Java's design goals of portability, safety, and ubiquity make it a potentially ideal language for large-scale heterogeneous computing. One of the remaining challenges is to c...
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for o...