3914 search results - page 670 / 783 » Automating SLA modeling |
166
click to vote
ICCS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. This paper presents a prototype implementation of an intelligent assistance architecture for data-driven simulation specialising in qualitative data in the social science...
166
click to vote
ICLP
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
173
click to vote
ICLP
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
225
click to vote
ILP
2007
Springer
16 years 16 days ago
2007
Springer
A recurrent question in the design of intelligent agents is how to assign degrees of beliefs, or subjective probabilities, to various events in a relational environment. In the sta...
171
click to vote
LPAR
2007
Springer
16 years 16 days ago
2007
Springer
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...