Abstract—Change prediction helps developers by recommending program entities that will have to be changed alongside the entities currently being changed. To evaluate their accura...
— Database of human motion has been widely used for recognizing human motion and synthesizing humanoid motions. In this paper, we propose a data structure for storing and extract...
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
Component-based development is the emerging paradigm in software production, though several challenges still slow down its full taking up. In particular, the "component trust...
Abstract. In software architecture, components represent the computational units of a system and connectors represent the interactions among those units. Making decisions about the...