1980 search results - page 169 / 396 » Compositional Model Checking of Real Time Systems |
158
click to vote
SEFM
2006
IEEE
16 years 12 days ago
2006
IEEE
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
195
click to vote
BIS
2007
15 years 7 months ago
2007
In this work, we present a conceptual framework for deriving executable business process models from high-level, graphical business process models based on the paradigm of Service-...
210
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
Fast and reliable algorithms for estimating the head pose are essential for many applications and higher-level face analysis tasks. We address the problem of head pose estimation ...
214
click to vote
RT
2001
Springer
15 years 10 months ago
2001
Springer
This paper presents a technique for representing and displaying high dynamic-range texture maps (HDRTMs) using current graphics hardware. Dynamic range in real-world environments o...
170
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
The rapid progress in high-performance microprocessor design has made it di cult to adapt real-time scheduling results to new models of microprocessor hardware, thus leaving an un...