14360 search results - page 55 / 2872 » Time Modeling in MARTE |
FOSSACS
2011
Springer
13 years 7 days ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
A model for movement time for scrolling is developed and verified experimentally. It is hypothesized that the maximum scroll speed is a constant at which the target can be perceiv...
RTSS
2003
IEEE
14 years 2 months ago
2003
IEEE
We address the problem of providing compositional hard real-time guarantees in a hierarchy of schedulers. We first propose a resource model to characterize a periodic resource al...
LCN
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper, variable bit rate (VBR) H.261 encoded video traffic is modeled by a nonlinear time series process. A threshold autoregressive (TAR) process is of particular interes...
CHI
2000
ACM
14 years 1 months ago
2000
ACM
Model simplification researchers require quality heuristics to guide simplification, and quality predictors to allow comparison of different simplification algorithms. However, th...