6650 search results - page 258 / 1330 » models 2009 |
151
click to vote
WISEC
2009
ACM
16 years 1 months ago
2009
ACM
Mobile ad-hoc networks are becoming ever more popular due to their flexibility, low cost, and ease of deployment. However, to achieve these benefits the network must employ a so...
235
click to vote
SEMCO
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
183
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
183
click to vote
IDA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We tackle the problem of new users or documents in collaborative filtering. Generalization over users by grouping them into user groups is beneficial when a rating is t...
159
click to vote
ICCSA
2009
Springer
16 years 1 months ago
2009
Springer
Variational data assimilation consists in estimating control parameters of a numerical model in order to minimize the misfit between the forecast values and some actual observatio...