1714 search results - page 145 / 343 » Abstract Models of Memory Management |
121
click to vote
TAOSD
2010
15 years 1 months ago
2010
Abstract. The aim of this paper is to explore the modeling of crosscutavioral abstractions. We argue that behavioral aspects can be a particular kind of more general behavioral abs...
137
click to vote
APN
2008
Springer
15 years 5 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
111
click to vote
JSS
2008
15 years 3 months ago
2008
Search-based test-data generation has proved successful for code-level testing but almost no search-based work has been carried out at evels of abstraction. In this paper the appl...
142
click to vote
FOIKS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Argumentation is a reasoning model based on the construction and the evaluation of arguments. In his seminal paper, Dung has proe most abstract argumentation framework. I...
148
Voted
CD
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...