1308 search results - page 137 / 262 » Application of Hazard Analysis to Software Quality Modelling |
181
click to vote
RE
2010
Springer
14 years 10 months ago
2010
Springer
Natural language is the main presentation means in industrial requirements documents. This leads to the fact that requirements documents are often incomplete and inconsistent. Desp...
140
Voted
SIGSOFT
2003
ACM
15 years 9 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
142
click to vote
WOSP
2005
ACM
15 years 9 months ago
2005
ACM
The evolution towards IP-aware access networks creates the possibility (and, indeed, the desirability) of additional network services, like firewalling or NAT, integrated into th...
173
click to vote
ASAP
2011
IEEE
14 years 3 months ago
2011
IEEE
—The domain of vision and navigation often includes applications for feature tracking as well as simultaneous localization and mapping (SLAM). As these problems require computati...
148
click to vote
AI
1998
Springer
15 years 3 months ago
1998
Springer
The main statistics used in rough set data analysis, the approximation quality, is of limited value when there is a choice of competing models for predicting a decision variable. ...