9305 search results - page 206 / 1861 » Modeling Blog Dynamics |
179
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...
151
click to vote
WSC
1998
15 years 7 months ago
1998
This paper discusses the evaluation of the electronic cash counterfeit threat scenarios using micro dynamic simulation. This modeling technique provides information needed for the...
151
click to vote
SIAMFM
2011
14 years 9 months ago
2011
As shown by the recent turmoil in credit markets, much remains to be done for the proper risk management of credit derivatives. In particular, the static copula-based models commo...
160
click to vote
SWAT
1994
Springer
15 years 10 months ago
1994
Springer
We study the complexity of the dynamic partial sum problem in the cell-probe model. We give the model access to nondeterministic queries and prove that the problem remains hard. We...
157
click to vote
IJIS
2002
15 years 6 months ago
2002
Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are descri...