1356 search results - page 188 / 272 » The ideal of verified software |
148
click to vote
SEFM
2005
IEEE
15 years 12 months ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
206
click to vote
ADAEUROPE
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
150
click to vote
BPM
2005
Springer
15 years 12 months ago
2005
Springer
This article describes the method of Mobile Process Landscaping by example of a project in which the service processes of a company from the housing industry were analyzed regardin...
158
click to vote
ACSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
250
click to vote
IAW
2003
IEEE
15 years 11 months ago
2003
IEEE
— Vulnerabilities in software stem from poorly written code. Inadvertent errors may creep in due to programmers not being aware of the security implications of their code. Writin...