2288 search results - page 130 / 458 » Learning Business Process Models: A Case Study |
115
Voted
APN
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
146
click to vote
MSOM
2007
15 years 3 months ago
2007
: Classical inventory models offer a variety of insights into the optimal way to manage inventories of individual products. However, top managers and industry analysts are often co...
153
click to vote
SIGSAND
2008
15 years 5 months ago
2008
Abstract: A closer look at typical information systems shows that relatively simple routines often contribute significantly to the overall expenses of the software development proc...
147
click to vote
ICML
2009
IEEE
16 years 4 months ago
2009
IEEE
We propose an analytic moment-based filter for nonlinear stochastic dynamic systems modeled by Gaussian processes. Exact expressions for the expected value and the covariance matr...
132
click to vote
VAMOS
2007
Springer
15 years 10 months ago
2007
Springer
Goal models have been found to be effective for representing and analyzing variability at the early requirements level, by comprehensibly representing all alternative ways by whic...