3719 search results - page 43 / 744 » order 2010 |
FSTTCS
2010
Springer
13 years 8 months ago
2010
Springer
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...
ICDE
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract— There are many applications in which users interactively access huge tree data by repeating set-based navigations. In this paper, we focus on label-specific/wildcard c...
DASFAA
2010
IEEE
14 years 2 months ago
2010
IEEE
The skyline of a set P of multi-dimensional points (tuples) consists of those points in P for which no clearly better point in P exists, using component-wise comparison on domains ...
PODC
2010
ACM
14 years 1 months ago
2010
ACM
This paper deals with pipelined queries over services. The execution plan of such queries defines an order in which the services are called. We present the theoretical underpinni...
IWOCA
2010
Springer
13 years 4 months ago
2010
Springer
We consider here the problem of chaining seeds in ordered trees. Seeds are mappings between two trees Q and T and a chain is a subset of non overlapping seeds that is consistent wi...