Sciweavers

866 search results - page 21 / 174
» A compositional semantics for CHR
Sort
View
IEEESCC
2005
IEEE
14 years 1 months ago
Discovering Semantic Relations between Web Services Using Their Pre and Post-Conditions
Discovering and assembling individual Web services into more complex yet new and more useful Web processes has received significant attention from academia recently. In this thesi...
Lin Lin, Ismailcem Budak Arpinar
JLP
2006
126views more  JLP 2006»
13 years 7 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
ADBIS
2008
Springer
131views Database» more  ADBIS 2008»
14 years 2 months ago
Increasing Expressiveness of Composite Events Using Parameter Contexts
The event-condition-action paradigm (also known as triggers or ECA rules) gives a database “active” capabilities – the ability to react automatically to changes in the databa...
Indrakshi Ray, Wei Huang
COLING
2010
13 years 2 months ago
A Structured Vector Space Model for Hidden Attribute Meaning in Adjective-Noun Phrases
We present an approach to model hidden attributes in the compositional semantics of adjective-noun phrases in a distributional model. For the representation of adjective meanings,...
Matthias Hartung, Anette Frank
ECOWS
2007
Springer
14 years 1 months ago
Specifying and Monitoring Composite Events for Semantic Web Services
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...
Roman Vaculín, Katia P. Sycara