-
2
-
-
27244435221
-
Lazy evaluation of active XML queries
-
S. Abiteboul, O. Benjelloun, B. Cautis, I. Manolescu, T. Milo, and N. Preda. Lazy Evaluation of Active XML Queries. In Proc. of ACM SIGMOD, 2004.
-
(2004)
Proc. of ACM SIGMOD
-
-
Abiteboul, S.1
Benjelloun, O.2
Cautis, B.3
Manolescu, I.4
Milo, T.5
Preda, N.6
-
3
-
-
84893852201
-
-
Active XML. http://activexml.net/.
-
-
-
-
5
-
-
38449104500
-
Querying business processes with BP-QL (demo)
-
C. Beeri, A. Eyal, S. Kamenkovich, and T. Milo. Querying Business Processes with BP-QL (demo). In Proc, of VLDB, 2005.
-
(2005)
Proc, of VLDB
-
-
Beeri, C.1
Eyal, A.2
Kamenkovich, S.3
Milo, T.4
-
6
-
-
85146197564
-
Querying business processes
-
C. Beeri, A. Eyal, S. Kamenkovich, and T. Milo. Querying Business Processes. Tech. Report, Tel Aviv University, 2006.
-
(2006)
Tech. Report, Tel Aviv University
-
-
Beeri, C.1
Eyal, A.2
Kamenkovich, S.3
Milo, T.4
-
10
-
-
23944509036
-
XQBE (xquery by example): A visual interface to the standard xml query language
-
D. Braga, A. Campi, and S. Ceri. XQBE (xquery by example): A visual interface to the standard xml query language. ACM Trans. Database Syst., 30(2):398-443, 2005.
-
(2005)
ACM Trans. Database Syst.
, vol.30
, Issue.2
, pp. 398-443
-
-
Braga, D.1
Campi, A.2
Ceri, S.3
-
11
-
-
28444436569
-
Ibom: A platform for intelligent business operation management
-
M. Castellanos, F. Casati, M. Shan, and U. Dayal. ibom: A platform for intelligent business operation management. In ICDE, pages 1084-1095, 2005.
-
(2005)
ICDE
, pp. 1084-1095
-
-
Castellanos, M.1
Casati, F.2
Shan, M.3
Dayal, U.4
-
12
-
-
0010404515
-
Computing graphical queries over xml data
-
S. Cornai, E. Damiani, and P. Fraternali. Computing graphical queries over xml data. ACM Trans. Inf. Syst., 19(4):371-430, 2001.
-
(2001)
ACM Trans. Inf. Syst.
, vol.19
, Issue.4
, pp. 371-430
-
-
Cornai, S.1
Damiani, E.2
Fraternali, P.3
-
14
-
-
0025398865
-
The monadic second-order logic of graphs i: Recognizable sets of finite graphs
-
B. Courcelle. The monadic second-order logic of graphs i: Recognizable sets of finite graphs. Information and Computation, 85:12-75, 1990.
-
(1990)
Information and Computation
, vol.85
, pp. 12-75
-
-
Courcelle, B.1
-
17
-
-
29844434228
-
A verifier for interactive, data-driven web applications
-
A. Deutsch, M. Marcus, L. Sui, V. Vianu, and D. Zhou. A verifier for interactive, data-driven web applications. In Proc. of ACM SIGMOD, 2005.
-
(2005)
Proc. of ACM SIGMOD
-
-
Deutsch, A.1
Marcus, M.2
Sui, L.3
Vianu, V.4
Zhou, D.5
-
18
-
-
84893823836
-
-
The ebxml bpss (ebbp). http://www.oasis-open.org/committees/tc-horne.php? wg-abbrev=ebxml-bp.
-
The Ebxml Bpss (ebbp)
-
-
-
19
-
-
84981282575
-
Verification tools for finite state concurrent systems
-
Springer-Verlag
-
E. Clarke, O. Gramberg, and D. Long. Verification Tools for Finite State Concurrent Systems. In A Decade of Concurrency-Reflections and Perspectives, Volume 803, pages 124-175. Springer-Verlag, 1993.
-
(1993)
A Decade of Concurrency-Reflections and Perspectives
, vol.803
, pp. 124-175
-
-
Clarke, E.1
Gramberg, O.2
Long, D.3
-
20
-
-
84893832629
-
-
Eclipse foundation, http://www.eclipse.org.
-
-
-
-
21
-
-
0004063990
-
-
World Scientific
-
H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools. World Scientific, 1999.
-
(1999)
Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools
-
-
Ehrig, H.1
Engels, G.2
Kreowski, H.-J.3
Rozenberg, G.4
-
23
-
-
0023365727
-
Statecharts: A visual formalism for complex systems
-
D. Harel. Statecharts: A visual formalism for complex systems. Science of Comp. Programming, 8:231-274, 1987.
-
(1987)
Science of Comp. Programming
, vol.8
, pp. 231-274
-
-
Harel, D.1
-
24
-
-
84893862819
-
-
HP. Openview bpi. http://www.hp.com.
-
Openview Bpi
-
-
-
25
-
-
84893829186
-
-
Hog jviews. http://www.ilog.com/products/jviews/.
-
Hog Jviews
-
-
-
26
-
-
33244495360
-
Context-sensitive program analysis as database queries
-
J.
-
M. Lam, J., V. B. Livshits, M. Martin, D. Avots, M. Carbin, and C. Unkel. Context-sensitive program analysis as database queries. In PODS, pages 1-12, 2005.
-
(2005)
PODS
, pp. 1-12
-
-
Lam, M.1
Livshits, V.B.2
Martin, M.3
Avots, D.4
Carbin, M.5
Unkel, C.6
-
28
-
-
0038683240
-
Analysis and simulation of web services
-
S. Narayanan and S. Mcllraith. Analysis and simulation of web services. Compute Networks, 42:675-693, 2003.
-
(2003)
Compute Networks
, vol.42
, pp. 675-693
-
-
Narayanan, S.1
Mcllraith, S.2
-
29
-
-
3042662535
-
The language intersection problem for non-recursive context-free grammars
-
Mark-Jan Nederhof and Giorgio Satta. The language intersection problem for non-recursive context-free grammars. Inf. Comput., 192(2): 172-184, 2004.
-
(2004)
Inf. Comput.
, vol.192
, Issue.2
, pp. 172-184
-
-
Nederhof, M.-J.1
Satta, G.2
-
31
-
-
0029326231
-
G-log: A graph-based query language
-
J. Paredaens, P. Peelman, and L. Tança. G-log: A graph-based query language. IEEE Trans. Knowl. Data Eng., 7(3):436-453, 1995.
-
(1995)
IEEE Trans. Knowl. Data Eng.
, vol.7
, Issue.3
, pp. 436-453
-
-
Paredaens, J.1
Peelman, P.2
Tança, L.3
-
33
-
-
26444580289
-
The prom framework: A new era in process mining tool support
-
B. van Dongen, A. de Medeiros, H. Verbeek, A. Weijters, and W. van der Aalst. The prom framework: A new era in process mining tool support. In ICATPN, pages 444-454, 2005.
-
(2005)
ICATPN
, pp. 444-454
-
-
Van Dongen, B.1
De Medeiros, A.2
Verbeek, H.3
Weijters, A.4
Van Der Aalst, W.5
|