3914 search results - page 226 / 783 » Automating SLA modeling |
115
Voted
LPNMR
1999
Springer
15 years 6 months ago
1999
Springer
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
106
Voted
CAV
1998
Springer
15 years 6 months ago
1998
Springer
We present a two-part approach for verifying out-of-order execution. First, the complexity of out-of-order issue and scheduling is handled by creating der abstraction of the out-of...
119
click to vote
LPNMR
1997
Springer
15 years 6 months ago
1997
Springer
We present a bottom-up algorithm for the computation of the well-founded model of non-disjunctive logic programs which is based on the set of elementary program transformations stu...
149
Voted
ICLP
1992
Springer
15 years 6 months ago
1992
Springer
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
124
Voted
BPM
2009
Springer
15 years 6 months ago
2009
Springer
Business workflow management and business process modeling are mature research areas, whose roots go far back to the early days of office automation systems. Scientific workflow ma...