Sciweavers

129 search results - page 14 / 26
» Formalizing Mobility in Service Oriented Computing
Sort
View
SFM
2009
Springer
150views Formal Methods» more  SFM 2009»
14 years 2 months ago
Contract-Based Discovery and Composition of Web Services
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
Mario Bravetti, Gianluigi Zavattaro
ICSOC
2004
Springer
14 years 1 months ago
Knowledge-driven interactions with services across ad hoc networks
Service oriented computing, with its aim of unhindered interoperability, is an appropriate paradigm for ad hoc networks, which are characterized by physical mobility of heterogeno...
Rohan Sen, Radu Handorean, Gruia-Catalin Roman, Gr...
GCC
2007
Springer
13 years 9 months ago
Toward a Logical Architecture for Situation Dependent Information Services with Surrounding Awareness
In recent years, the rapid growth of m-commerce is being driven by various emerging mobile applications and services. Among them, mobile information service is considered to be on...
Xiaojun Ding, Junichi Iijima
BIRTHDAY
2008
Springer
13 years 9 months ago
Event-Based Service Coordination
Abstract. In this paper we tackle the problem of designing and implementing a framework for programming service coordination policies. In particular, we illustrate the design and t...
Gian Luigi Ferrari, Roberto Guanciale, Daniele Str...
ICSOC
2010
Springer
13 years 6 months ago
A Requirement-Centric Approach to Web Service Modeling, Discovery, and Selection
Service-Oriented Computing (SOC) has gained considerable popularity for implementing Service-Based Applications (SBAs) in a flexible and effective manner. The basic idea of SOC i...
Maha Driss, Naouel Moha, Yassine Jamoussi, Jean-Ma...