1663 search results - page 6 / 333 » Validation and Verification of Simulation Models |
RSP
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
Agent-based simulation is increasingly used to analyze the performance of complex systems. There are two main ways agentbased models are built -- from equation-based models and di...
ICS
2005
Tsinghua U.
14 years 26 days ago
2005
Tsinghua U.
Performance simulation tools must be validated during the design process as functional models and early hardware are developed, so that designers can be sure of the performance of...
WSC
2004
13 years 8 months ago
2004
Staffing decisions in a consumer credit origination environment have a significant impact on the financial institution's costs as well as customer service levels. Staff resou...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
Safety culture is broadly recognized as important for Air Traffic Management and various studies have addressed its characterization and assessment. Nevertheless, relations betwee...