3828 search results - page 159 / 766 » Proof-Based System Engineering Using a Virtual System Model |
153
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
183
Voted
SIGMETRICS
2000
ACM
15 years 10 months ago
2000
ACM
This paper presents an analytical model to study how working sets scale with database size and other applications parameters in decision-support systems (DSS). The model uses appl...
159
click to vote
IJDST
2011
14 years 9 months ago
2011
The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production automa...
170
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
—Current industrial applications demand the design of more and more complex, safe and trustworthy control systems which exhibit a high degree of flexibility and reutilization. To...
136
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
The fundamental challenge faced by any visual system within natural environments is the ambiguity caused by the fact that light that falls on the system’s sensors conflates mult...