29172 search results - page 163 / 5835 » Modeling Systems in CLP |
ESOP
2005
Springer
14 years 3 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
IWSSD
2000
IEEE
14 years 2 months ago
2000
IEEE
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...
WSC
2000
13 years 11 months ago
2000
The use of System Dynamics Modeling in Supply Chain Management has only recently re-emerged after a lengthy slack period. Current research on System Dynamics Modelling in supply c...
INFSOF
2006
13 years 10 months ago
2006
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling languag...
EAAI
2007
13 years 10 months ago
2007
In the paper an application of the interval fuzzy model (INFUMO) in fault detection for nonlinear systems with uncertain intervaltype parameters is presented. A confidence band f...