3104 search results - page 130 / 621 » Using quantitative analysis to implement autonomic IT system... |
137
click to vote
ICAC
2006
IEEE
15 years 9 months ago
2006
IEEE
— The increasing heterogeneity, dynamism, and uncertainty of emerging DCE (Distributed Computing Environment) systems imply that an application must be able to detect and adapt t...
115
click to vote
HYBRID
2009
Springer
15 years 7 months ago
2009
Springer
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
120
click to vote
FORMATS
2005
Springer
15 years 9 months ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...
140
click to vote
CAV
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...
154
click to vote
JUCS
2010
15 years 2 months ago
2010
: Algorithms for 3D head pose and facial expression tracking using a single camera (monocular image sequences) is presented in this paper. The proposed method is based on a combina...