-
1
-
-
34447272376
-
Querying and updating probabilistic information in xml
-
S. Abiteboul and P. Senellart. Querying and updating probabilistic information in xml. In Proc. of EDBT, 2006.
-
(2006)
Proc. of EDBT
-
-
Abiteboul, S.1
Senellart, P.2
-
2
-
-
85038478842
-
-
Active XML
-
Active XML. http://activexml.net/.
-
-
-
-
3
-
-
85038472814
-
-
Business Process Execution Language for Web Services
-
Business Process Execution Language for Web Services. http://www.ibm.com/developerworks/library/ws-bpel/.
-
-
-
-
4
-
-
0025398865
-
The monadic second-order logic of graphs
-
B. Courcelle. The monadic second-order logic of graphs. Inf. Comput., 85(1), 1990.
-
(1990)
f. Comput.
, vol.85
, Issue.1
-
-
Courcelle, B.1
-
5
-
-
0022094206
-
Generalized best-first search strategies and the optimality of A*
-
R. Dechter and J. Pearl. Generalized best-first search strategies and the optimality of A*. JACM, 32(3), 1985.
-
(1985)
JACM
, vol.32
, Issue.3
-
-
Dechter, R.1
Pearl, J.2
-
6
-
-
84859170017
-
Type inference and type checking for queries on execution traces
-
D. Deutch and T. Milo. Type inference and type checking for queries on execution traces. In Proc. of VLDB, 2008.
-
(2008)
Proc. of VLDB
-
-
Deutch, D.1
Milo, T.2
-
7
-
-
67649671754
-
Evaluating top-k queries over business processes (short paper)
-
D. Deutch and T. Milo. Evaluating top-k queries over business processes (short paper). In Proc. of ICDE, 2009.
-
(2009)
Proc. of ICDE
-
-
Deutch, D.1
Milo, T.2
-
8
-
-
78650118161
-
Top-k projection queries for probabilistic business processes
-
D. Deutch and T. Milo. Top-k projection queries for probabilistic business processes. In Proc. of ICDT, 2009.
-
(2009)
Proc. of ICDT
-
-
Deutch, D.1
Milo, T.2
-
9
-
-
34250668466
-
Verification of communicating data-driven web services
-
A. Deutsch, L. Sui, V. Vianu, and D. Zhou. Verification of communicating data-driven web services. In PODS, 2006.
-
(2006)
PODS
-
-
Deutsch, A.1
Sui, L.2
Vianu, V.3
Zhou, D.4
-
10
-
-
84859219284
-
Algorithmic verification of recursive probabilistic state machines
-
K. Etessami and M. Yannakakis. Algorithmic verification of recursive probabilistic state machines. In TACAS, 2005.
-
(2005)
TACAS
-
-
Etessami, K.1
Yannakakis, M.2
-
11
-
-
0038504811
-
Optimal aggregation algorithms for middleware
-
R. Fagin, A. Lotem, and M. Naor. Optimal aggregation algorithms for middleware. JCSS, 66(4), 2003.
-
(2003)
JCSS
, vol.66
, Issue.4
-
-
Fagin, R.1
Lotem, A.2
Naor, M.3
-
12
-
-
55349093583
-
A survey of top-k query processing techniques in relational database systems
-
I. F. Ilyas, G. Beskales, and M. A. Soliman. A survey of top-k query processing techniques in relational database systems. ACM Comput. Surv., 40(4), 2008.
-
(2008)
ACM Comput. Surv.
, vol.40
, Issue.4
-
-
Ilyas, I.F.1
Beskales, G.2
Soliman, M.A.3
-
16
-
-
85012146683
-
Data stream query processing: A tutorial
-
N. Koudas and D. Srivastava. Data stream query processing: A tutorial. In Proc. of VLDB, 2003.
-
(2003)
Proc. of VLDB
-
-
Koudas, N.1
Srivastava, D.2
-
17
-
-
85135029223
-
Distributions of surfers' paths through the world wide web: Empirical characterizations
-
P. L. T. Pirolli and J. E. Pitkow. Distributions of surfers' paths through the world wide web: Empirical characterizations. World Wide Web, 2(1-2), 1999.
-
(1999)
World Wide Web
, vol.2
, Issue.1-2
-
-
Pirolli, P.L.T.1
Pitkow, J.E.2
-
18
-
-
34548772330
-
Representing and querying correlated tuples in probabilistic databases
-
P. Sen and A. Deshpande. Representing and querying correlated tuples in probabilistic databases. In ICDE, 2007.
-
(2007)
ICDE
-
-
Sen, P.1
Deshpande, A.2
-
20
-
-
85038473599
-
-
Yahoo! shopping
-
Yahoo! shopping. http://shopping.yahoo.com/.
-
-
-
|