3342 search results - page 365 / 669 » Automating Abstract Interpretation |
143
click to vote
GECON
2007
Springer
15 years 10 months ago
2007
Springer
Grid computing platforms require automated and distributed resource allocation with controllable quality-of-service (QoS). Market-based allocation these features using the compleme...
120
Voted
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
119
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Theoretical foundations and practical realizations of answer set solving techniques are vital research issues. The challenge lies in combining the elevated modeling capac...
KES
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Clickstream can be a rich source of data for analysing user behaviour, but the volume of these logs makes it difficult to identify and categorise behavioural patterns. In...
141
Voted
LOPSTR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The goal of partial evaluation is the specialization of programs w.r.t. part of their input data. Although this technique is already well-known in the context of function...