1283 search results - page 192 / 257 » A Survey on Temporal Logics |
153
click to vote
PODS
2008
ACM
16 years 6 months ago
2008
ACM
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...
186
click to vote
TIME
2009
IEEE
16 years 28 days 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...
172
click to vote
TIME
2009
IEEE
16 years 28 days 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...
204
click to vote
IRI
2008
IEEE
16 years 18 days 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...
185
click to vote
MTV
2006
IEEE
16 years 6 days 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...