17740 search results - page 280 / 3548 » Simulation Using Orchestration |
185
click to vote
CAI
2009
Springer
16 years 1 months ago
2009
Springer
Two types of simulations for weighted tree automata (wta) are considered. Wta process trees and assign a weight to each of them. The weights are taken from a semiring. The two type...
178
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
140
click to vote
WSC
2008
15 years 9 months ago
2008
Hinterland terminals enable the transshipment of containers between various modes of transport and play a significant role in intermodal freight transportation. In this paper we p...
168
click to vote
WSC
2004
15 years 8 months ago
2004
This tutorial will focus on several new real-world applications that have been developed using an integrated set of methods, including Tabu Search, Scatter Search, Mixed Integer P...
179
click to vote
WSC
1996
15 years 8 months ago
1996
In this paper we discuss verification and validation of simulation models. The different approaches to deciding model validity are described, two different paradigms that relate v...