1167 search results - page 173 / 234 » A Really Temporal Logic |
125
click to vote
TIME
2009
IEEE
15 years 8 months ago
2009
IEEE
The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the...
113
click to vote
TIME
2009
IEEE
15 years 8 months ago
2009
IEEE
Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the con...
139
click to vote
IRI
2008
IEEE
15 years 8 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
139
click to vote
MTV
2006
IEEE
15 years 7 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
111
Voted
ICRA
2003
IEEE
15 years 6 months ago
2003
IEEE
- In this paper, we propose a unitary tool for modeling and analysis of discrete event systems monitoring. Uncertain knowledge of such tasks asks specific reasoning and adapted fuz...