: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
We present details of a goal-oriented process for database requirements analysis. This process consists of a number of steps, spanning the spectrum from high-level stakeholder goa...
Lei Jiang, Thodoros Topaloglou, Alexander Borgida,...
Ears are an emergent biometric accruing application advantages including no requirement for subject contact and acquisition without demand. To recognize a subject's ear, we a...
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
This paper introduces a new method for shape registration by matching vector distance functions. The vector distance function representation is more flexible than the conventional...