732 search results - page 108 / 147 » Periodicity-Based Temporal Constraints |
148
click to vote
HYBRID
1997
Springer
15 years 10 months ago
1997
Springer
We de ne robust timed automata, which are timed automata that accept all trajectories \robustly": if a robust timed automaton accepts a trajectory, then it must accept neighbo...
159
click to vote
CCS
2006
ACM
15 years 9 months ago
2006
ACM
A time-bound hierarchical key assignment scheme is a method to assign time-dependent encryption keys to a set of classes in a partially ordered hierarchy, in such a way that each ...
178
click to vote
FATES
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
172
click to vote
ASP
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
156
click to vote
VLDB
2000
ACM
15 years 9 months ago
2000
ACM
Modern database applications show a growing demand for efficient and dynamic management of intervals, particularly for temporal and spatial data or for constraint handling. Common...