This is a continuation of our paper "A Theory of Pfaffian Orientations I: Perfect Matchings and Permanents". We present a new combinatorial way to compute the generating...
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
Future software development will rely on product synthesis, i.e., the synthesis of code and non-code artifacts for a target component or application. Prior work on feature-based p...
In this paper, we review different context classification systems that have been used to define elements of context. Although existing classification systems cover various types of...
In this work informal learning theories and practices and social networking features are taken as starting points to build a reference collaboration model to support collaborative ...