1105 search results - page 103 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
149
Voted
CD
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
150
Voted
ICLP
2004
Springer
15 years 9 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
129
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Embedded software design for real time reactive system
138
Voted
IRI
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract – In order to fulfill the functional requirements of multimedia management systems while achieving the efficiency and reliability at the same time, we adopt the compone...
133
Voted
TSE
2008
15 years 3 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...