108 search results - page 9 / 22 » Verifying Design with Proof Scores |
RSP
1999
IEEE
14 years 25 days ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
AUTOMATICA
2007
13 years 8 months ago
2007
High level control of dynamic positioning systems on marine vessels using hybrid controller are developed to extend the operational weather window for marine operations to harsh e...
INFFUS
2000
13 years 8 months ago
2000
The contribution of this paper is to compare paradigms coming from the classes of parametric, and non-parametric techniques to solve the decision fusion problem encountered in the...
FMICS
2008
Springer
13 years 10 months ago
2008
Springer
There has been relatively little work on the implementability of timing requirements. We have previously provided definitions of fundamental timing operators that explicitly consid...
CHI
2011
ACM
13 years 4 days ago
2011
ACM
When designing questionnaires there is a tradition of including items with both positive and negative wording to minimize acquiescence and extreme response biases. Two disadvantag...