2403 search results - page 155 / 481 » Using the WinWin Spiral Model: A Case Study |
172
click to vote
INFOCOM
2005
IEEE
15 years 12 months ago
2005
IEEE
— We define “random trip", a generic mobility model for independent mobiles that contains as special cases: the random waypoint on convex or non convex domains, random wa...
159
click to vote
ICASSP
2008
IEEE
16 years 26 days ago
2008
IEEE
The desirable asymptotic optimality properties of the maximum likelihood (ML) estimator make it an attractive solution for performing independent component analysis (ICA) as well....
159
click to vote
SCAM
2006
IEEE
16 years 12 days ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...
168
click to vote
IPPS
2006
IEEE
16 years 13 days ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
140
click to vote
SPIN
1999
Springer
15 years 10 months ago
1999
Springer
Operator procedures are documents telling operators what to do in various situations. They are widely used in process industries including the nuclear power industry. The correctne...