1105 search results - page 204 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
133
Voted
CONCUR
2001
Springer
15 years 7 months ago
2001
Springer
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
136
click to vote
ARCS
2008
Springer
15 years 4 months ago
2008
Springer
: The task of the creatures in the "creatures' exploration problem" is to visit all empty cells in an environment with a minimum number of steps. We have analyzed th...
126
click to vote
ICCV
2001
IEEE
16 years 4 months ago
2001
IEEE
Blob trackers have become increasingly powerful in recent years largely due to the adoption of statistical appearance models which allow effective background subtraction and robus...
111
Voted
ECAI
1998
Springer
15 years 7 months ago
1998
Springer
Abstract: Lazy computation is not new in model-based diagnosis of active systems (and of discreteevent systems in general). Up to a decade ago, diagnosis methods for discrete-event...
150
Voted
RTAS
2003
IEEE
15 years 8 months ago
2003
IEEE
Most research on QoS-aware computing considers systems where code is generally partitioned into separately schedulable tasks with associated timing constraints. In sharp contrast ...