In this paper, we present an approach to incorporating partial geometric information into a local feature-based The distance-supported shape index is proposed for the representatio...
Interprocedural dataflow analysis has a large number of uses for software optimization, maintenance, testing, and verification. For software built with reusable components, the tra...
The paper proposes an assessment scheme for the security properties of software components. The proposed scheme consists of three stages: (i) a system-specific security requireme...
Abstract—We review the issues with the conception of realtime event based applications and propose an event manager component design. We start from the design proposed by the Rea...
A system composed of multiple interacting components is capable of responding to contextual information and producing a higher range of non-linear responses to stimuli compared to...