2403 search results - page 355 / 481 » Using the WinWin Spiral Model: A Case Study |
181
click to vote
FDL
2004
IEEE
15 years 9 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
149
click to vote
SIGSOFT
2001
ACM
16 years 6 months ago
2001
ACM
Complex toolsets can be difficult to use. User interfaces can help by guiding users through the alternative choices that might be possible at any given time, but this tends to loc...
152
click to vote
ESA
2006
Springer
15 years 9 months ago
2006
Springer
A sensor network consists of sensing devices which may exchange data through wireless communication. A particular feature of sensor networks is that they are highly energy constrai...
178
click to vote
SC
2009
ACM
16 years 10 days ago
2009
ACM
Error Subspace Statistical Estimation (ESSE), an uncertainty prediction and data assimilation methodology employed for real-time ocean forecasts, is based on a characterization an...
139
click to vote
ICNSC
2007
IEEE
15 years 12 months ago
2007
IEEE
—Intermodal freight transportation is defined as a system that carries freight from origin to destination by using two or more transportation modes. In this system, hubs are one ...