310 search results - page 50 / 62 » Symbolic Model Based Testing for Component Oriented Systems |
JSW
2007
13 years 7 months ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
The Service-Oriented Architecture (SOA) paradigm promises to enable software vendors to compose software systems using services purchased from various suppliers. In this paper, we...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
The use of 3-D ultrasound data has several advantages over 2-D ultrasound for fetal biometric measurements, such as considerable decrease in the examination time, possibility of p...
KBSE
2003
IEEE
14 years 26 days ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
ICPR
2010
IEEE
13 years 5 months ago
2010
IEEE
In this paper we present a new architecture for face recognition with a single reference image, which completely separates the training process from the recognition process. In th...