Sciweavers

1816 search results - page 25 / 364
» Case study in modeling and simulation validation methodology
Sort
View
JASSS
1998
82views more  JASSS 1998»
14 years 9 months ago
Qualitative modeling and simulation of socio-economic phenomena
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...
Giorgio Brajnik, Marji Lines
ACSD
2006
IEEE
90views Hardware» more  ACSD 2006»
15 years 1 months ago
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
Nicolas Halbwachs, Louis Mandel
WSC
2007
14 years 12 months ago
Validation of simulated real world TCP stacks
The TCP models in ns-2 have been validated and are widely used in network research. They are however not aimed at producing results consistent with a TCP implementation, they are ...
Sam Jansen, Anthony McGregor
ESAW
2007
Springer
15 years 3 months ago
Multi-agent Simulation to Implementation: A Practical Engineering Methodology for Designing Space Flight Operations
OCAMS is a practical engineering application of multi-agent systems technology, involving redesign of the tools and practices in a complex, distributed system. OCAMS is designed to...
William J. Clancey, Maarten Sierhuis, Chin Seah, C...
ICRA
2000
IEEE
105views Robotics» more  ICRA 2000»
15 years 2 months ago
Modeling and Throughput Prediction for Flexible Parts Feeders
In this paper we illustrate a methodology for modeling and analyzing flexible feeders using generalized semi-Markov process (GSMP) models. Working through the simple case consisti...
Michael S. Branicky, Greg C. Causey, Roger D. Quin...