Sciweavers

5518 search results - page 161 / 1104
» Rule-Based Service Modeling
Sort
View
102
Voted
CLEIEJ
2007
51views more  CLEIEJ 2007»
15 years 2 months ago
Model Checking Techniques applied to the design of Web Services
Gregorio Díaz, María-Emilia Cambrone...
98
Voted
JISE
2008
109views more  JISE 2008»
15 years 2 months ago
An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service
Zhijun Ding, Junli Wang, Changjun Jiang
61
Voted
JACIII
2006
48views more  JACIII 2006»
15 years 2 months ago
QoS Constrains Model: Establishing QoS Association for Ontology-Based Web Service Selection Mechanism
Laila Taher, Rawshan Basha, Hazem El Khatib
96
Voted
ERCIM
2007
73views more  ERCIM 2007»
15 years 2 months ago
Formal Modelling and Verification in Service-Oriented Computing
Maurice H. ter Beek, Stefania Gnesi, Fabio Martine...