6677 search results - page 121 / 1336 » Distributed Simulation of MAS |
CCGRID
2008
IEEE
13 years 11 months ago
2008
IEEE
Multi-agent based simulation (MABS) is a discrete event simulation technique used to study complex systems with entities having social and autonomous behavior. MABS applications a...
GRID
2007
Springer
13 years 8 months ago
2007
Springer
The Southern California Earthquake Center digital library publishes scientific data generated by seismic wave propagation simulations. The output from a single simulation may be as...
MICCAI
2007
Springer
14 years 9 months ago
2007
Springer
Interventional neuroradiology is a growing field of minimally invasive therapies that includes embolization of aneurysms and arteriovenous malformations, carotid angioplasty and ca...
ICCAD
2007
IEEE
14 years 5 months ago
2007
IEEE
Constrained random simulation is the main workhorse in today’s hardware verification flows. It requires the random generation of input stimuli that obey a set of declaratively...
CONCUR
2009
Springer
14 years 3 months ago
2009
Springer
Stuttering bisimulation is a well-known behavioural equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preord...