607 search results - page 37 / 122 » A Model of Pervasive Services for Service Composition |
174
click to vote
ICWS
2008
IEEE
15 years 7 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
174
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper focuses on the development of a principled methodology for the dependability analysis of composite Web services. The first step of the methodology involves a UML represe...
133
click to vote
JUCS
2008
15 years 6 months ago
2008
In this presentation we will report on a number of projects where we have successfully applied the ASM methodology to provide models for a number of problems that are commonly foun...
193
click to vote
ICWS
2003
IEEE
15 years 7 months ago
2003
IEEE
The enormous growth in wireless communications and miniaturized handheld devices in the last few years, have given rise to a vast range of new services, for heterogeneous user env...
144
click to vote
TGC
2007
Springer
16 years 10 days ago
2007
Springer
We add specifications of location-aware measurements to performance models in a compositional fashion, promoting precision in performance measurement design. Using immediate actio...