2403 search results - page 93 / 481 » Using the WinWin Spiral Model: A Case Study |
152
click to vote
ICRE
1998
IEEE
15 years 9 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
130
click to vote
ICDM
2007
IEEE
15 years 11 months ago
2007
IEEE
The problem of transfer learning, where information gained in one learning task is used to improve performance in another related task, is an important new area of research. While...
128
click to vote
EUROPAR
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we develop a Cooperative Mobility Model that captures new salient features of collaborative and mission-oriented MANETs. In particular, the cost-benefit framework o...
170
click to vote
PDP
2005
IEEE
15 years 10 months ago
2005
IEEE
SVM systems are a cheaper and flexible way to implement the shared memory programming paradigm. Their huge flexibility is due to their software implementation; however, this is al...
129
click to vote
IMSCCS
2007
IEEE
15 years 11 months ago
2007
IEEE
Ensemble Kalman Filter (EnKF) uses a randomized ensemble of subsurface models for error and uncertainty estimation. However, the complexity of geological models and the requiremen...