12670 search results - page 411 / 2534 » Requirements Modeling |
181
Voted
GIS
1999
ACM
15 years 11 months ago
1999
ACM
An important activity in the design of a particular database application consists in identifying the integrity constraints that must hold on the database, and that are used to det...
171
click to vote
CCE
2004
15 years 6 months ago
2004
It is common that external procedures are incorporated into an equation-oriented model when modeling complex chemical process systems. The so-obtained models are called composite ...
162
click to vote
AUSAI
1997
Springer
15 years 11 months ago
1997
Springer
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
199
Voted
FLAIRS
2004
15 years 8 months ago
2004
In our prior work, we introduced a generalization of the multiple-instance learning (MIL) model in which a bag's label is not based on a single instance's proximity to a...
192
Voted
FATES
2003
Springer
16 years 2 days ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...