5518 search results - page 76 / 1104 » Rule-Based Service Modeling |
IEEEHPCS
2010
14 years 8 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
JCP
2010
14 years 8 months ago
2010
Model for Abstracting the Interaction of Web Services Li Bao, Weishi Zhang, and Xiong Xie 91
WISE
2007
Springer
15 years 4 months ago
2007
Springer
Modeling in systems biology is concerned with using experimental information and mathematical methods to build quantitative models at different biological scales. This requires int...
EDOC
2006
IEEE
15 years 4 months ago
2006
IEEE
Increasingly, distributed systems are being constructed by composing a number of discrete components. This practice, termed composition, is particularly prevalent within the Web s...
ISOLA
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...