329 search results - page 9 / 66 » Design for verification for asynchronously communicating Web... |
WWW
2006
ACM
14 years 1 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
AICT
2006
IEEE
14 years 1 months ago
2006
IEEE
As the Web platform continues to mature, we see an increasing number of amazing technologies that take Geographic Information Systems (GIS) visualization applications to new level...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
Searching for Web service access points is no longer attached to service registries as Web search engines have become a new major source for discovering Web services. In this work...
TCAD
2008
13 years 7 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
WWW
2003
ACM
14 years 8 months ago
2003
ACM
The construction of composite Web Services from service fragments requires semantic descriptions of service offers and service requests. We propose the use of dependencies as a mo...