2799 search results - page 15 / 560 » MAMS Service Framework |
114
click to vote
FORTE
2009
14 years 7 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
COMPSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
74
Voted
ITRUST
2004
Springer
15 years 2 months ago
2004
Springer
ICDCSW
2009
IEEE
14 years 7 months ago
2009
IEEE
Dynamic composition of protocol features allows applications to establish connections with custom communication characteristics. Automatically computing possible compositions and ...
PDPTA
2004
14 years 10 months ago
2004
Abstract-- Service descriptions based on type hiernd abstract service states ruling the availability of operations permit more secure service combinations in distributed systems de...