301 search results - page 17 / 61 » Process Modelling to Support Dependability Arguments |
JTRES
2010
ACM
14 years 12 months ago
2010
ACM
With traditional testing, the test case has no control over non-deterministic scheduling decisions, and thus errors dependent on scheduling are only found by pure chance. Java Pat...
102
click to vote
EUC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. With the increasing globalization of economy and consequent increasing in the inter and intra organizational competitiveness, the role of groups in organizations and busi...
117
click to vote
IR
2011
14 years 3 months ago
2011
We review the history of modeling score distributions, focusing on the mixture of normal-exponential by investigating the theoretical as well as the empirical evidence supporting i...
MA
2010
Springer
14 years 10 months ago
2010
Springer
For estimating parameters in an unstable AR(2) model, the paper proposes a sequential least squares estimate with a special stopping time defined by the trace of the observed Fis...
AUSAI
2001
Springer
15 years 4 months ago
2001
Springer
This study attempts to find a theoretical basis for the development of digital cities. The ultimate function of a digital city is to support navigation in an environment. Navigatio...