929 search results - page 97 / 186 » A Modeling Approach for Product Classification Systems |
CAISE
2009
Springer
15 years 4 months ago
2009
Springer
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
Quality is becoming increasingly important with the continuous adoption of open-source software. Previous research has found that there is generally a positive relationship betwee...
TACAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We propose a novel algorithm for automata-based LTL model checking that interleaves the construction of the generalized B¨uchi automaton for the negation of the formula ...
ESANN
2007
14 years 11 months ago
2007
Abstract. From the echoes of their vocalisations bats extract information about the positions of reflectors. To gain an understanding of how target position is translated into neu...
IJAR
1998
14 years 9 months ago
1998
The objective of multi-site scheduling is to support the scheduling activities of a global scheduler and schedulers in distributed production plants in a cooperative way. A global...