4726 search results - page 555 / 946 » Domain Modeling of Software Process Models |
163
click to vote
STTT
2008
15 years 6 months ago
2008
Abstract Experience with the development and maintenance of large test suites specified using the Testing and Test Control Notation (TTCN-3) has shown that it is difficult to const...
155
click to vote
IJCAI
1989
15 years 8 months ago
1989
In this paper a knowledge based assembly control system for automobile manufacturing is presented which has been implemented for the B M W manufacturing facilities in Munich. The ...
191
click to vote
ECAI
2004
Springer
16 years 6 days ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
222
click to vote
LSO
2004
Springer
16 years 5 days ago
2004
Springer
Selection of Commercial-off-The-Shelf (COTS) software products is a knowledge-intensive process. In this paper, we show how knowledge bases can be used to facilitate the COTS selec...
184
click to vote
OTM
2005
Springer
16 years 9 days ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...