5128 search results - page 394 / 1026 » When Abstraction Fails |
188
click to vote
OOIS
2000
Springer
15 years 11 months ago
2000
Springer
ABSTRACT: Typically, we think of modelling some business domain when we see the word modelling in the context of software -- some business domain is not understood and therefore we...
174
click to vote
LISA
2007
15 years 10 months ago
2007
Existing applications often contain security holes that are not patched until after the system has already been compromised. Even when software updates are available, applying the...
199
click to vote
ATVA
2008
Springer
15 years 9 months ago
2008
Springer
Classical verification often uses abstraction when dealing with data. On the other hand, dynamic XML-based applications have become pervasive, for instance with the ever growing im...
196
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
197
click to vote
EVOW
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. This paper describes a memory enhanced evolutionary algorithm (EA) approach to the dynamic job shop scheduling problem. Memory enhanced EAs have been widely investigated ...