2211 search results - page 16 / 443 » The state of peer-to-peer simulators and simulations |
CAV
2007
Springer
14 years 13 days ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
JCC
2007
13 years 8 months ago
2007
: A recent workshop titled ‘‘Quantitative Computational Biophysics’’ at Florida State University provided an overview of the state of the art in quantitative modeling of bi...
MABS
2004
Springer
14 years 1 months ago
2004
Springer
The efficient simulation of multi-agent systems presents particular challenges which are not addressed by current parallel discrete event simulation (PDES) models and techniques. ...
EMSOFT
2008
Springer
13 years 10 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
ZUM
2000
Springer
14 years 2 hour ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...