2169 search results - page 30 / 434 » Using Risk Analysis to Evaluate Design Alternatives |
116
click to vote
SAS
2010
Springer
15 years 9 days ago
2010
Springer
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
140
click to vote
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
— In this paper, two designs for optimal Automated Guided Vehicle (AGV) transportation systems are presented. One is vertical and the other, horizontal. For these systems, the hy...
113
click to vote
ICSE
2009
IEEE-ACM
14 years 11 months ago
2009
IEEE-ACM
Abstract--Security evaluation according to ISO 15408 (Common Criteria) is a resource and time demanding activity, as well as being costly. For this reason, only few companies take ...
108
click to vote
AES
2008
Springer
15 years 2 months ago
2008
Springer
Artificial neural networks (ANN's) are associated with difficulties like lack of success in a given problem and unpredictable level of accuracy that could be achieved. In eve...
COMPSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
Many software projects have failed because their requirements were poorly negotiated among stakeholders. This paper proposes a systematic model, called "MultiCriteria Prefere...