Analysis and Simulation of Web Services (2003) (Make Corrections) (4 citations) Srini Narayanan Sheila McIlraith * An earlier version of [cssmall.gif] Home/Search Context Related View or download: berkeley.edu/NTL/papers/NM.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies. PS.gz PS PDF Image Update Help From: berkeley.edu/NTL/publications (more) (Enter author homepages) Rate this article: [r1.gif] [r2.gif] [r3.gif] [r4.gif] [r5.gif] (best) Comment on this article (Enter summary) Abstract: Web services -- Web-accessible programs and devices -- are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards t he Semantic Web comes the opportunity to automate various Web services tasks. Our objective is to enable markup and automated reasoning technology to describe, simulate, compose, test, and verify compositions of Web services. We take as our starting point the DAML-S DAML+OIL ontology for describing the capabilities of Web... (Update) Similar documents based on text: More All 0.2: Simulation, Verification and Automated Composition of Web.. - Narayanan, McIlraith (2002) (Correct) 0.2: Information Retrieval on the Web - Page 6 - Broder, Henzinger (1998) (Correct) 0.2: Web Information Retrieval - Henzinger (Correct) BibTeX entry: (Update) S. Narayanan and S. McIlraith. Analysis and Simulation of Web Services. Computer Networks, 42(5):675--693, 2003. http://citeseer.ist.psu.edu/604134.html More @misc{ narayanan03analysis, author = "S. Narayanan and S. McIlraith", title = "Analysis and Simulation of Web Services", text = "S. Narayanan and S. McIlraith. Analysis and Simulation of Web Services. Computer Networks, 42(5):675--693, 2003.", year = "2003", url = "citeseer.ist.psu.edu/604134.html" } Citations (may not include all citations): 371 Fast Planning through Planning Graph Analysis - Blum, Furst - 1997 367 analysis and applications (context) - Murata - 1989 296 Scientific American (context) - Berners-Lee, Hendler et al. - 2001 103 An algorithm for the general Petri net reachability problem (context) - Mayr - 1984 ACM DBLP 97 Information and Computation (context) - Meseguer, Mont - 1990 DBLP 88 The DARPA Agent Markup Language (context) - Hendler, McGuinness - 2000 72 Unifying SAT-based and graph-based planning - Kautz, Selman - 1999 ACM DBLP 50 a concurrent programming language based on the situation cal.. (context) - De Giacomo, Lesperance et al. - 2000 47 Information and Computation (context) - Winskel - 1987 45 Knowledge in Action: Logical Foundations for Specifying and .. (context) - Reiter - 2001 34 Adapting Golog for composition of semantic Web services - McIlraith, Son - 2002 DBLP 28 Computational complexity of planning and approximate plannin.. - Baral, Kreinovich et al. - 2000 ACM DBLP 21 Special Issue on the Semantic Web (context) - McIlraith, Son et al. - 2001 12 Reasoning About Actions in Narrative Understanding - Narayanan - 1999 12 An Axiomatic Semantics for RDF (context) - Fikes, McGuinness - 2001 [Article contains additional citations not shown here] Documents on the same site (http://www.icsi.berkeley.edu/NTL/publications.html): More A Connectionist Encoding of Parameterized Schemas.. - Shastri, Grannes.. (1997) (Correct) Spatial Schematicity of Prepositions in Neural Grammar - Bergen, Chang (Correct) Bayesian Learning of Probabilistic Language Models - Stolcke (1994) (Correct) Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback CiteSeer.IST - Copyright Penn State and NEC