Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

101

Voted

PODS
2004
ACM

95views Database» more PODS 2004»

Specification and Verification of Data-driven Web Services

16 years 2 months ago

Specification and Verification of Data-driven Web Services

Download www.cis.upenn.edu

Alin Deutsch, Liying Sui, Victor Vianu

Real-time Traffic

Data-driven Web Services | Database | PODS 2004 |

claim paper

Related Content

» WAVE Automatic Verification of DataDriven Web Services

» Notations for the Specification and Verification of Composite Web Services

» SpecificationBased Verification and Validation of Web Services and ServiceOriented Operati...

» Specification and Verification of Authorization Policies for Web Services Composition

» Toward a PiCalculus Based Verification Tool for Web Services Orchestrations

» Specification and Verification of Views over Composite Web Services Using High Level Petri...

» Runtime Verification of Behavioural Conformance for Conversational Web Services

» Pattern Based Property Specification and Verification for Service Composition

» Towards verifying compliance in agentbased web service compositions

Post Info
More Details (n/a)

Added	08 Dec 2009
Updated	08 Dec 2009
Type	Conference
Year	2004
Where	PODS
Authors	Alin Deutsch, Liying Sui, Victor Vianu

Comments (0)