1980 search results - page 153 / 396 » Compositional Model Checking of Real Time Systems |
139
click to vote
ISORC
1999
IEEE
15 years 6 months ago
1999
IEEE
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
116
Voted
COORDINATION
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
136
click to vote
RTSS
1999
IEEE
15 years 6 months ago
1999
IEEE
Reward-based scheduling refers to the problem in which there is a reward associated with the execution of a task. In our framework, each real-time task comprises a mandatory and a...
138
Voted
ECRTS
2008
IEEE
15 years 8 months ago
2008
IEEE
Real-time data services can benefit data-intensive real-time applications, e.g., e-commerce, via timely transaction processing using fresh data, e.g., the current stock prices. T...
110
Voted
IVA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Continuous and synchronized whole-body motions are essential for achieving believable autonomous virtual humans in interactive applications. We present a new motion contr...