880 search results - page 144 / 176 » Model checking erlang programs: the functional approach |
158
Voted
ANOR
2007
15 years 3 months ago
2007
The quality of multi-stage stochastic optimization models as they appear in asset liability management, energy planning, transportation, supply chain management, and other applicat...
174
Voted
WSC
2008
15 years 6 months ago
2008
We consider a portfolio allocation problem where the objective function is a tail event such as probability of large portfolio losses. The dependence between assets is captured th...
112
Voted
EUROMICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...
144
Voted
RECOMB
2004
Springer
16 years 4 months ago
2004
Springer
In this paper, we explore modeling overlapping biological processes. We discuss a probabilistic model of overlapping biological processes, gene membership in those processes, and ...
115
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Many language implementations, particularly for high-level and scripting languages, are based on carefully honed runtime systems that have an internally sequential execution model...