6308 search results - page 255 / 1262 » Modeling Urgency in Timed Systems |
169
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper addresses the problem of predicting timing properties of multi-tasking component assemblies during the design phase. For real-time applications, it is of vital importan...
166
click to vote
FMSD
2007
15 years 6 months ago
2007
In the classical framework of formal languages, a refinement n is modeled by a substitution and an abstraction by an inverse substitution. These mechanisms have been widely studie...
180
click to vote
AFRIGRAPH
2004
ACM
15 years 12 months ago
2004
ACM
The demand for realistic human characters is driven by interactive application developers worldwide. The look of 3D models in real time graphics is efficiently improved by powerfu...
170
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
A novel method is introduced to recognize and estimate the scale of time-varying human gestures. It exploits the changes in contours along spatio-temporal directions. Each contour...
217
click to vote
DSRT
2003
IEEE
15 years 12 months ago
2003
IEEE
“Smart Things” are commonly understood as wireless ad-hoc networked, mobile, autonomous, special purpose computing appliances, usually interacting with their environment impli...