29147 search results - page 57 / 5830 » System Modeling Resurrected |
SMC
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract—In our previous paper, we proposed a new classification technique called the Frequency Ratio Accumulation Method (FRAM). This is a simple technique that adds up the rat...
SPIN
2010
Springer
14 years 8 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
OTM
2010
Springer
14 years 8 months ago
2010
Springer
Nowadays, due to the growing development of eGovernment information systems, there is an increasing need to handle Public Sector Information (PSI) in a homogeneous way. Ontologies ...
QUESTA
1998
14 years 9 months ago
1998
In this paper we study monotonicity results for optimal policies of various queueing and resource sharing models. The standard approach is to propagate, for each specific model, ...