Sciweavers

671 search results - page 37 / 135
» Event-Based Service Coordination
Sort
View
C5
2008
IEEE
15 years 8 months ago
A Layered Language Service Architecture for Intercultural Collaboration
The Language Grid is an infrastructure for enabling users to share language resources developed by language specialists and end-user communities. The users employ the resources to...
Yohei Murakami, Toru Ishida
COORDINATION
2008
Springer
15 years 3 months ago
How to Infer Finite Session Types in a Calculus of Services and Sessions
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...
Leonardo Gaetano Mezzina
ENTCS
2007
136views more  ENTCS 2007»
15 years 1 months ago
Adaptation for Hierarchical Components and Services
Software coordination and adaptation is intimately related to software (modular) pieces and access points. These pieces (components or services) may be complex, dissimilar (various...
Pascal André, Gilles Ardourel, Christian At...
COORDINATION
2006
Springer
15 years 5 months ago
Atomic Commit and Negotiation in Service Oriented Computing
In this paper we investigate the relationship between two problems, related to distributed systems, that are of particular interest in the context of Service Oriented Computing: at...
Laura Bocchi, Roberto Lucchi
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 3 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab