9989 search results - page 48 / 1998 » A CLP Approach to Modelling Systems |
129
Voted
WSC
2007
15 years 6 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...
ICEIS
2003
IEEE
15 years 9 months ago
2003
IEEE
109
Voted
CIBSE
2009
ACM
15 years 10 months 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...
138
Voted
CMSB
2008
Springer
15 years 5 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&...