2409 search results - page 67 / 482 » Logical systems for structured specifications |
180
click to vote
CORR
2011
Springer
15 years 2 days ago
2011
Springer
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
130
click to vote
ICPR
2006
IEEE
16 years 6 months ago
2006
IEEE
In this paper, we present a face authentication system that can be broken down in three stages. Prior to feature extraction, a pose correction step is applied, so that frontal fac...
145
Voted
FCCM
2009
IEEE
15 years 11 months ago
2009
IEEE
Although soft microprocessors are widely used in FPGAs, limited work has been performed regarding how to automatically and efficiently generate soft multiprocessors. In this paper...
118
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Domain-specific architectures, middleware platforms, and analysis techniques leverage domain knowledge to help engineers build systems more effectively. An integrated set of these...
127
Voted
IWSAS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper deals with self-adapting software that is structured according to a control theory architecture. Such software contains, in addition to its main function, two ...