1261 search results - page 217 / 253 » A Hierarchy of Temporal Properties |
RTSS
1994
IEEE
14 years 29 days ago
1994
IEEE
This paper presents a comprehensive design methodology for guaranteeing end-to-end requirements of real-time systems. Applications are structured as a set of process components co...
AMFG
2007
IEEE
14 years 26 days ago
2007
IEEE
In this paper, we present an effective approach for spatiotemporal face recognition from videos using an Extended set of Volume LBP (Local Binary Pattern features) and a boosting s...
ARCS
2006
Springer
14 years 18 days ago
2006
Springer
: We have shown in our past work that the standard configuration of Time-Triggered (TT) Ethernet unifies real-time and non-real-time traffic within a single coherent communication ...
DATE
2004
IEEE
14 years 18 days ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
CONCUR
2006
Springer
14 years 18 days ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...