687 search results - page 36 / 138 » Specification and Verification of Model Transformations Usin... |
102
Voted
RE
2008
Springer
14 years 12 months ago
2008
Springer
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
109
Voted
ICAPR
2009
Springer
15 years 5 months ago
2009
Springer
In this paper, we propose a method to exploit the uniqueness in the illumination variations on the face image of a subject for face verification. Using the 3D wireframe model of a...
130
Voted
IESS
2007
Springer
15 years 6 months ago
2007
Springer
To overcome the complexity in System-on-Chip (SoC) design, researchers have developed sophisticated design flows that significantly reduce the development time through automation...
101
Voted
IICAI
2007
15 years 1 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
114
click to vote
FASE
2008
Springer
15 years 2 months ago
2008
Springer
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...