20126 search results - page 86 / 4026 » Timed Transition Systems |
115
click to vote
ASM
2004
ASM
15 years 8 months ago
2004
ASM
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...
139
click to vote
PODS
2008
ACM
16 years 3 months ago
2008
ACM
We consider the navigational core of XPath, extended with two operators: the Kleene star for taking the transitive closure of path expressions, and a subtree relativisation operat...
149
click to vote
SPIN
2009
Springer
15 years 9 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
125
click to vote
JVCA
2007
15 years 3 months ago
2007
In this paper, we present an example-based motion synthesis technique. Users can interactively control the virtual character to perform desired actions in any order. The desired a...
137
click to vote
DM
1999
15 years 2 months ago
1999
A module of an undirected graph is a set X of nodes such for each node x not in X , either every member of X is adjacent to x, or no member of X is adjacent to x. There is a canon...