996 search results - page 68 / 200 » A Compositional Model for Software Reuse |
140
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
120
click to vote
ASWEC
2010
IEEE
15 years 4 months ago
2010
IEEE
— Service compositions provide a promising way to realize and coordinate automated support for business activities and processes. These business processes and their automated sup...
215
click to vote
FASE
2011
Springer
14 years 7 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
122
click to vote
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we present an approach for oblivious composition of Web user interfaces, particularly for volatile functionality. Our approach, which is inspired on well-kn...
124
click to vote
FASE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Web Services offer a widespread standard for making services available on the Internet. Of particular interest is the possibility of composing existing distributed servi...