Sciweavers

1314 search results - page 36 / 263
» Evaluating Web Services Based Implementations of GridRPC
Sort
View
WWW
2009
ACM
16 years 14 days ago
Automated synthesis of composite services with correctness guarantee
In this paper, we propose a novel approach for composing existing web services to satisfy the correctness constraints to the design, including freeness of deadlock and unspecified...
Ting Deng, Jinpeng Huai, Xianxian Li, Zongxia Du, ...
ESCIENCE
2005
IEEE
15 years 5 months ago
Grid-Based PDE.Mart: A PDE-Oriented PSE for Grid Computing
We investigate the migration of network-based PDE.Mart to the grid platform. The grid architecture of PDE.Mart is presented. Grid-based PDE.Mart is a service-oriented system, and ...
Guoyong Mao, Mo Mu, Wu Zhang, Xiaobin Zhang
CIB
2004
83views more  CIB 2004»
14 years 11 months ago
Web-Based Semantic Pervasive Computing Services
Abstract-- Pervasive Computing refers to a seamless and invisible computing environment which provides dynamic, proactive and context-aware services to the user by acquiring contex...
Yugyung Lee, Soon Ae Chun, James Geller
LISA
2004
15 years 1 months ago
Experience in Implementing an HTTP Service Closure
One ideal of configuration management is to specify only desired behavior in a high-level language, while an automatic configuration management system assures that behavior on an ...
Steven Schwartzberg, Alva L. Couch
DSN
2003
IEEE
15 years 5 months ago
A User-Perceived Availability Evaluation of a Web Based Travel Agency
A hierarchical modeling framework for the dependability evaluation of Internet-based applications is presented and illustrated on a travel agency example. Modeling is carried out ...
Mohamed Kaâniche, Karama Kanoun, Magnos Mart...