Sciweavers

2042 search results - page 122 / 409
» The Design and Implementation of a Semantic Service Mediatio...
Sort
View
SFM
2009
Springer
150views Formal Methods» more  SFM 2009»
16 years 26 days 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
ATAL
2003
Springer
15 years 10 months ago
Distributed enactment of multiagent workflows: temporal logic for web service composition
We address the problem of constructing multiagent systems by coordinating heterogeneous, autonomous agents, whose internal designs may not be fully known. A major application area...
Munindar P. Singh
ER
2004
Springer
169views Database» more  ER 2004»
15 years 11 months ago
Intentional Modeling to Support Identity Management
Identity management has arisen as a major and urgent challenge for internet-based communications and information services. Internet services involve complex networks of relationshi...
Lin Liu, Eric S. K. Yu
WSC
2004
15 years 7 months ago
Joint Modeling and Analysis Using XMSF Web Services
This paper describes the creation of a new analytical modeling capability by bringing together the Naval Simulation System (NSS) for sea strike and COMBATXXI for littoral and land...
Arnold H. Buss, John Ruck
SIGMOD
2008
ACM
120views Database» more  SIGMOD 2008»
16 years 6 months ago
Muse: a system for understanding and designing mappings
Schema mappings are logical assertions that specify the relationships between a source and a target schema in a declarative way. The specification of such mappings is a fundamenta...
Bogdan Alexe, Laura Chiticariu, Renée J. Mi...