77016 search results - page 163 / 15404 » Modeling |
70
Voted
MANSCI
2008
15 years 3 months ago
2008
This paper investigates a two-factor affine model for the credit spreads on corporate bonds. The
110
Voted
SIAMAM
2010
15 years 1 months ago
2010
We extend the classical LWR traffic model allowing different maximal speeds to different vehicles. Then, we add a uniform bound on the traffic speed. The result, presented in thi...
97
Voted
JLP
2010
14 years 10 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
110
Voted
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
The performability distribution is the distribution of accumulated reward in a Markov reward model (MRM) with
114
Voted
APSEC
2002
IEEE
15 years 8 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...