Sciweavers

626 search results - page 22 / 126
» Scheduling as Rule Composition
Sort
View
ICWS
2004
IEEE
13 years 9 months ago
Logic-based Web Services Composition: From Service Description to Process Model
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
Jinghai Rao, Peep Küngas, Mihhail Matskin
ICALP
2010
Springer
14 years 17 days ago
Compositionality in Graph Transformation
Graph transformation works under a whole-world assumption. In modelling realistic systems, this typically makes for large graphs and sometimes also large, hard to understand rules....
Arend Rensink
DATE
2008
IEEE
106views Hardware» more  DATE 2008»
14 years 2 months ago
Modeling Event Stream Hierarchies with Hierarchical Event Models
Compositional Scheduling Analysis couples local scheduling analysis via event streams. While local analysis has successfully been extended to include hierarchical scheduling strat...
Jonas Rox, Rolf Ernst
ISTA
2004
13 years 9 months ago
Applying Web Service Compositions in Systems Management
: Systems management in any organization depends exclusively on the efforts of a system administrator. Every change in the IT infrastructure landscape requires changes in the syste...
Dimka Karastoyanova
JSW
2007
173views more  JSW 2007»
13 years 7 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...