1663 search results - page 54 / 333 » Verification and validation of simulation models |
MATES
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...
IJCNN
2006
IEEE
15 years 3 months ago
2006
IEEE
— One of the major drawbacks of the Hopfield network is that when it is applied to certain polytopes of combinatorial problems, such as the traveling salesman problem (TSP), the...
ENTCS
2002
14 years 9 months ago
2002
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
WSC
2004
14 years 11 months ago
2004
The discrete event simulator OMNeT++, that is programmed in C++, shows a steady growing popularity. Due to its wellstructured nature, it is easy to understand and easy to use. A s...
108
click to vote
WORDS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...