1578 search results - page 100 / 316 » Self-healing systems - survey and synthesis |
ATVA
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
KI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper we present a comparison of several inductive programming (IP) systems. IP addresses the problem of learning (recursive) programs from incomplete specificati...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— Commonly, controllers for Linear ParameterVarying (LPV) systems are designed in continuous-time using a Linear Fractional Representation (LFR) of the plant. However, th...
PRDC
2007
IEEE
14 years 3 months ago
2007
IEEE
Model-based development is state of the art in software engineering, due to its potential regarding automatic code synthesis. Nevertheless for embedded systems, where there exists...
RTCSA
2005
IEEE
14 years 2 months ago
2005
IEEE
Context aware middleware infrastructures have traditionally been implemented with a modular approach to allow different components to work cooperatively and supply context synthes...