13977 search results - page 799 / 2796 » Evolution in complex systems |
215
click to vote
RISE
2005
Springer
16 years 1 months ago
2005
Springer
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
230
click to vote
CBSE
2004
Springer
16 years 1 months ago
2004
Springer
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...
220
click to vote
HYBRID
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
187
click to vote
FDL
2003
IEEE
16 years 28 days ago
2003
IEEE
The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modelling business ...
178
click to vote
RTCSA
2000
IEEE
16 years 19 hour ago
2000
IEEE
Large-scale distributed real-time systems are increasingly difficult to analyze within the Rate Monotonic Analysis framework. This is due partly to their heterogeneity, complex i...