3914 search results - page 221 / 783 » Automating SLA modeling |
UKCBR
1995
13 years 11 months ago
1995
Various cognitive and computational models have addressed the use of previous experience to understand a new domain. In particular, research in case-based reasoning has explored t...
ICLP
1991
Springer
13 years 11 months ago
1991
Springer
Well Founded Semantics is adequate to capture nonmonotonic reasoning if we interpret the Well Founded model of a program P as a (possibly incomplete) view of the world. Thus the W...
EUROMICRO
2007
IEEE
13 years 10 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
DLOG
1997
13 years 9 months ago
1997
This paper proposes a novel interactive tool designed to support the graphical inspection of large semantic models. The idea is to view the iterative inspection process as a serie...
LICS
2010
IEEE
13 years 6 months ago
2010
IEEE
We construct finite groups whose Cayley graphs have large girth even w.r.t. a discounted distance measure that contracts arbitrarily long sequences of edges from the same colour ...