22 search results - page 5 / 5 » Automatic synthesis of behavior protocols for composable web... |
APN
2010
Springer
14 years 2 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
DAIS
2003
13 years 11 months ago
2003
Communication in distributed applications across a wide area network needs to cope with heterogenous and constantly changing network conditions. A promising approach to address thi...