31387 search results - page 408 / 6278 » Abstracts |
205
click to vote
ATAL
2009
Springer
16 years 2 months ago
2009
Springer
BDI (Belief, Desire, Intention) agent systems are very powerful, but they lack the ability to incorporate planning. There has been some previous work to incorporate planning withi...
245
click to vote
DSOM
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We propose a novel hybrid planning approach for the automated generation of IT change plans. The algorithm addresses an abstraction mismatch between refinement of tasks ...
179
click to vote
FSEN
2009
Springer
16 years 2 months ago
2009
Springer
In this paper we study the interconnection between relationships and roles. We start from the patterns used to introduce relationships in object oriented languages. We show how th...
143
click to vote
ICTIR
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In this paper we present a new clustering algorithm which ex
197
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...