9425 search results - page 116 / 1885 » Some Notes on Models and Modelling |
ICRA
1993
IEEE
15 years 2 months ago
1993
IEEE
Accuracy of a machine is determined by its ability to position and orient a tool at a prescribed point. Usually this positioning is performed by positioning joints (actuators The ...
CSFW
2007
IEEE
15 years 4 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
SPIN
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
DAGSTUHL
2006
14 years 11 months ago
2006
One of the main difficulties faced when analyzing Markov chains modelling evolutionary algorithms is that their cardinality grows quite fast. A reasonable way to deal with this iss...
ENTCS
2008
14 years 10 months ago
2008
This paper describes a set of methods for randomly drawing traces in large models either uniformly among all traces, or with a coverage criterion as target. Classical random walk ...