20126 search results - page 254 / 4026 » Timed Transition Systems |
156
click to vote
RTCSA
2006
IEEE
15 years 10 months ago
2006
IEEE
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
141
click to vote
DAC
1994
ACM
15 years 8 months ago
1994
ACM
Existing software scheduling techniques limit the functions that can be implemented in software to those with a restricted class of timing constraints, in particular those with a c...
158
click to vote
ETFA
2006
IEEE
15 years 8 months ago
2006
IEEE
Classical off-line approaches based on preemption such as RM (Rate Monotonic), DM (Deadline Monotonic), EDF (Earliest Deadline First), LLF (Least Laxity First), etc, give schedula...
134
click to vote
CAISE
1999
Springer
15 years 8 months ago
1999
Springer
Time management is a critical component of workflow-based process management. Important aspects of time management include planning of workflow process execution in time, estimat...
125
click to vote
LATA
2010
Springer
16 years 1 months ago
2010
Springer
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...