4520 search results - page 11 / 904 » Algebraic Techniques for Timed Systems |
123
click to vote
MVA
2000
15 years 3 months ago
2000
We have developed a novel human face tracking system that operates in real time at the video frame rate without a need for any special hardware. Our approach is based on the use o...
188
Voted
TII
2011
14 years 8 months ago
2011
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
104
Voted
BIRTHDAY
2000
Springer
15 years 6 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
119
Voted
FORTE
2004
15 years 3 months ago
2004
Passage time densities are useful performance measurements in stochastic systems. With them the modeller can extract probabilistic quality-of-service guarantees such as: the proba...
131
Voted
RTAS
2006
IEEE
15 years 7 months ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...