851 search results - page 4 / 171 » Managing (Requirements) Evolutions of High Assurance Systems |
SISW
2005
IEEE
14 years 29 days ago
2005
IEEE
This paper describes a system that supports high availability of data, until the data should be expunged, at which time it is impossible to recover the data. This design supports ...
SAFECOMP
2000
Springer
13 years 11 months ago
2000
Springer
This paper presents an empirical investigation of the control of requirements evolution in an avionics safety-critical system. Metrics can be used to manage (e.g., control and pred...
CODASPY
2012
12 years 3 months ago
2012
Main stream operating system kernels lack a strong and reliable mechanism for identifying the running processes and binding them to the corresponding executable applications. In t...
ISDA
2005
IEEE
14 years 1 months ago
2005
IEEE
Genetic Algorithms (GAs) are very popular optimization tool, although efficient applications of GAs requires users have problem with setting their parameters and used genetic ope...
HASE
2008
IEEE
14 years 1 months ago
2008
IEEE
Current annotation technologies suffer from poor coverage over the development process phases, limited support for the broad scope of the security requirement types and inadequate...