20126 search results - page 152 / 4026 » Timed Transition Systems |
135
Voted
ECRTS
2003
IEEE
15 years 8 months ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
143
click to vote
MACH
1990
15 years 4 months ago
1990
Distributed real-time systems play a very important role in our modern society. They are used in aircraft control, communication systems, military command and control systems, fac...
134
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
126
Voted
RTAS
2007
IEEE
15 years 9 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
232
Voted
FDL
2004
IEEE
15 years 7 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...