305 search results - page 35 / 61 » Proof as Composition: An approach for the Large-granularity ... |
SOCO
2005
Springer
14 years 2 months ago
2005
Springer
Due to the large success of wireless networks and portable devices, the pervasive computing paradigm is becoming a reality. One of the most challenging objectives to be achieved in...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
The run-time binding of web services has been recently put forward in order to support rapid and dynamic web service compositions. With the growing number of alternative web servi...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
SAC
2009
ACM
14 years 1 months ago
2009
ACM
The future of service-centric environments suggests that organizations will dynamically discover and utilize web services for new business processes particularly those that span m...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
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...