1486 search results - page 206 / 298 » Firewall Rules Analysis |
JSS
2010
14 years 6 months ago
2010
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we ...
199
click to vote
TMM
2010
14 years 6 months ago
2010
Digital video stabilization enables to acquire video sequences without disturbing jerkiness by compensating unwanted camera movements. In this paper we propose a novel fast image r...
112
click to vote
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
—We present an alternative analysis of weighted 1 minimization for sparse signals with a nonuniform sparsity model, and extend our results to nuclear norm minimization for matric...
120
click to vote
SIGMOD
2011
ACM
14 years 2 months ago
2011
ACM
This demo shows how usage information buried in query logs can play a central role in data integration and data exchange. More specifically, our system U-Map uses query logs to g...
108
click to vote
INFOCOM
2012
IEEE
13 years 2 months ago
2012
IEEE
—We study two convex optimization problems in a multi-class M/G/1 queue with adjustable service rates: minimizing convex functions of the average delay vector, and minimizing ave...