Sciweavers

446 search results - page 48 / 90
» A proof markup language for Semantic Web services
Sort
View
ENTCS
2006
148views more  ENTCS 2006»
15 years 6 months ago
Towards the Semantics and Verification of BPEL4WS
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...
Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan ...
ESOP
2005
Springer
15 years 11 months ago
Towards a Type System for Analyzing JavaScript Programs
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
Peter Thiemann
FASE
2005
Springer
15 years 11 months ago
Analyzing Web Service Based Business Processes
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
Axel Martens
ESAW
2005
Springer
15 years 11 months ago
Developing Multi Agent Systems on Semantic Web Environment Using SEAGENT Platform
In this paper, we discuss the development of a multi agent system working on the Semantic Web environment by using a new framework called SEAGENT. SEAGENT is a new agent developmen...
Oguz Dikenelli, Riza Cenk Erdur, Geylani Kardas, &...
JCDL
2003
ACM
77views Education» more  JCDL 2003»
15 years 11 months ago
On Querying Geospatial and Georeferenced Metadata Resources in G-Portal
G-Portal is a web portal system providing a range of digital library services to access geospatial and georeferenced resources on the Web. Among them are the storage and query sub...
Zehua Liu, Ee-Peng Lim, Wee Keong Ng, Dion Hoe-Lia...