8337 search results - page 332 / 1668 » Reasoning With Characteristic Models |
181
click to vote
ADHOCNOW
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we describe our analysis of a real trace and propose a mobility model. The trace data we used for this study was collected from a military experiment carried out in L...
156
click to vote
ENVSOFT
2006
15 years 6 months ago
2006
The lack of sufficient water quality data in many places hinders the efforts of surface water quality modeling, and therefore affects the process of water quality management. In t...
149
click to vote
CGF
2004
15 years 6 months ago
2004
This paper presents a system for modeling lichens and simulating their propagation and growth in a virtual scene. Lichens colonize almost every substrate in nature and play an imp...
172
click to vote
SIAMJO
2002
15 years 6 months ago
2002
We consider the problem of constructing mean{risk models which are consistent with the second degree stochastic dominance relation. By exploiting duality relations of convex analys...
186
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...