557 search results - page 9 / 112 » Calculi for Service-Oriented Computing |
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
In service-oriented computing, services are dynamically built as an assembly of pre-existing, independently developed, network accessible services. Hence, predicting as much as pos...
COMPSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
Web services (WS) received significant attention recently because services can be searched, bound, and executed at runtime over the Internet. This paper proposes a dynamic reconfi...
SEFM
2007
IEEE
14 years 2 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
SEMWEB
2004
Springer
14 years 1 months ago
2004
Springer
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
