326 search results - page 30 / 66 » Embedding Real Time in Stochastic Process Algebras |
ECRTS
2003
IEEE
14 years 1 months ago
2003
IEEE
The Real-Time Specification for Java (RTSJ) provides a platform for the development of real-time applications. However, the RTSJ does not take the distribution requirements of re...
RTCSA
2008
IEEE
14 years 3 months ago
2008
IEEE
Real-time information dissemination is of increasing importance to our society. Existing work mainly focuses on delivering information from sources to sinks in a timely manner bas...
RTAS
2005
IEEE
14 years 2 months ago
2005
IEEE
Consider a team of robots equipped with sensors that collaborate with one another to achieve a common goal. Sensors on robots produce periodic updates that must be transmitted to ...
CBSE
2008
Springer
13 years 10 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...
ISOLA
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...