113
Voted
SFM
15 years 7 months ago
2009 Springer 
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
93
Voted
SFM
15 years 7 months ago
2009 Springer
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
97
Voted
SFM
15 years 5 months ago
2009 Springer  84
Voted
SFM
15 years 5 months ago
2009 Springer 78
Voted
SFM
15 years 7 months ago
2009 Springer
In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serv...
|
Formal Methods