4061 search results - page 587 / 813 » Framework Evolution Tool |
173
Voted
BIRTHDAY
2007
Springer
15 years 11 months ago
2007
Springer
In contrast to the current general way of developing tools for proving termination automatically, this paper intends to show an alternative program based on using on the one hand t...
121
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
127
Voted
COCOON
2007
Springer
15 years 11 months ago
2007
Springer
Greedy algorithms are simple, but their relative power is not well understood. The priority framework [5] captures a key notion of “greediness” in the sense that it processes (...
142
click to vote
CP
2007
Springer
15 years 11 months ago
2007
Springer
Probabilistic Choice Operators (PCOs) are convenient tools to model uncertainty in CP. They are useful to implement randomized algorithms and stochastic processes in the concurrent...
123
click to vote
ECTEL
2007
Springer
15 years 11 months ago
2007
Springer
TELOS is a new eLearning system being built within the Canadian LORNET project. TELOS aims to provide an open operating system in which users can develop and use eLearning and know...