4666 search results - page 176 / 934 » Equations on Timed Languages |
143
click to vote
ISORC
2009
IEEE
16 years 6 days ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
130
click to vote
FDL
2008
IEEE
16 years 1 days ago
2008
IEEE
In the real-time and embedded domain, systems tend to combine periodic and aperiodic computations. This leads to mixing event-triggered with timetriggered communications with thei...
142
click to vote
EMSOFT
2001
Springer
15 years 10 months ago
2001
Springer
Dynamic storage allocation and automatic garbage collection are among the most popular features that high-level languages can offer. However, timecritical applications cannot be wr...
138
click to vote
ECOOP
1998
Springer
15 years 9 months ago
1998
Springer
Although many temporal extensions of the relational data model have been proposed, there is no comparable amount of work in the context of object-oriented data models. Moreover, ex...
139
click to vote
APLAS
2007
ACM
15 years 9 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...