27913 search results - page 230 / 5583 » Simulation |
114
click to vote
FORMATS
2006
Springer
15 years 5 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...
FOSSACS
2006
Springer
15 years 5 months ago
2006
Springer
We prove that the equational theory of the process algebra BCCSP modulo completed simulation equivalence does not have a finite basis. Furthermore, we prove that with a finite alph...
WSC
2007
15 years 4 months ago
2007
Lean principles require the identification of an ideal system state along with an associated policy to achieve that state. This paper discusses the use of multi-criteria models in...
108
click to vote
WSC
2007
15 years 4 months ago
2007
This paper reviews statistical methods for analyzing output data from computer simulations. Specifically, it focuses on the estimation of steady-state system parameters. The esti...
WSC
2007
15 years 4 months ago
2007
We explore development of a high-fidelity simulation testbed for various network architectures for communication between components of tactical unmanned aerial systems, and for di...