557 search results - page 2 / 112 » Calculi for Service-Oriented Computing |
TGC
2007
Springer
13 years 11 months ago
2007
Springer
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...
MIDDLEWARE
2004
Springer
13 years 10 months ago
2004
Springer
This work presents a detailed analysis of the security requirements for Service Oriented Architecture in mobile computing, still missing in the current literature. The purpose of ...
ESOP
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
SEFM
2009
IEEE
13 years 12 months ago
2009
IEEE
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...
EDOC
2006
IEEE
13 years 11 months ago
2006
IEEE
Service oriented software architectures will form the core of operational enterprise IT landscapes in the future.