-
1
-
-
84858531429
-
-
Demo, http://www.cs.ucsd.edu/~lsui/project/index.html.
-
-
-
-
3
-
-
0034294212
-
Relational transducers for electronic commerce
-
Extended abstract in PODS 98
-
S. Abiteboul, V. Vianu, B. Fordham, and Y. Yesha. Relational transducers for electronic commerce. JCSS, 61(2):236-269, 2000. Extended abstract in PODS 98.
-
(2000)
JCSS
, vol.61
, Issue.2
, pp. 236-269
-
-
Abiteboul, S.1
Vianu, V.2
Fordham, B.3
Yesha, Y.4
-
4
-
-
0036039066
-
The SLAM project: Debugging system software via static analysis
-
T. Ball and S. Rajamani. The SLAM project: Debugging system software via static analysis. In POPL, 2002.
-
(2002)
POPL
-
-
Ball, T.1
Rajamani, S.2
-
5
-
-
29844450945
-
STeP: Deductive-algorithmic verification of reactive and real-time systems
-
N. Bjorner, A. Browne, E. Chang, M. Coin, A. Kapur, Z. Manna, H. Sipma, and T. E. Uribe. STeP: Deductive-algorithmic verification of reactive and real-time systems. In Computer Aided Verification (CAV), 1996.
-
(1996)
Computer Aided Verification (CAV)
-
-
Bjorner, N.1
Browne, A.2
Chang, E.3
Coin, M.4
Kapur, A.5
Manna, Z.6
Sipma, H.7
Uribe, T.E.8
-
6
-
-
0028516965
-
An overview of transaction logic
-
A. Bonner and M. Kifer. An overview of transaction logic. Theor. Comput, Sci., 133(2), 1994.
-
(1994)
Theor. Comput, Sci.
, vol.133
, Issue.2
-
-
Bonner, A.1
Kifer, M.2
-
8
-
-
3142761274
-
Specification and design of workflow-driven hypertexts
-
M. Brambilla, S. Ceri, S.-Comai, P. Fraternali, and I. Manolescu. Specification and design of workflow-driven hypertexts. Journal of Web Engineering, 1(1), 2002.
-
(2002)
Journal of Web Engineering
, vol.1
, Issue.1
-
-
Brambilla, M.1
Ceri, S.2
Comai, S.3
Fraternali, P.4
Manolescu, I.5
-
9
-
-
0038504390
-
-
Morgan-Kaufmann
-
S. Ceri, P. Fraternali, A. Bongio, M. Brambilla, S. Comai, and M. Matera. Designing data-intensive Web applications. Morgan-Kaufmann, 2002.
-
(2002)
Designing Data-intensive Web Applications
-
-
Ceri, S.1
Fraternali, P.2
Bongio, A.3
Brambilla, M.4
Comai, S.5
Matera, M.6
-
11
-
-
0038315923
-
-
F. Curbera, Y. Goland, J. Klein, F. Leymann, D. Roller, S. Thatte, and S. Weerawarana, Business process execution language for Web services. http://dev2dev.bea.com/techtrack/BPEL4WS.jsp.
-
Business Process Execution Language for Web Services
-
-
Curbera, F.1
Goland, Y.2
Klein, J.3
Leymann, F.4
Roller, D.5
Thatte, S.6
Weerawarana, S.7
-
12
-
-
84866258707
-
DAML-S: Web service description for the semantic Web
-
DAML-S Coalition (A. Ankolekar et al).DAML-S: Web service description for the semantic Web. In The Semantic Web - ISWC, pages 348-363, 2002.
-
(2002)
The Semantic Web - ISWC
, pp. 348-363
-
-
Ankolekar, A.1
-
14
-
-
3142757108
-
Specification and verification of data-driven web services
-
A. Deutsch, L. Sui, and V. Vianu. Specification and verification of data-driven web services. In PODS, 2004.
-
(2004)
PODS
-
-
Deutsch, A.1
Sui, L.2
Vianu, V.3
-
16
-
-
0034164918
-
Declarative specification of web sites with Strudel
-
M. F. Fernández, D. Florescu, A. Y. Levy, and D. Suciu. Declarative specification of web sites with Strudel. VLDB Journal, 9(1):38-55, 2000.
-
(2000)
VLDB Journal
, vol.9
, Issue.1
, pp. 38-55
-
-
Fernández, M.F.1
Florescu, D.2
Levy, A.Y.3
Suciu, D.4
-
17
-
-
29844446066
-
WEAVE: A data-intensive web site management system (software demonstration)
-
D. Florescu, K. Yagoub, P. Valduriez, and V. Issarny. WEAVE: A data-intensive web site management system (software demonstration). In (EDBT), 2000.
-
(2000)
EDBT
-
-
Florescu, D.1
Yagoub, K.2
Valduriez, P.3
Issarny, V.4
-
18
-
-
19944405131
-
Analysis of interacting BPEL web services
-
X. Fu, T. Bultan, and J. Su. Analysis of Interacting BPEL Web Services. In WWW'04, 2004.
-
(2004)
WWW'04
-
-
Fu, X.1
Bultan, T.2
Su, J.3
-
19
-
-
33747074188
-
An overview of workflow management: From process modeling to workflow automation infrastructure
-
D. Georgakopoulos, M. Hornick, and A. Sheth. An overview of workflow management: From process modeling to workflow automation infrastructure. In Distributed and Parallel Databases, 1995.
-
(1995)
Distributed and Parallel Databases
-
-
Georgakopoulos, D.1
Hornick, M.2
Sheth, A.3
-
20
-
-
0002147440
-
Simple on-the-fly automatic verification of linear temporal logic
-
R. Gerth, D. Peled, M. Vardi, and P. Wolper. Simple on-the-fly automatic verification of linear temporal logic. In Int. Conf. on Protocol Specification, Testing and Verification (PSTV), 1995.
-
(1995)
Int. Conf. on Protocol Specification, Testing and Verification (PSTV)
-
-
Gerth, R.1
Peled, D.2
Vardi, M.3
Wolper, P.4
-
23
-
-
84924201860
-
Tools for design of composite web services (tutorial)
-
R. Hull and J. Su. Tools for design of composite web services (tutorial). In PODS, 2004.
-
(2004)
PODS
-
-
Hull, R.1
Su, J.2
-
26
-
-
0003296404
-
Araneus in the era of xml
-
G. Mecca, P. Merialdo, and P. Atzeni. Araneus in the era of xml. IEEE Data Engineering Bulletin, 22(3): 19-26, 1999.
-
(1999)
IEEE Data Engineering Bulletin
, vol.22
, Issue.3
, pp. 19-26
-
-
Mecca, G.1
Merialdo, P.2
Atzeni, P.3
-
28
-
-
70349896736
-
Simulation, verification and automated composition of Web services
-
S. Narayanan and S. McIlraith. Simulation, verification and automated composition of Web services. In WWW, 2002.
-
(2002)
WWW
-
-
Narayanan, S.1
McIlraith, S.2
-
30
-
-
0037591752
-
Verification of relational transducers for electronic commerce
-
Extended abstract in PODS 2000
-
M. Spielmann. Verification of relational transducers for electronic commerce. JCSS., 66(1):40-65, 2003. Extended abstract in PODS 2000.
-
(2003)
JCSS.
, vol.66
, Issue.1
, pp. 40-65
-
-
Spielmann, M.1
-
32
-
-
0003305458
-
A formal foundation for distributed workflow execution based on state charts
-
D. Wodtke and G. Weikum. A formal foundation for distributed workflow execution based on state charts. In ICDT, 1997.
-
(1997)
ICDT
-
-
Wodtke, D.1
Weikum, G.2
-
33
-
-
84858531428
-
-
Workflow management coalition, 2001. http://www.wfmc.org.
-
(2001)
-
-
|