5900 search results - page 67 / 1180 » Dependable Systems |
267
click to vote
IFL
2007
Springer
16 years 1 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...
204
click to vote
CAISE
2003
Springer
16 years 19 days 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...
170
Voted
ECAL
2003
Springer
16 years 19 days 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...
215
Voted
PRDC
2002
IEEE
16 years 9 days 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...
182
click to vote
CORR
2010
Springer
15 years 7 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 ...