1261 search results - page 1 / 253 » A Hierarchy of Temporal Properties |
PODC
1990
ACM
13 years 9 months ago
1990
ACM
NN
2006
Springer
13 years 5 months ago
2006
Springer
Recent computational approaches to action imitation have advocated the use of hierarchical representations in the perception and imitation of demonstrated actions. Hierarchical re...
FLAIRS
2003
13 years 6 months ago
2003
Recently, a hierarchy of spatio-temporal languages based on the propositional temporal logic PTL and the spatial languages RCC-8, BRCC-8 and S4u has been introduced. Although a nu...
CAISE
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. In this paper we present our approach to model and verify workflowintensive systems. Besides the functional properties (given by the temporal workflow description) we aug...
TPHOL
2005
IEEE
13 years 10 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...