4341 search results - page 279 / 869 » Quantitative Model checking |
205
click to vote
DALT
2007
Springer
16 years 25 days ago
2007
Springer
Agent-based modelling approaches are usually based on logical languages, whereas in many areas dynamical system models based on differential equations are used. This paper shows ho...
164
click to vote
ISESE
2002
IEEE
15 years 11 months ago
2002
IEEE
The primary objective of this paper was to examine the extent to which Gutman’s Means-End Chain Model can be used to describe the influences given to the choice of characteristi...
166
click to vote
AE
2003
Springer
15 years 12 months ago
2003
Springer
We present quantitative models for the selection pressure on cellular evolutionary algorithms structured as a ring of cells. We obtain results for synchronous and asynchronous cell...
191
click to vote
MBEES
2010
15 years 8 months ago
2010
: Das Ziel des ProMoSA Vorhabens st die Entwicklung eines durchgehend modell-basierten Ansatzes zur Sicherheitsanalyse. Dabei sollen sowohl quantitative als auch qualitative Aspekt...
156
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...