129 search results - page 4 / 26 » Formalizing Mobility in Service Oriented Computing |
ICSOC
2009
Springer
13 years 10 months ago
2009
Springer
SOFSEM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
ASWEC
2007
IEEE
14 years 4 days ago
2007
IEEE
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...
SEFM
2007
IEEE
14 years 1 days 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...
APWEB
2004
Springer
13 years 11 months ago
2004
Springer
In this paper, a novel formalized finite state mobile agent computation model based on the virtual organization is presented. In this model, all the actions (e.g. service, migratio...