13977 search results - page 715 / 2796 » Evolution in complex systems |
186
click to vote
FSTTCS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
169
click to vote
CHARME
1993
Springer
15 years 11 months ago
1993
Springer
To perform veri cation of digital systems with time bounded delays, it is essential to characterize the space of all possible system behaviors. In this paper, we describe our analy...
170
click to vote
ESANN
2007
2007
Three-dimensional self-organizing dynamical systems for discrete structures memorizing and retrieval
15 years 9 months ago
The synthesis concept for dynamical system with the memory of multiple states defined with the quaternion algebra usage is considered. The system memorizes numerous configurations ...
187
click to vote
CASCON
1997
15 years 8 months ago
1997
As software systems become increasingly complex to build developers are turning more and more to integrating pre-built components from third party developers into their systems. T...
174
click to vote
HYBRID
2007
Springer
15 years 11 months ago
2007
Springer
A notion of diagnosability for hybrid systems is defined, which generalizes the notion of observability. We verify bility properties on a timed automaton abstraction of the origina...