Sciweavers

866 search results - page 9 / 174
» A compositional semantics for CHR
Sort
View
WECWIS
2005
IEEE
152views ECommerce» more  WECWIS 2005»
14 years 1 months ago
Semantic Web Service Composition in IRS-III: The Structured Approach
Semantic Web Services facilitate activities including automatic discovery and composition of Web Services. Research initiatives such as WSMO have been developing specifications fo...
Farshad Hakimpour, Denilson Sell, Liliana Cabral, ...
VLDB
2003
ACM
160views Database» more  VLDB 2003»
14 years 7 months ago
Composing Web services on the Semantic Web
Service composition is gaining momentum as the potential silver bullet for the envisioned Semantic Web. It purports to take the Web to unexplored efficiencies and provide a flexibl...
Brahim Medjahed, Athman Bouguettaya, Ahmed K. Elma...
VLDB
1994
ACM
133views Database» more  VLDB 1994»
13 years 11 months ago
Composite Events for Active Databases: Semantics, Contexts and Detection
Making a database system active entails developing an expressive event specification language with well-defined semantics, algorithms for the detection of composite events, and an...
Sharma Chakravarthy, V. Krishnaprasad, Eman Anwar,...
TCS
2002
13 years 7 months ago
A truly concurrent semantics for a process algebra using resource pomsets
In this paper we study a process algebra whose semantics is based on true concurrency. In our model, actions are defined in terms of the resources they need to execute, which allo...
Paul Gastin, Michael W. Mislove