5900 search results - page 67 / 1180 » Dependable Systems |
IFL
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
CAISE
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. We present a web-publishing platform that was developed by integrating key constructs and operations for web content delivery into the core of an object-oriented database...
ECAL
2003
Springer
14 years 3 months ago
2003
Springer
This paper presents results from a number of experiments within the area of competitive co-evolutionary robotics. The focus in these experiments has been on ‘co-evolving’ parts...
PRDC
2002
IEEE
14 years 2 months ago
2002
IEEE
Grid computing relies on fragile partnerships. Clients with hundreds or even thousands of pending service requests must seek out and form temporary alliances with remote servers e...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...