626 search results - page 106 / 126 » Scheduling as Rule Composition |
114
click to vote
DEBS
2010
ACM
15 years 7 months ago
2010
ACM
A new publish/subscribe capability is presented: the ability to predict the likelihood that a subscription will be matched at some point in the future. Composite subscriptions con...
136
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
132
click to vote
WADT
1998
Springer
15 years 6 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
114
Voted
HT
1991
ACM
15 years 6 months ago
1991
ACM
Research on understanding linear texts has shown that comprehension and navigation mainly depend on the reader’s ability to construct a coherent mental representation. While the...
84
Voted
CANDC
2007
ACM
15 years 5 months ago
2007
ACM
Every musician who improvises has a unique musical vocabulary, which may be perceived in his or her compositions. In this paper, we explain our design of a computational model tha...