Sciweavers

2314 search results - page 67 / 463
» What's in a model
Sort
View
IWSSD
2000
IEEE
14 years 2 days ago
Model Checking Implicit-Invocation Systems
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...
David Garlan, Serge Khersonsky
WSC
1998
13 years 9 months ago
Identifying Important Factors in Deterministic Investment Problems Using Design of Experiments
For large investment projects sensitivity analysis is an important tool to determine which factors need further analysis and/or can jeopardize the future of a project. In practice...
Willem J. H. Van Groenendaal, Jack P. C. Kleijnen
ECSQARU
2005
Springer
14 years 1 months ago
Type Uncertainty in Ontologically-Grounded Qualitative Probabilistic Matching
This paper is part of a project to match real-world descriptions of instances of objects to models of objects. We use a rich ontology to describe s and models at multiple levels of...
David Poole, Clinton Smyth
IJAHUC
2010
110views more  IJAHUC 2010»
13 years 6 months ago
Agenda driven mobility modelling
: Mobility modelling is an essential component of wireless and mobile networking research. Our proposed Agenda Driven Mobility Model takes into consideration a person’s social ac...
Qunwei Zheng, Xiaoyan Hong, Jun Liu, David Cordes,...
FS
2010
124views more  FS 2010»
13 years 6 months ago
Comparison results for stochastic volatility models via coupling
The aim of this paper is to investigate the properties of stochastic volatility models, and to discuss to what extent, and with regard to which models, properties of the classical...
David Hobson