1105 search results - page 106 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
131
Voted
RTAS
2003
IEEE
15 years 8 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
120
Voted
ISORC
2009
IEEE
15 years 10 months ago
2009
IEEE
Distributed real-time automotive embedded systems have to be highly dependable as well as cost-efficient due to the large number of manufactured units. To close the gap between r...
89
Voted
RTAS
2009
IEEE
15 years 10 months ago
2009
IEEE
126
Voted
FORMATS
2003
Springer
15 years 8 months ago
2003
Springer
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...
152
Voted
CONCUR
1992
Springer
15 years 7 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...