5599 search results - page 20 / 1120 » Abstract State Services |
CORR
1998
Springer
15 years 1 months ago
1998
Springer
ECIS
2011
14 years 1 months ago
2011
117
click to vote
DAGSTUHL
1994
15 years 2 months ago
1994
Abstract. Rampart is a toolkit of protocols to facilitate the development of high-integrity services, i.e., distributed services that retain their availability and correctness desp...
144
click to vote
ASM
2008
ASM
15 years 3 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
102
click to vote
PTS
2008
15 years 2 months ago
2008
Abstract. A Web Service is commonly not an independent software entity, but plays a role in some business process. Hence, it depends on the services provided by external Web Servic...