24554 search results - page 193 / 4911 » Dependable distributed systems |
162
click to vote
LATIN
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We introduce distributed games over asynchronous transition systems to model a distributed controller synthesis problem. A game involves two teams and is not turn-based: ...
156
click to vote
QEST
2008
IEEE
16 years 19 days ago
2008
IEEE
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
234
click to vote
IFL
2007
Springer
16 years 12 days 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...
168
click to vote
CAISE
2003
Springer
15 years 11 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...
142
Voted
ECAL
2003
Springer
15 years 11 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...