2403 search results - page 274 / 481 » Using the WinWin Spiral Model: A Case Study |
174
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper studies optimal input excitation design for parametric frequency response estimation. We will focus on least-squares estimation of Finite Impulse Response (FIR) models a...
175
click to vote
JOT
2008
15 years 6 months ago
2008
All readers of this paper most likely have knowledge of the software requirements discipline and of the use case notation, however not everyone is aware that with the progress of ...
183
click to vote
SMC
2007
IEEE
16 years 24 days ago
2007
IEEE
— Several studies dealt with medical ultrasound registration. Their similarity metrics relied on pixel-to-pixel intensity comparisons. Hence, they are not well suited to the case...
187
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...
200
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...