192 search results - page 26 / 39 » Simulation, verification and automated composition of web se... |
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
The increasing availability of web services necessitates efficient discovery and execution framework. The use of xml at various levels of web services standards poses challenges t...
TELSYS
2002
13 years 7 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
ICWS
2009
IEEE
13 years 5 months ago
2009
IEEE
Web service-based workflow management systems have garnered considerable attention for automating and scheduling dependent operations. Such systems often support user preferences,...
SKG
2006
IEEE
14 years 1 months ago
2006
IEEE
Meteorology Grid Computing aims to provide scientist with seamless, reliable, secure and inexpensive access to meteorological resources. In this paper, we presented a semantic-bas...
AH
2006
Springer
13 years 11 months ago
2006
Springer
Adaptive Hypermedia is utilised in several domains, such as eLearning and professional training, where there is a growing movement towards the use of cognitively richer and more `a...