796 search results - page 25 / 160 » Simulation modeling and analysis of a new international term... |
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
— In this paper, a new tool dedicated to the analysis and the conception of molecules is presented. It is composed of an adaptive simulation software and a haptic device used to ...
WSC
1997
13 years 9 months ago
1997
The paper summarizes some important results at the intersection of the fields of Bayesian statistics and stochastic simulation. Two statistical analysis issues for stochastic sim...
INFOCOM
2005
IEEE
14 years 1 months ago
2005
IEEE
— We study a fixed point formalisation of the well known analysis of Bianchi [3]. We provide a significant simplification and generalisation of the analysis. In this more gene...
FOSAD
2009
Springer
14 years 2 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
ANSS
2007
IEEE
14 years 2 months ago
2007
IEEE
DEVS is a formalism to describe generic dynamic systems in a hierarchical and modular way. We present new techniques for executing DEVS and CellDEVS models in parallel and distrib...