851 search results - page 1 / 171 » Managing (Requirements) Evolutions of High Assurance Systems |
RE
2002
Springer
13 years 4 months ago
2002
Springer
ACSAC
2003
IEEE
13 years 10 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...
RTCSA
2008
IEEE
13 years 11 months ago
2008
IEEE
Reliability-aware power management (RAPM) schemes, which consider the negative effects of voltage scaling on system reliability, were recently studied to save energy while preserv...
POLICY
2009
Springer
13 years 11 months ago
2009
Springer
Abstract—Zodiac (Zero Outage Dynamic Intrinsically Assurable Communities) is an implementation of a high-security MANET, resistant to multiple types of attacks, including Byzanti...
DISCEX
2003
IEEE
13 years 10 months ago
2003
IEEE
Huge challenges exist with systems and networks that must dependably satisfy stringent requirements for security, reliability, and other attributes of trustworthiness. Drawing on ...