3199 search results - page 239 / 640 » Variability in Automation System Models |
126
click to vote
EWCBR
2004
Springer
15 years 12 months ago
2004
Springer
By improving accuracy in the quantification of the ocean’s CO2 budget, a more precise estimation can be made of the terrestrial fraction of global CO2 budget and its subsequent e...
183
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speci�...
150
click to vote
LICS
2005
IEEE
16 years 3 days ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
181
click to vote
LICS
2006
IEEE
16 years 16 days ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
168
click to vote
ASIAMS
2008
IEEE
15 years 6 months ago
2008
IEEE
Image difference operation is frequently used in automated printed circuit board (PCB) inspection system as well as in many other image processing applications. During the impleme...