63 search results - page 13 / 13 » Formal Modeling and Discrete-Time Analysis of BPEL Web Servi... |
WOSP
2004
ACM
13 years 10 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
EDOC
2004
IEEE
13 years 8 months ago
2004
IEEE
Service-oriented architectures and Web service infrastructure provide the ideal framework for interconnecting organizations and for defining distributed business applications. The...
SIGMETRICS
2005
ACM
13 years 10 months ago
2005
ACM
The growing cost of tuning and managing computer systems is leading to out-sourcing of commercial services to hosting centers. These centers provision thousands of dense servers w...