9989 search results - page 48 / 1998 » A CLP Approach to Modelling Systems |
154
click to vote
WSC
2007
15 years 8 months ago
2007
The appropriate production and inventory control policy is a key factor for modern enterprises’ success in competitive environment. In the food industry, most of food manufactur...
139
click to vote
CIBSE
2009
ACM
16 years 15 days ago
2009
ACM
In the Software Engineering (SE) domain, the Model Driven Engineering (MDE)1 paradigm focuses on using models as main software artifacts to provide a full description of software s...
170
click to vote
CMSB
2008
Springer
15 years 7 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...