2799 search results - page 15 / 560 » MAMS Service Framework |
FORTE
2009
13 years 6 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
14 years 2 months ago
2006
IEEE
ITRUST
2004
Springer
14 years 1 months ago
2004
Springer
ICDCSW
2009
IEEE
13 years 6 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
13 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...