1486 search results - page 206 / 298 » Firewall Rules Analysis |
122
click to vote
JSS
2010
14 years 10 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 ...
259
click to vote
TMM
2010
14 years 10 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...
160
click to vote
ICASSP
2011
IEEE
14 years 7 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...
164
click to vote
SIGMOD
2011
ACM
14 years 6 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...
149
click to vote
INFOCOM
2012
IEEE
13 years 6 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...