1598 search results - page 153 / 320 » High-Assurance Distributed, Adaptive Software for Dynamic Sy... |
153
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
133
click to vote
EUROPAR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Cloud computing is an emerging paradigm to provide Infrastructure as a Service (IaaS). In this paper we present NEPTUNE-IaaS, a software system able to support the whole ...
123
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
The quality of information is crucial for decision making in many mission-critical applications such as battlefield operations and intelligence analysis. However, as the system b...
154
click to vote
COMPSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
—This paper describes a biologically-inspired network architecture, called SymbioticSphere, which allows large-scale data centers to autonomously adapt to dynamic environmental c...
147
click to vote
SIGSAND
2008
15 years 5 months ago
2008
: Today's businesses must continuously adapt to changing external environment in accelerated time frames. This requires businesses to decrease costs and time of the very proce...