1190 search results - page 110 / 238 » The Continuing Quest for Abstraction |
COLCOM
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract—For a complex distributed system to be dependable, it must be continuously monitored, so that its failures and imperfections can be discovered and corrected in a timely ...
EUROCAST
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
HYBRID
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
ICES
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Evolutionary methods are now beginning to be used routinely in design applications. However, even with computing speeds growing continuously, for many complex design prob...
MA
2001
Springer
14 years 1 months ago
2001
Springer
Mobile agents must be prepared to execute on different hosts and therefore in different execution environments. Even when a homogenous exenvironment is offered by abstracting th...