Sciweavers

5518 search results - page 161 / 1104
» Rule-Based Service Modeling
Sort
View
CLEIEJ
2007
51views more  CLEIEJ 2007»
15 years 1 months ago
Model Checking Techniques applied to the design of Web Services
Gregorio Díaz, María-Emilia Cambrone...
ERCIM
2007
73views more  ERCIM 2007»
15 years 1 months ago
Formal Modelling and Verification in Service-Oriented Computing
Maurice H. ter Beek, Stefania Gnesi, Fabio Martine...