Sciweavers

857 search results - page 47 / 172
» Compositional Semantics in Verbmobil
Sort
View
IAT
2006
IEEE
16 years 3 days ago
Dynamic Service Composition and Selection through an Agent Interaction Protocol
This paper addresses the dynamic service selection and composition issues for the satisfaction of user requirements. We propose an approach in which agents perform service composi...
Yasmine Charif-Djebbar, Nicolas Sabouret
187
Voted
ECOWS
2004
Springer
15 years 11 months ago
A Conceptual Framework for Semantic Web Services Development and Deployment
Several extensions of the Web Services Framework have been proposed. The combination with Semantic Web technologies introduces a notion of semantics, which can enhance scalability ...
Claus Pahl
CLEIEJ
2007
56views more  CLEIEJ 2007»
15 years 6 months ago
Semantics of Termination
This work presents proof rules for termination and non-termination for a subset of a C-like language that consists of the statements : assignation, composition, if, skip and while...
Patricia Peratto
SCP
2011
228views Communications» more  SCP 2011»
15 years 1 months ago
Channel-based coordination via constraint satisfaction
Coordination in Reo emerges from the composition of the behavioural constraints of primitives, such as channels, in a component connector. Understanding and implementing Reo, howe...
Dave Clarke, José Proença, Alexander...
WWW
2002
ACM
16 years 6 months ago
Simulation, verification and automated composition of web services
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
Srini Narayanan, Sheila A. McIlraith