Sciweavers

17 search results - page 4 / 4
» PQL - A Descriptive Language for Querying, Abstracting and C...
Sort
View
EON
2008
13 years 6 months ago
Synthesizing the Mediator with jABC/ABC
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
Tiziana Margaria
GECCO
2004
Springer
179views Optimization» more  GECCO 2004»
13 years 10 months ago
An Evolutionary Meta Hierarchical Scheduler for the Linux Operating System
Abstract. The need for supporting CSCW applications with heterogeneous and varying user requirements calls for adaptive and reconfigurable schedulers accommodating a mixture of re...
Horst Wedde, Muddassar Farooq, Mario Lischka