Sciweavers

1143 search results - page 66 / 229
» Language Models Based on Semantic Composition
Sort
View
ADBIS
2006
Springer
135views Database» more  ADBIS 2006»
15 years 9 months ago
Interactive Discovery and Composition of Complex Web Services
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
Sergey A. Stupnikov, Leonid A. Kalinichenko, St&ea...
ECMDAFA
2006
Springer
166views Hardware» more  ECMDAFA 2006»
15 years 9 months ago
Dynamic Logic Semantics for UML Consistency
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
Greg O'Keefe
NLPRS
2001
Springer
15 years 10 months ago
A summary planner based on a three-level discourse model
In this paper we present a computational view of an automatic summary generator based on a discourse model that combines semantic, rhetorical and intentional knowledge in order to...
Thiago Alexandre Salgueiro Pardo, Lucia Helena Mac...
TSMC
2010
15 years 21 days ago
A Petri Net Approach to Analysis and Composition of Web Services
Business Process Execution Language for Web Services (BPEL) is becoming the industrial standard for modeling web service-based business processes. Behavioral compatibility for web ...
PengCheng Xiong, Yushun Fan, MengChu Zhou
CSFW
1996
IEEE
15 years 10 months ago
Comparing Two Information Flow Security Properties
In this paper we compare two information flow security properties: the lazy security (L-Sec) [11] and the Bisimulation Non-deducibility on Compositions (BNDC) [4]. To make this we...
Riccardo Focardi