A number of serious reasons will convince an increasing amount of researchers to store their relevant material in centers which we will call "language resource archives"...
Peter Wittenburg, Daan Broeder, Wolfgang Klein, St...
We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized, mach...
Being able to systematically change the original architecture of a component-based system to a desired target architecture without changing the set of functional requirements of t...
Multidimensional scaling (MDS) is a statistical tool for constructing a low-dimension configuration to represent the relationships among objects. In order to extend the convention...
Individuals vary across many dimensions due to the effects of gender-based, personality, and cultural differences. Consequently, programming contests with a limited and rigid stru...