During software evolution, programmers add new functionalities and release new versions of software. This complicated work involves not only program development but also learning ...
The Single Instruction Multiple Data (SIMD) model for fine-grained parallelism was recently extended to support SIMD operations on disjoint vector elements. In this paper we demon...
For better supervising workflow performance, the data elements engaged in workflow execution are classified into application data and process data. Taking advantage of HyperSet and...
We use 2-Dimensional language to construct 2-Dimensional computer graphics model, use MSO or other logics to specify some graph property, and use automata model checking technique ...
: Detection of instances of design patterns is useful for the software maintenance. This paper proposes a new framework for the automated detection of instances of design patterns....