Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...
Emotions play a critical role in creating engaging and believable characters to populate virtual worlds. Our goal is to create general computational models to support characters t...
Abstract. At the first ICVS, we presented SA-C (“sassy”), a singleassignment variant of the C programming language designed to exploit both coarse-grain and fine-grain parallel...
Signed conjunctive normal form (signed CNF) is a classical conjunctive clause form using a generalized notion of literal, called signed atom. A signed atom is an expression of the...
Semantic relationships, those class-to-class connections that carry inherent support for constraints and various other functionalities, play an important role when building inform...