9989 search results - page 441 / 1998 » A CLP Approach to Modelling Systems |
159
Voted
WSC
2008
15 years 9 months ago
2008
This paper presents an object oriented framework that facilitates modeling inventory systems whose policy updating is driven by forecast estimates. In an inventory system, the for...
177
Voted
PTS
2008
15 years 8 months ago
2008
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
172
Voted
UM
2005
Springer
16 years 10 days ago
2005
Springer
The paper proposes meta-ontology of the user modeling field. Ontology is meant to structure the state-of-the-art in the field and serve as a central reference point and as a tool t...
183
Voted
FORMATS
2003
Springer
16 years 2 days ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
176
Voted
HPCC
2009
Springer
15 years 4 months ago
2009
Springer
Domain-partition (DP) model is a general model for reliability maximization problem under given redundancy. In this paper, an improved DP model is used to formulate a reconfigurati...