1782 search results - page 65 / 357 » Tool Support for Proof Engineering |
147
click to vote
WSC
1998
15 years 6 months ago
1998
This study details the synergistic application of ergonomic analysis, discrete-process simulation, and statistical analysis to the problems of determining the optimum design for a...
135
click to vote
WSC
2000
15 years 6 months ago
2000
One of the approaches to modeling hybrid systems is to assign algebraic-differential equations describing the continuous behavior to states of state machines that represent discre...
142
click to vote
IV
2006
IEEE
15 years 11 months ago
2006
IEEE
Current database technologies do not support contextualised representations of multi-dimensional narratives. This paper outlines a new approach to this problem using a multi-dimen...
157
click to vote
AOSD
2007
ACM
15 years 9 months ago
2007
ACM
In order to accommodate the spectrum of configuration options currently required for competitive system infrastructures, many systems leverage heavy usage of C preprocessor contro...
147
click to vote
HCI
2009
15 years 3 months ago
2009
Current tools for multidisciplinary teams in user-centered software engineering (UCSE) provide little support for the different approaches of the various disciplines in the project...