Sciweavers

81 search results - page 1 / 17
» A Compositional Semantics for Focusing Subjuncts
Sort
View
ACL
1990
13 years 6 months ago
A Compositional Semantics for Focusing Subjuncts
A compositional semantics for focusing subjuncts-words such as only, even, and also--is developed from Rooth's theory of association with focus. By adapting the theory so tha...
Daniel Lyons, Graeme Hirst
JUCS
2010
152views more  JUCS 2010»
12 years 11 months ago
Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact Values
: We develop and study the concept of dataflow process networks as used for example by Kahn to suit exact computation over data types related to real numbers, such as continuous fu...
Michal Konecný, Amin Farjudian
APSEC
2006
IEEE
13 years 11 months ago
Security-Oriented Service Composition and Evolution
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
Jun Han, Khaled M. Khan
FMCO
2009
Springer
120views Formal Methods» more  FMCO 2009»
13 years 2 months ago
A Framework for Reasoning on Component Composition
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
Ludovic Henrio, Florian Kammüller, Muhammad U...
JSW
2007
173views more  JSW 2007»
13 years 4 months ago
Towards Semantics Driven Generation of Executable Web Services Compositions
— Web services composition is a very active area of research due to the growing interest of public and private organizations in services integration and/or low cost development o...
Giusy Di Lorenzo, Nicola Mazzocca, Francesco Mosca...