808 search results - page 23 / 162 » Modeling and Analysis of Real-Time and Embedded Systems |
CBSE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Many component models and frameworks have been proabstract and capture concerns from Real-Time and Embedded application domains, based on high-level component-based appro...
RTCSA
2008
IEEE
15 years 4 months ago
2008
IEEE
49
Voted
RTAS
2006
IEEE
15 years 3 months ago
2006
IEEE
CORR
2010
Springer
14 years 7 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
RTSS
1995
IEEE
15 years 1 months ago
1995
IEEE