1598 search results - page 153 / 320 » High-Assurance Distributed, Adaptive Software for Dynamic Sy... |
ICFP
2005
ACM
14 years 9 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...
EUROPAR
2009
Springer
14 years 1 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 ...
ATAL
2007
Springer
14 years 3 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...
COMPSAC
2006
IEEE
14 years 3 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...
SIGSAND
2008
13 years 10 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...