2255 search results - page 36 / 451 » High Assurance Software Systems |
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
A distributed software system's deployment architecture can have a significant impact on the system's dependability. Dependability is a function of various system paramet...
NAR
2006
13 years 8 months ago
2006
siVirus (http://siVirus.RNAi.jp/) is a web-based online software system that provides efficient short interfering RNA (siRNA) design for antiviral RNA interference (RNAi). siVirus...
ICSE
2007
IEEE-ACM
14 years 2 months ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
NCA
2006
IEEE
14 years 2 months ago
2006
IEEE
We discuss the design methodology used to achieve commercial-quality reliability in the Akamai content delivery network. The network consists of 15,000+ servers in 1,100+ networks...
SOCIALCOM
2010
13 years 3 months ago
2010
Protecting the integrity of software platforms, especially in unmanaged consumer computing systems is a difficult problem. Attackers may attempt to execute buffer overflow attacks ...