3199 search results - page 118 / 640 » Variability in Automation System Models |
128
click to vote
AMC
2007
15 years 2 months ago
2007
In this paper we present the method of lines for the numerical solution of a mathematical model for capillary formation in two space dimensions x,y. We study the tumor angiogenic ...
208
click to vote
ASIAMS
2009
IEEE
15 years 7 months ago
2009
IEEE
—Reduced ordered binary decision diagram (ROBDD) is a memory-efficient data structure which is used in many applications such as synthesis, digital system, verification, testing ...
124
Voted
DSN
2009
IEEE
15 years 9 months ago
2009
IEEE
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...
138
click to vote
AIRWEB
2008
Springer
15 years 4 months ago
2008
Springer
As web search providers seek to improve both relevance and response times, they are challenged by the ever-increasing tax of automated search query traffic. Third party systems in...
118
click to vote
FIW
2007
15 years 3 months ago
2007
Feature interaction detection in the context of systems that are highly integrated into their environment, such as embedded or software-intensive systems, is different from classi...