2055 search results - page 46 / 411 » Generic Model Refactorings |
QEST
2007
IEEE
15 years 4 months ago
2007
IEEE
We consider a model for interacting objects, where the evolution of each object is given by a finite state Markov chain, whose transition matrix depends on the present and the pa...
QEST
2007
IEEE
15 years 4 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
107
click to vote
EWSN
2006
Springer
15 years 9 months ago
2006
Springer
Energy-aware algorithms have proven to be a crucial part of sensor network applications, especially if they are required to operate for extended periods of time. Among these, effic...
CAISE
2007
Springer
15 years 4 months ago
2007
Springer
Schema merging is the process of integrating several schemas into a common, unified schema. There have been various approaches to schema mergusing on particular modeling languages...
CP
1997
Springer
15 years 2 months ago
1997
Springer
This paper describes the combination of a well-known tsp heuristic, genius, with a constraint programming model for routing problems. The result, genius-cp, is an e cient heuristic...