148 search results - page 3 / 30 » A Model Checker for Hierarchical Probabilistic Real-Time Sys... |
RTAS
1998
IEEE
13 years 11 months ago
1998
IEEE
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....
ISORC
2000
IEEE
13 years 11 months ago
2000
IEEE
This paper presents an innovative hierarchical feedback adaptation method that efficiently controls the dynamic QoS behavior of real-time distributed data-flow applications, such ...
FBT
1998
13 years 8 months ago
1998
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
IVA
2005
Springer
14 years 28 days 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...
EUROMICRO
1997
IEEE
13 years 11 months ago
1997
IEEE
The paper presents a hierarchical modeling approach of the N version programming in a real – time environment. The model is constructed in three layers. At the first layer we d...