1633 search results - page 236 / 327 » On the Verification of Temporal Properties |
128
Voted
IRI
2008
IEEE
15 years 7 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...
102
Voted
TABLEAUX
2007
Springer
15 years 6 months ago
2007
Springer
We construct a sound, complete, and terminating tableau system for the interval temporal logic D · interpreted in interval structures over dense linear orderings endowed with stri...
133
Voted
MTV
2006
IEEE
15 years 6 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...
127
Voted
TIME
2006
IEEE
15 years 6 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
116
Voted
MM
2006
ACM
15 years 6 months ago
2006
ACM
This paper proposes a new approach for the similarity measure and ranking of audio clips by graph modeling and matching. Instead of using frame-based or salient-based features to ...