3653 search results - page 63 / 731 » On Recognizable Timed Languages |
143
click to vote
ENTCS
2006
15 years 5 months ago
2006
Esterel is a design language for the specification of real time embedded systems. Based on the synchronous concurrency paradigm, its semantics describes execution
156
Voted
FORMATS
2009
Springer
15 years 11 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
127
click to vote
UM
2009
Springer
15 years 11 months ago
2009
Springer
Adaptive course generation becomes more appropriate for realistic usage scenarios and more flexible if it includes mechanisms deciding just-in-time which content, which exercises,...
160
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
140
Voted
ICDCSW
2002
IEEE
15 years 10 months ago
2002
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, relatively little work has been done for the cases where the ...