4341 search results - page 279 / 869 » Quantitative Model checking |
220
click to vote
DALT
2007
Springer
16 years 1 months 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...
189
click to vote
ISESE
2002
IEEE
16 years 4 days 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...
174
Voted
AE
2003
Springer
16 years 14 days 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...
207
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...
175
click to vote
ICSE
2010
IEEE-ACM
16 years 21 hour 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...