378 search results - page 60 / 76 » Traceability-Driven Model Refinement for Test Case Generatio... |
SEE
1997
Springer
13 years 11 months ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
VMV
2001
13 years 9 months ago
2001
In many applications surfaces containing a large number of primitives occur. Geometry compression reduces storage space and transmission time for such models. A special case is gi...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
This paper addresses the problem of reproducing oscillations generated by the well-known slugging phenomenon in multiphase flow. Reported investigations show how to determine the p...
JMLR
2008
13 years 7 months ago
2008
We study a generative model in which hidden causes combine competitively to produce observations. Multiple active causes combine to determine the value of an observed variable thr...
ANLP
1994
13 years 8 months ago
1994
FoG currently produces bilingual marine and public weather forecasts at several Canadian weather offices. The system is engineered to reflect "good professional style" a...