14336 search results - page 354 / 2868 » Analytical simulation modeling |
177
click to vote
VVEIS
2008
15 years 8 months ago
2008
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
178
click to vote
SODA
2004
ACM
15 years 8 months ago
2004
ACM
Simulated tempering and swapping are two families of sampling algorithms in which a parameter representing temperature varies during the simulation. The hope is that this will ove...
191
click to vote
CEEMAS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We are interested in understanding and simulating how humans elaborate plans in situations where knowledge is incomplete and how they interact to obtain missing informati...
134
click to vote
WSC
2004
15 years 8 months ago
2004
In order to maintain an edge during this time of unprecedented technological growth, the Army must field Infantry soldier systems quickly; however, the cost of doing so without so...
179
Voted
WSC
1998
15 years 8 months ago
1998
A critical issue in advanced technology product development is assessing economic feasibility based on the potential for commercial success. This is particularly difficult for an ...