9067 search results - page 838 / 1814 » Adaptive Model Checking |
204
Voted
ICMT
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
212
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— An adaptive handover algorithm for wireless comn systems is addressed in this extended abstract. Moving from the Generalized Extended Least Square handover algorithm in...
188
Voted
ICALT
2006
IEEE
16 years 1 months ago
2006
IEEE
The scenarization of educational activities, especially those that are going to take place within elearning platforms, has for a number of years represented a major challenge for ...
180
Voted
AE
2005
Springer
16 years 1 months ago
2005
Springer
In this paper, we show how an efficient ant based algorithm, called API and initially designed to perform real parameter optimization, can be adapted to the difficult problem of Hi...
187
Voted
CALCO
2005
Springer
16 years 1 months ago
2005
Springer
We propose a coalgebraic model of the Fusion calculus based on HD-automata. The main advantage of the approach is that the partition refinement algorithm designed for HD-automata ...