358 search results - page 5 / 72 » Model-Based Specification and Execution of Embedded Real-Tim... |
CBSE
2008
Springer
13 years 9 months ago
2008
Springer
: This paper proposes a technology for the development of distributed real-time component-based applications, which takes advantage of the features that Ada offers for the developm...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
UML 2.0 provides a rich set of diagrams for systems documentation and specification. Many efforts have been undertaken to employ different aspects of UML for multiple domains, mai...
UML
2004
Springer
14 years 28 days ago
2004
Springer
: This paper presents an overview on the workshop on Specification and Validation of Real-time and embedded Systems that has taken place for the second time in association with the...
RTAS
2005
IEEE
14 years 1 months ago
2005
IEEE
Feedback control real-time scheduling (FCS) aims at satisfying performance specifications of real-time systems based on adaptive resource management. Existing FCS algorithms often...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
Embedded software design for real time reactive system