1816 search results - page 247 / 364 » Case study in modeling and simulation validation methodology |
135
click to vote
JOBIM
2000
15 years 8 months ago
2000
Abstract. A tree representation distance method, applied to any dissimilarity array, always gives a valued tree, even if the tree model is not appropriate. In the first part, we pr...
156
click to vote
DILS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. To advance the comprehension of complex biological processes occurring in crop plants (e.g. for improvement of growth or yield) it is of high interest to reconstruct and ...
135
click to vote
CHARME
2001
Springer
15 years 8 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
140
click to vote
CCE
2008
15 years 4 months ago
2008
Chemical supply chain networks provide large opportunities for cost reductions through the redesign of the flow of material from producer to customer. In this paper we present a m...
136
click to vote
RAID
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Attack analysis is a challenging problem, especially in emerging environments where there are few known attack cases. One such new environment is the Mobile Ad hoc Networ...