Sciweavers

1143 search results - page 3 / 229
» Language Models Based on Semantic Composition
Sort
View
ICDE
2007
IEEE
111views Database» more  ICDE 2007»
14 years 17 days ago
Security Conscious Web Service Composition with Semantic Web Support
A Web service is a software system designed to support interoperable application-to-application interactions over the Internet. Recently, there has been a growing interest in Web ...
Barbara Carminati, Elena Ferrari, Ryan Bishop, Pat...
AOSE
2001
Springer
13 years 10 months ago
Bringing Coherence to Agent Conversations
In this paper, we present a social model for software agent conversations for action based on social commitments and their negotiation. We depart from the premises that conversati...
Roberto A. Flores, Robert C. Kremer
EPEW
2005
Springer
13 years 11 months ago
A Compositional Operational Semantics for OWL-S
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
Barry Norton, Simon Foster, Andrew Hughes
FM
2003
Springer
160views Formal Methods» more  FM 2003»
13 years 11 months ago
Translation-Based Compositional Reasoning for Software Systems
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
Fei Xie, James C. Browne, Robert P. Kurshan
PPSWR
2005
Springer
13 years 11 months ago
A General Language for Evolution and Reactivity in the Semantic Web
Abstract. In this paper we define the basic concepts for a general language for evolution and reactivity in the Semantic Web. We do this by exposing an UML model that specifies a...
José Júlio Alferes, Ricardo Amador, ...