1105 search results - page 156 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
131
Voted
JTRES
2009
ACM
15 years 8 months ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
138
Voted
IBPRIA
2003
Springer
15 years 8 months ago
2003
Springer
In this paper we present an environment for the tracking of a human face obtained from a real video sequence. We will describe the system and discuss the advantages and disadvanta...
142
click to vote
ECRTS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
114
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
159
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...