5180 search results - page 650 / 1036 » Requirements Engineering |
191
click to vote
SAC
2003
ACM
16 years 2 days ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
213
Voted
EMSOFT
2003
Springer
16 years 1 days ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
156
click to vote
FATES
2003
Springer
16 years 1 days ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
172
click to vote
IMR
2003
Springer
16 years 22 hour ago
2003
Springer
This paper presents a comprehensive approach for CAD based geometry handling in support of single and multidisciplinary analysis and design. Unlike previous schemes, the model pre...
130
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
—This paper presents a robust, low-cost ADC code hit counting technique to record the number of times each ADC output code word appears with respect to the ramp input. Using a sm...