6308 search results - page 218 / 1262 » Modeling Urgency in Timed Systems |
159
click to vote
FORMATS
2003
Springer
15 years 9 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
109
Voted
ASPDAC
2005
ACM
15 years 10 months ago
2005
ACM
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
163
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
Automatic evaluation of visual tracking algorithms in the absence of ground truth is a very challenging and important problem. In the context of online appearance modeling, there ...
147
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
125
click to vote
WSC
2008
15 years 7 months ago
2008
The research is to illustrate how to identify the significant factor(s) affecting the Request For Information (RFI) process cycle time in the context of queueing behavior. Among t...