The behavior of one and two dimensional automata are displayed in two and three dimensions and via animations. Implementations of finite automata in J using "infix" and ...
Model Transformation is the key aspect of Model Driven Engineering (MDE), a model-centric software development approach aiming at improving the quality and productivity of softwar...
Xiaoping Jia, Hongming Liu, Lizhang Qin, Adam Stee...
To support users in querying geographic databases we have developed a system that lets people sketch what they are looking for. It closes the gap between user and information syst...
The This paper presents our work to define an Extended Enterprise Memory which is an explicit representation of knowledge for cooperative activity. This work is relevant from coop...
Nothing does a software company’s reputation more harm than poor quality. One significant contributor to delivered quality is how thoroughly the software is tested. In this issu...