Sciweavers

325 search results - page 20 / 65
» Aspect-Oriented Techniques for Web Services: a Model-Driven ...
Sort
View
DEBU
2008
100views more  DEBU 2008»
13 years 7 months ago
WAVE: Automatic Verification of Data-Driven Web Services
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
Alin Deutsch, Victor Vianu
ICDE
2007
IEEE
97views Database» more  ICDE 2007»
14 years 2 months ago
Service Description and Analysis From a Type Theoretic Approach
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
Ken Q. Pu
GI
2005
Springer
14 years 1 months ago
Analysis and Design Techniques for Service-Oriented Development and Integration
: Service-Oriented Architectures (SOAs) have been established as an IT strategy to support the on demand goal of business agility. Web services standards and their implementations ...
Olaf Zimmermann, Niklas Schlimm, Günter Walle...
ICWS
2009
IEEE
14 years 4 months ago
User-Perceived Service Availability: A Metric and an Estimation Approach
Web-service-related techniques have become popular to improve system integration and interaction. In distributed and dynamic environment, web services’ availability has been reg...
Lingshuang Shao, Junfeng Zhao, Tao Xie, Lu Zhang, ...
WWW
2006
ACM
14 years 8 months ago
WS-replication: a framework for highly available web services
Due to the rapid acceptance of web services and its fast spreading, a number of mission-critical systems will be deployed as web services in next years. The availability of those ...
Jorge Salas, Francisco Perez-Sorrosal, Marta Pati&...